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

EIA-0000433贝蒂H. ChengMichigan State UniversityTitle：经络：开发交互式分布式应用程序的综合工具包拟议的项目涉及MERIDIAN的集成和验证，MERIDIAN是一个旨在帮助自动开发IDA的工具集。 总的来说，这些工具将支持基于XML的建模、严格的正确性分析、软件重用、自动代码生成和软件可视化。 此外，他们将通过显式的设计表示与正式定义的语义相互作用，使需求可以从高层模型跟踪到低层代码。交互式分布式应用程序（IDAs）是那些涉及直接与用户交互，其处理和数据组件分布在网络上。 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.