Nondeterministic modal interfaces

DOI10.1016/J.TCS.2016.06.011MaRDI QIDQ2629098zbMATH OpenOpenAlexFDO

Authors Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler

Publication date 20 July 2016

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2016.06.011

zbMATH Keywords

component based designdisjunctive must-transitionsinterface theoriesmodal interface automatamodal transition systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Nondeterministic modal interfaces
• Modal Interface Automata
• Modal interface automata
• A modal interface theory for component-based design
• Interface theories for concurrency and data

Cites work

• A compositional specification theory for component behaviours
• A modal interface theory for component-based design
• A process algebraic view of input/output automata
• Comparing disjunctive modal transition systems with an one-selecting variant
• Error-pruning in interface automata
• Formal Approaches to Software Testing
• Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• Merging partial behaviour models with different vocabularies
• Modal I/O Automata for Interface and Product Line Theories
• Modal interface automata
• MoTraS: a tool for modal transition systems and their extensions
• Nondeterministic modal interfaces
• On weak modal compatibility, refinement, and the MIO workbench
• Refinement checking on parametric modal transition systems
• Richer interface automata with optimistic and pessimistic compatibility

Cited in

(10)

• A linear-time branching-time perspective on interface automata
• ACTL for modal interface automata
• A generalised theory of interface automata, component compatibility and error
• Interface automata for shared memory
• A modal interface theory for component-based design
• Combining partial specifications using alternating interface automata
• Nondeterministic modal interfaces
• Modal interface automata
• Modal Interface Automata
• Modal Open Petri Nets

Describes a project that uses

Uses Software

• MIO Workbench
• Motras

This page was built for publication: Nondeterministic modal interfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2629098)