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

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

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.