Design Support for State-Based Distributed Object Software

提案编号：9988168芝加哥伊利诺伊大学设计支持基于状态的分布式对象软件计算机系统应用程序正在迅速变得更加分散和并发，特别是对于重要的环境，如军事指挥和控制、商业电信和不断发展的互联网应用程序。规范、设计和分析的复杂性极大地增加了由分布式组件通过非确定通信模式交互定义的软件体系结构。最重要的研究问题之一是在一般理论概念和具体实践技术之间取得平衡。本文研究了一种特定领域的分布式对象软件系统设计技术。该方法基于对已有的面向并发系统的图模型--Petri网的应用和适配。具体的目标是巩固基于STATE的对象设计符号的理论基础，并研究设计框架内继承建模的能力。这项研究可以产生支持复杂分布式软件系统的面向工程设计的方法和符号。这有可能提高各种关键软件应用程序的开发和维护的总体质量和成本效益。

Proposal Number: 9988168Shatz, Sol, M.University of Illinois at ChicagoDesign Support for State-Based Distributed Object SoftwareComputer system applications are rapidly becomingmore decentralized and concurrent, especially forimportant environments like military command and control,commercial telecommunications, and evolving Internetapplications. Complexity in specification, design, and analysisdramatically increases in software architectures definedby distributed components interacting via non-deterministiccommunication patterns. One of the most significant researchproblems is achieving a balance between general theoreticalconcepts and specific practical techniques. This researchinvestigates a domain-specific design technique fordistributed-object software systems. The approach is based onapplying and adapting Petri nets, an existing graph modeloriented toward concurrent systems. The specific objectivesare to solidify the theoretical foundations for astate-based object design notation and investigatecapabilities for inheritance modeling within the designframework. This research can lead to methods and notations thatsupport engineering-oriented design of complex distributedsoftware systems. This has the potential to improve the overallquality and cost-effectiveness of development and maintenancefor a wide range of critical software applications.