Sebastian S. Bauer, Philip Mayer, and Axel Legay. MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces, 2011. Accepted at ATVA 2011. [Preprint]
See the following paper and technical report for an introduction into the MIO Workbench:
Bauer, S., Mayer, P., Schroeder, A., Hennicker,R.: On Weak Modal Compatibility, Refinement, and the MIO Workbench. Proceedings of Sixteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 20-28, 2010, Paphos, Cyprus.
Bauer, S., Mayer, P., Schroeder, A., Hennicker,R.: On Weak Modal Compatibility, Refinement, and the MIO Workbench. Extended version of TACAS 2010 Paper (with Proofs).
Technical Report 1001, LMU Munich, March 2010
This paper and technical report contain a description of our strict-observational interface theory:
Mayer, P., Schroeder, A., Bauer, S.: A Strict-Observational Interface Theory for Analysing Service Orchestrations. 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), March 27, 2010, Paphos, Cyprus.
Mayer, P., Schroeder, A., Bauer, S.: A Strict-Observational Interface Theory for Analysing Service Orchestrations. Extended version of FESCA 2010 Paper (with Proofs).
Technical Report 1003, LMU Munich, March 2010.
Comments are closed.