Sökning: id:"swepub:oai:gup.ub.gu.se/184391" >
Towards Formalizing...
Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept
-
- Al Mamun, Md Abdullah, 1982 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Tichy, Matthias, 1978 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg
-
- Hansson, Jörgen, 1970 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- Göteborg : University of Gothenburg, 2012
- Engelska.
- Relaterad länk:
-
https://gup.ub.gu.se...
-
visa fler...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- While designing an architecture, architects often make assumptions about different factors like execution environment, structural properties of the artifacts, properties of input/output data etc. Implicit and invalid assumptions have been identified as a primary reason for architectural mismatches. Such mismatches cause nightmares to the people working at the system integration phase. Today’s complex systems operate in dynamic and rapidly changing environments. Implicit assumptions in the reusable components often make it challenging to adopt the components in a changed operational domain. If not documented, assumptions are often forgotten and it is both difficult and expensive to find them out from previously built software. This paper aims to formally capture assumptions at the architecture level so that they can be checked automatically throughout the system development. Automated checking of assumptions would facilitate a practicable assumption management system for complex and large-scale software system development with smooth integration and evolution.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- Software Architecture
- Assumptions
- Formal Specification
- Integration
- Evolution
- Evolution
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)