1 citations · 2 across the 4 of their papers we have counts for
3 papers · 1 filter
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global k…
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…