A framework for determining design correctness
2004 (English)In: Knowledge-Based Systems, ISSN 0950-7051, Vol. 17, no 07-8, 249-262 p.Article in journal (Refereed) Published
Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modem system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration.
Place, publisher, year, edition, pages
2004. Vol. 17, no 07-8, 249-262 p.
schema integration, conflict detection, legacy system, formal methods, software development, conflicts, logics
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-24021DOI: 10.1016/j.knosys.2005.07.003ISI: 000227691600003ScopusID: 2-s2.0-13644251754OAI: oai:DiVA.org:kth-24021DiVA: diva2:342720
QC 20100525 QC 201109222010-08-102010-08-102011-09-22Bibliographically approved