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 24 articles )

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

1 2 next

  1. Bujtor, Ferenc; Vogler, Walter: ACTL for modal interface automata (2017)
  2. Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter: Nondeterministic modal interfaces (2016)
  3. Fendrich, Sascha; Lüttgen, Gerald: A generalised theory of interface automata, component compatibility and error (2016)
  4. Bujtor, Ferenc; Vogler, Walter: Error-pruning in interface automata (2015)
  5. Hennicker, Rolf; Knapp, Alexander: Moving from interface theories to assembly theories (2015)
  6. Lüttgen, Gerald; Vogler, Walter; Fendrich, Sascha: Richer interface automata with optimistic and pessimistic compatibility (2015)
  7. Delahaye, Beno^ıt; Larsen, Kim G.; Legay, Axel: Stuttering for abstract probabilistic automata (2014)
  8. Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin: Assembly theories for communication-safe component systems (2014)
  9. 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)
  10. Carmona, Josep; Kleijn, Jetty: Compatibility in a multi-component environment (2013)
  11. Delahaye, Beno^ıt; Larsen, Kim G.; Legay, Axel: Stuttering for abstract probabilistic automata (2013)
  12. Křetínský, Jan; Sickert, Salomon: Motras: a tool for modal transition systems and their extensions (2013)
  13. Křetínský, Jan; Sickert, Salomon: On refinements of Boolean and parametric modal transition systems (2013)
  14. Bauer, Sebastian: Modal specification theories for component-based design (2012)
  15. Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin: Building a modal interface theory for concurrency and data (2012)
  16. Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří: Extending modal transition systems with structured labels (2012)
  17. Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří: EXPTIME-completeness of thorough refinement on modal transition systems (2012)
  18. Elhog-Benzina, Dorsaf; Haddad, Serge; Hennicker, Rolf: Refinement and asynchronous composition of modal Petri nets (2012)
  19. Bauer, Sebastian S.; Hennicker, Rolf; Bidoit, Michel: A modal interface theory with data constraints (2011)
  20. Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin: Interface theories for concurrency and data (2011)

1 2 next

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