Change search
ReferencesLink to record
Permanent link

Direct link
A Framework for Determining Design Correctness
Stockholm University, Faculty of Social Sciences, Department of Computer and Systems Sciences.
Stockholm University, Faculty of Social Sciences, Department of Computer and Systems Sciences.
2004 (English)In: Knowledge-Based Systems, ISSN 0950-7051Article in journal (Refereed) Published
Abstract [en]

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 modern 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
Keyword [en]
Schema integration, Conflict detection, Legacy system, Formal methods, Software development
National Category
Computer and Information Science
URN: urn:nbn:se:su:diva-38419DOI: 10.1016/j.knosys.2004.07.003ISI: 000227691600003ScopusID: 2-s2.0-13644251754OAI: diva2:310298
Available from: 2010-04-13 Created: 2010-04-13 Last updated: 2015-09-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Ekenberg, LoveJohannesson, Paul
By organisation
Department of Computer and Systems Sciences
In the same journal
Knowledge-Based Systems
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 27 hits
ReferencesLink to record
Permanent link

Direct link