13 citations · 19 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
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…
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
Phillip James, Markus Roggenbach
The development and application of formal methods is a long standing research topic within the field of computer science. One particular challenge that remains is the uptake of for…