模型与实现的并行开发
Concurrent Development of Model and Implementation
摘要：
本文考虑了如何使用一个正式的基于演化的模型来支持演化的软件开发，特别是如何这样的模型可以保持一致的实现，因为它的变化，以满足新的要求。文中列出了一些可以利用这种模型来增强开发过程的技术，以及保持模型和实现一致性的方法。这些技术的有效性进行了调查，通过两个案例研究，关于小型电子商务应用程序的发展，旅行社和抵押贷款经纪人。一些成功的报道，特别是在使用快速的一次性建模，调查设计方案，并在使用密切的团队合作和基于模型的跟踪检查，以保持模型和实施之间的同步在整个发展。据认为，主要的薄弱环节来自工具支持方面的不足。因此，建议未来的改进工具，支持正式的模型，这将在原则上，使这种共同进化的方法有吸引力的工业软件开发人员。据称，事实上已经存在提供所需设施的工具，但这些工具不一定是生产质量，并且不都支持相同的符号，因此不能一起使用。
英文摘要：
This paper considers how a formal mathematically-based model can be used in support of evolutionary software development, and in particular how such a model can be kept consistent with the implementation as it changes to meet new requirements. A number of techniques are listed can make use of such a model to enhance the development process, and also ways to keep model and implementation consistent. The effectiveness of these techniques is investigated through two case studies concerning the development of small e-business applications, a travel agent and a mortgage broker. Some successes are reported, notably in the use of rapid throwaway modelling to investigate design alternatives, and also in the use of close team working and modelbased trace-checking to maintain synchronisation between model and implementation throughout the development. The main areas of weakness were seen to derive from deficiencies in tool support. Recommendations are therefore made for future improvements to tools supporting formal models which would, in principle, make this co-evolutionary approach attractive to industrial software developers. It is claimed that in fact tools already exist that provide the desired facilities, but these are not necessarily production-quality, and do not all support the same notations, and hence cannot be used together.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
