UML Static Models in Formal Approach

Szlenk, Marcin

doi:10.1007/978-3-540-85279-7_11

Cited by 5 publications

(2 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The formalization presented helps in understanding the meaning of architectural decision models and relations that appear in those models. It opens possibility to reason on such models in a way similar to the one proposed for UML models in [12,13]. However, an issue related to reasoning about consistency of an architectural decision model has only been briefly touched upon here.…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Formal Semantics of Architectural Decision Models

Szlenk¹

2018

Preprint

Self Cite

View full text Add to dashboard Cite

A software architecture is the result of multiple decisions made by a software architect. These decisions are called architectural decisions, as they bring solutions to architectural problems. Relations between decisions can be captured in architectural decision models. Such models are then a form of reusable knowledge for software architects. Several models have been described in the literature, introducing necessary concepts and relations. These concepts and relations were usually explained using natural language. Not much work has been done so far on their formal definitions. Specifically, such a definition of an architectural decision model is still missing. The purpose of this paper is filling this gap by providing the formal definition of an architectural decision model at both syntax and semantics levels. At the syntax level, different concepts and relations that are elements of a model have been mathematically defined. At the semantics level, the meaning of a model has been defined in a form of denotational semantics. The formalization not only allows for better understanding of architectural decision models but opens the possibility to reason on such models, e.g., checking their consistency -something that is very limited for the models proposed so far. A practical example of the semantics of an architectural decision model is also presented.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Our past experience with the formalization of UML models [12,13] has shown that it is highly difficult to avoid any flaws in such definitions. The kinds of problems we were struggling with can be summarized with following informal questions: are all formulas correct?…”

Section: Definition 3 (Model)mentioning

confidence: 99%