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

在摩尔的推动下。随着计算和网络基础设施的指数级扩展，我们正在目睹一种趋势，即朝着更大的软件结构来驱动此类基础设施上的商业、科学和军事系统。不幸的是，系统设计科学已经落后于指导这种软件密集型系统的开发。在设计如此庞大、高度分散的交互部件集合时，会出现许多问题。增加的连接性和功能带来了难以控制的新复杂性和难以预测的动态。需要基于计算机的建模和仿真（M&amp；S）方法来解决这些问题，因为规模远远超出了分析工具可以单独处理的范围，并且进行受控实验的能力有限。传统的M&amp；S方法侧重于微观层面的组件，而不是这些组件的宏观层面的集成。然而，大型软件密集型系统需要新的M&amp；S方法来理解非常大的互连网络的动态行为，这些网络具有很少的控制位点和许多相互作用的组件。本次研讨会的目标是为大型软件密集型系统探索基于M&amp的设计科学的发展方向。为了做到这一点，M&amp；S理论和形式化的研究人员将与软件开发概念和方法的研究人员聚集在一起。考虑它们对设计科学的贡献的软件元素包括：o螺旋开发，一种规范的、灵活的、风险驱动的过程模型，用于通过软件密集型系统的并发工程来指导多个涉众。o正式方法，包括.轻量级的可能性。允许包含非正式元素的变体，用严谨性换取可表达性。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