Loading...
Loading...

Go to the content (press return)

Lightweight and static verification of UML executable models

Author
Planas, E.; Cabot, J.; Gomez, C.
Type of activity
Journal article
Journal
Computer languages systems and structures
Date of publication
2016-11
Volume
46
First page
66
Last page
90
DOI
https://doi.org/10.1016/j.cl.2016.07.002 Open in new window
Repository
http://hdl.handle.net/2117/99390 Open in new window
URL
http://www.sciencedirect.com/science/article/pii/S1477842415300361 Open in new window
Abstract
Executable models play a key role in many software development methods by facilitating the (semi)automatic implementation/execution of the software system under development. This is possible because executable models promote a complete and fine-grained specification of the system behaviour. In this context, where models are the basis of the whole development process, the quality of the models has a high impact on the final quality of software systems derived from them. Therefore, the existence o...
Citation
Planas, E., Cabot, J., Gómez, C. Lightweight and static verification of UML executable models. "Computer languages, systems & structures", Novembre 2016, vol. 46, p. 66-90.
Keywords
Alf action language, Executable models, Model-driven architecture (MDA), Model-driven development (MDD), Static analysis, Verification
Group of research
GESSI - Group of Software and Service Engineering
inSSIDE - integrated Software, Service, Information and Data Engineering

Participants