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

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

1 2 next

  1. Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie: Logical vs. behavioural specifications (2020)
  2. Vogler, Walter; Lüttgen, Gerald: A linear-time branching-time perspective on interface automata (2020)
  3. Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf: Connecting open systems of communicating finite state machines (2019)
  4. Fendrich, Sascha; Lüttgen, Gerald: A generalised theory of interface automata, component compatibility and error (2019)
  5. Varshosaz, Mahsa; Luthmann, Lars; Mohr, Paul; Lochau, Malte; Mousavi, Mohammad Reza: Modal transition system encoding of featured transition systems (2019)
  6. Bujtor, Ferenc; Vogler, Walter: ACTL for modal interface automata (2017)
  7. Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter: Nondeterministic modal interfaces (2016)
  8. Fendrich, Sascha; Lüttgen, Gerald: A generalised theory of interface automata, component compatibility and error (2016)
  9. Bujtor, Ferenc; Vogler, Walter: Error-pruning in interface automata (2015)
  10. Hennicker, Rolf; Knapp, Alexander: Moving from interface theories to assembly theories (2015)
  11. Lüttgen, Gerald; Vogler, Walter; Fendrich, Sascha: Richer interface automata with optimistic and pessimistic compatibility (2015)
  12. Delahaye, Benoît; Larsen, Kim G.; Legay, Axel: Stuttering for abstract probabilistic automata (2014)
  13. Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin: Assembly theories for communication-safe component systems (2014)
  14. Beneš, Nikola; Delahaye, Benoît; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel: Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory (2013)
  15. Carmona, Josep; Kleijn, Jetty: Compatibility in a multi-component environment (2013)
  16. Delahaye, Benoît; Larsen, Kim G.; Legay, Axel: Stuttering for abstract probabilistic automata (2013)
  17. Křetínský, Jan; Sickert, Salomon: On refinements of Boolean and parametric modal transition systems (2013)
  18. Křetínský, Jan; Sickert, Salomon: MoTraS: a tool for modal transition systems and their extensions (2013)
  19. Bauer, Sebastian: Modal specification theories for component-based design (2012)
  20. Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin: Building a modal interface theory for concurrency and data (2012)

1 2 next


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