MIO Workbench

MIO workbench: A tool for compositional design with modal input/output interfaces. Modal Input/Output interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs. The approach combines the advantages of both modal automata and interface automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench that is the first complete implementation of the MIO theory.


References in zbMATH (referenced in 20 articles )

Showing results 1 to 20 of 20.
Sorted by year (citations)

  1. Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter: Nondeterministic modal interfaces (2016)
  2. Bujtor, Ferenc; Vogler, Walter: Error-pruning in interface automata (2015)
  3. Hennicker, Rolf; Knapp, Alexander: Moving from interface theories to assembly theories (2015)
  4. Lüttgen, Gerald; Vogler, Walter; Fendrich, Sascha: Richer interface automata with optimistic and pessimistic compatibility (2015)
  5. Delahaye, Beno^ıt; Larsen, Kim G.; Legay, Axel: Stuttering for abstract probabilistic automata (2014)
  6. Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin: Assembly theories for communication-safe component systems (2014)
  7. Beneš, Nikola; Delahaye, Beno{^i}t; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel: Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory (2013)
  8. Carmona, Josep; Kleijn, Jetty: Compatibility in a multi-component environment (2013)
  9. Delahaye, Beno^ıt; Larsen, Kim G.; Legay, Axel: Stuttering for abstract probabilistic automata (2013)
  10. Křetínský, Jan; Sickert, Salomon: On refinements of Boolean and parametric modal transition systems (2013)
  11. Bauer, Sebastian: Modal specification theories for component-based design (2012)
  12. Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří: Extending modal transition systems with structured labels (2012)
  13. Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří: EXPTIME-completeness of thorough refinement on modal transition systems (2012)
  14. Elhog-Benzina, Dorsaf; Haddad, Serge; Hennicker, Rolf: Refinement and asynchronous composition of modal Petri nets (2012)
  15. Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin: Interface theories for concurrency and data (2011)
  16. Bauer, Sebastian S.; Mayer, Philip; Legay, Axel: MIO workbench: A tool for compositional design with modal input/output interfaces (2011)
  17. Hennicker, Rolf; Knapp, Alexander: Modal interface theories for communication-safe component assemblies (2011)
  18. Bauer, Sebastian S.; Hennicker, Rolf; Janisch, Stephan: Behaviour protocols for interacting stateful components (2010)
  19. Bauer, Sebastian S.; Mayer, Philip; Schroeder, Andreas; Hennicker, Rolf: On weak modal compatibility, refinement, and the MIO workbench (2010)
  20. David, Alexandre; Larsen, Kim.G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej: ECDAR: an environment for compositional design and analysis of real time systems (2010)


Further publications can be found at: http://www.miowb.net/?page_id=42