Workshop on Modeling and Simulation for Design of Large Software-Intensive Systems: Challenges and New Research Directions; Tucson, Arizona; October 2003

在摩尔定律的推动下，计算和网络基础设施呈指数级增长，我们正在目睹一种趋势，即越来越大的软件结构在这种基础设施上驱动商业、科学和军事系统。不幸的是，系统设计科学已经落后于指导这种软件密集型系统的开发。 在设计这种大型的、高度分散的、相互作用的部件的集合时会出现许多问题。增加的连接性和能力创造了难以控制的新的复杂性和难以预测的动态。 基于计算机的建模和仿真（MS）的方法，需要解决这些问题，因为规模远远超出了分析工具可以单独处理，并有有限的能力做受控实验。传统的M S方法集中在微观层面的组件，而不是这些组件的宏观层面的集成。然而，大型软件密集型系统需要新的MS方法来理解非常大的互联网络的动态行为，很少的控制位点和许多相互作用的组件。 拟议的研讨会的目标是探索方向的一门科学的MS为基础的设计大型软件密集型系统。要做到这一点的研究人员在理论和形式主义的MS将汇集在一起的研究人员在软件开发的概念和方法。螺旋式开发，一个规范的，灵活的，风险驱动的过程模型，用于指导多个利益相关者通过软件密集型系统的并行工程。o形式化方法，包括.轻量级的可能性。允许包含非正式元素的变体，以严格性换取可表达性。·提供具有已知属性的统一结构的架构原则，以组织大型系统的复杂性。架构风格、设计模式和统一建模语言构造提供了这些原则的实例

Fueled by Moore.s law of exponentially expanding computational and networking infrastructure, we are witnessing a trend toward ever-larger software structures to drive business, science, and military systems on such infrastructure. Unfortunately, the science of system design has lagged behind to guide the development of such software-intensive systems. Many issues arise in the design of such large, highly decentralized, collections of interacting parts. The increased connectivity and capability create new complexity that is difficult to control and dynamics that are difficult to predict. Computer-based modeling and simulation (M&S) methodology is required to address these issues since the scale is well beyond what analytical tools alone can handle and there is limited ability to do controlled experiments. Traditional M&S approaches have focused on the micro-level components rather than the macro level integration of these components. However, large software-intensive systems demand new M&S approaches for understanding the dynamic behaviors of very large inter-connected networks with very few loci of control and many interacting components. The goal of the proposed workshop is to explore directions for a science of M&S-based design for large software-intensive systems. To do this researchers in the theory and formalisms of M&S will be brought together with researchers in software development concepts and methodologies. Among software elements to be considered for their contribution to a science of design are: o Spiral development, a normative, flexible, risk-driven process model that is used to guide multiple stakeholders through concurrent engineering of software-intensive systems. o Formal method including the possibilities of .lightweight. variants that allow for inclusion of informal elements trading rigor for expressibility. o Architectural principles that provide uniform structures with known properties to organize the complexity of large systems. Architectural styles, design patterns and Unified Modeling Language constructs provide instances of such principles