Search: onr:"swepub:oai:DiVA.org:kth-24021" >
A framework for det...
A framework for determining design correctness
-
- Ekenberg, Love (author)
- Stockholms universitet,KTH,Data- och systemvetenskap, DSV,Institutionen för data- och systemvetenskap
-
- Johannesson, Paul (author)
- Stockholms universitet,KTH,Data- och systemvetenskap, DSV,Institutionen för data- och systemvetenskap
-
(creator_code:org_t)
- Elsevier BV, 2004
- 2004
- English.
-
In: Knowledge-Based Systems. - : Elsevier BV. - 0950-7051 .- 1872-7409. ; 17:07-8, s. 249-262
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- schema integration
- conflict detection
- legacy system
- formal methods
- software development
- conflicts
- logics
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database