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

DOI10.1007/978-3-642-29320-7_22zbMATH Open1353.68163OpenAlexW1509993431MaRDI QIDQ2894573FDOQ2894573

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

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

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)

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)