权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Design Support for State-Based Distributed Object Software

基于状态的分布式对象软件的设计支持

基本信息

批准号：
9988168
负责人：
Sol Shatz
金额：
$ 12万
依托单位：
University of Illinois at Chicago
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2000
资助国家：
美国
起止时间：
2000-07-15 至 2003-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9988168&HistoricalAwards=false
关键词：
Design Support State Based Distributed

项目摘要

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.

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