GUPEA >
IT Faculty / IT-fakulteten >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Research Reports in Software Engineering and Management >

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


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/30215

Files in This Item:

File Description SizeFormat
gupea_2077_30215_1.pdfTechnical report868KbAdobe PDF
View/Open
Title: Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept
Authors: Al Mamun, Abdullah
Tichy, Matthias
Hansson, Jörgen
Editors: Pareto, Lars
Issue Date: 10-Sep-2012
Extent: 25 p.
Publication type: report
Publisher: Departmen of Computer Science and Engineering
Organization: Chalmers | University of Gothenburg
Series/Report no.: Research Reports in Software Engineering and Management
2012:02
Keywords: software architecture
assumptions
formal specification
integration
evolution
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 reusa... more
ISSN: 1654-4870
URI: http://hdl.handle.net/2077/30215
Appears in Collections:Research Reports in Software Engineering and Management

This item has been viewed 63 times.

 

 

© Göteborgs universitet 2011