An executable formal semantics for UML-RT
Loading...
Authors
Dingel, Juergen
Posse, Ernesto
Date
2014-02-20
Type
journal article
Language
en
Keyword
UML-RT , RTE , Modelling , Semantics
Alternative Title
Abstract
Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. Software antipatterns are a powerful and effective form of guidelines used for the identification of bad design choices and development practices that often lead to poor-quality software. This paper introduces a set of seven state machine antipatterns for the model-based development of real time embedded software systems. Each of these antipatterns is described with a pair of examples: one for the antipattern itself and a second one for improved, refactored solution.
Description
This is a post-peer-review, pre-copyedit version of an article published in Software & Systems Modeling. The final authenticated version is available online at: http://dx.doi.org/10.1007/s10270-014-0399-z.
Citation
Posse, E., Dingel, J. An executable formal semantics for UML-RT. Softw Syst Model 15, 179–217 (2016). https://doi.org/10.1007/s10270-014-0399-z
Publisher
Software and Systems Modeling