Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been proposed. However, often these are not integrated into a coherent methodology with well-defined dependencies between the models and documentations. This hampers focused software development as well as the provision of powerful tool-support. In this paper we present the main issues and outline solutions in the direction of a unified, formal basis for software and system modeling.
翻译:建模和编制文件是软件开发工程纪律的两个基本要素,在过去二十年中,提出了各种各样的描述和建模技术以及文件格式,但是,这些技术往往没有纳入一种统一的方法,在模型和文件之间有明确的依赖性,这妨碍了软件的集中开发和提供强有力的工具支持,在本文件中,我们提出了主要问题,并概述了在软件和系统建模的统一、正式基础上的解决办法。