32 citations · 122 across the 26 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014★ 1 cited
An Institution for Simple UML State Machines
Alexander Knapp, Till Mossakowski, Markus Roggenbach +1
We present an institution for UML state machines without hierarchical states. The interaction with UML class diagrams is handled via institutions for guards and actions, which prov…
cs.SE2014★ 1 cited
An Institutional Framework for Heterogeneous Formal Development in UML
Alexander Knapp, Till Mossakowski, Markus Roggenbach
We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogen…