Experimental Partnership - Meridian: An Integrated Toolkit for Developing Interactive Distributed Applications

EIA-0000433 Betty H.程密歇根州立大学TITLE：MERIDIAN：用于开发交互式分布式应用程序的集成工具包拟议的项目涉及集成和验证MERIDIAN，这是一组旨在帮助实现IDA自动化开发的工具。总的来说，这些工具将支持基于图表的建模、严格的正确性分析、软件重用、自动代码生成和软件可视化。此外，它们将通过具有正式定义的语义的显式设计表示彼此交互，使需求能够从高级模型跟踪到低级代码。交互式分布式应用(IDA)涉及与用户的直接交互，其处理和数据组件分布在网络上。国际开发协会的例子包括分布式数据管理系统、车载驾驶员/飞行员导航辅助系统、计算机支持的协作工作环境、远程教育工具和各种公共安全系统。几个因素推动了对国际开发协会日益增长的兴趣，包括万维网的出现、新的中间件技术的发展、图形用户界面脚本语言的引入以及新的网络服务和协议的出现。

EIA-0000433Betty H. ChengMichigan State UniversityTITLE: Meridian: An Integrated Toolkit for Developing Interactive Distributed ApplicationsThe proposed project involves the integration and validation of MERIDIAN, a collection of tools designed to help automate the development of IDAs. Collectively, these tools will support diagram-based modeling, rigorous correctness analysis, software reuse, automated code generation, and software visualization. Moreover, they will interact with one another through explicit design representations with formally defined semantics, enabling requirements to be traced from high-level models to low-level code.Interactive distributed applications (IDAs) are those that involve direct interaction with users and whose processing and data components are distributed across a network. Examples of IDAs include distributed data management systems, on-board driver/pilot navigation assistance systems, computer-supported cooperative work environments, distance education tools, and a variety of public safety systems. The increasing interest in IDAs is fueled by several factors, including the advent of the World-Wide Web, the development of new middleware technologies, the introduction of scripting languages for graphical user interfaces, and the availability of new network services and protocols.