A Coordination Model for Interactive Components

DOI10.1007/978-3-642-11623-0_25MaRDI QIDQ3400936zbMATH OpenOpenAlexFDO

Authors Marco A. Barbosa, L. S. Barbosa, J. C. T. Campos

Publication date 28 January 2010

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

Full work available at URL http://hdl.handle.net/1822/20278

zbMATH Keywords

coordination modelsinteractors

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Conformance notions for the coordination of interaction components
• A coherent, integrating modelling framework for the problem oriented development of interactive systems
• scientific article; zbMATH DE number 2111976
• A principled exploration of coordination models
• An interface model of software components

Cited in

(5)

• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• scientific article; zbMATH DE number 1508925 (Why is no real title available?)
• Responsiveness of interoperating components
• Coordination via interaction constraints. I: Local logic
• Modeling interactive components by coordinate kernel polynomial models

Describes a project that uses

Uses Software

• Reo

This page was built for publication: A Coordination Model for Interactive Components

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