transparent gif

 

Ej inloggad.

Göteborgs universitets publikationer

Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept

Författare och institution:
Md Abdullah Al Mamun (Institutionen för data- och informationsteknik, Software Engineering (Chalmers), Chalmers); Matthias Tichy (Institutionen för data- och informationsteknik (GU)); Jörgen Hansson (Institutionen för data- och informationsteknik, Software Engineering (Chalmers), Chalmers)
Antal sidor:
25
Publikationstyp:
Rapport
Förlag:
University of Gothenburg
Förlagsort:
Göteborg
Publiceringsår:
2012
Språk:
engelska
Fulltextlänk:
Sammanfattning (abstract):
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.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Programvaruteknik
Nyckelord:
Software Architecture, Assumptions, Formal Specification, Integration, Evolution
Ytterligare information:
Research Reports in Software Engineering and Management
Postens nummer:
184391
Ingår i post nr:
Posten skapad:
2013-10-01 15:17
Posten ändrad:
2016-05-11 13:00

Visa i Endnote-format

Göteborgs universitet • Tel. 031-786 0000
© Göteborgs universitet 2007