Intentional automata: a context-dependent model for component connectors (extended abstract)

DOI10.1007/978-3-642-29320-7_22MaRDI QIDQ2894573zbMATH OpenOpenAlexFDO

Authors Milad Niqui, David G. Costa, Jan J. M. M. Rutten

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29320-7_22

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A model of context-dependent component connectors
• Modeling component connectors in Reo by constraint automata
• Formal Verification for Components and Connectors
• A generic approach to connector architectures. I: The general framework
• A specification language for Reo connectors

Cited in

(2)

• A model of context-dependent component connectors
• Soft constraint automata with memory

This page was built for publication: Intentional automata: a context-dependent model for component connectors (extended abstract)

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