Associative composition of components with double-sided interfaces

DOI10.1007/S00236-018-0328-7MaRDI QIDQ1733102zbMATH OpenOpenAlexWikidataFDO

Authors Wolfgang Reisig

Publication date 21 March 2019

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-018-0328-7

zbMATH Keywords

compositionPetri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

This paper provides a very general notion of composition for components of distributed systems models. The core motivation is to obtain a monoid of model components, i.e., an associative composition operator. The key for obtaining this result is to distinguish two interfaces for each component, called left and right interface, respectively, rather than a single interface, as usual. This way, unintentional identification of interface elements with equal names is avoided.

Recommendations

• Composition: a fresh look at an old topic
• Composition for component-based modeling
• Synchronous and Bidirectional Component Interfaces
• Generalised compositionality in graph transformation
• Composition of model interface. A theorem of model composition

Cites work

• A calculus for modeling software components.
• An Approach to Modelling and Verification of Component Based Systems
• Connectivity of workflow nets: The foundations of stepwise verification
• Does My Service Have Partners?
• Nets, relations and linking diagrams
• On Distributability of Petri Nets
• On the category of Petri net computations
• Petri net algebra
• Petri nets are monoids
• Reo: a channel-based coordination model for component composition
• Soundness of workflow nets: classification, decidability, and analysis
• Specification and Development of Interactive Systems
• The Conversation Calculus: A Model of Service-Oriented Computation
• Understanding concurrent systems
• Understanding Petri Nets

Cited in

(7)

• Double trace interfaces
• All isomorphic distinct cases for multi-component interfaces in a block.
• Distributed synthesis of asynchronously communicating distributed process models
• Hierarchical composition of industrial components
• scientific article; zbMATH DE number 1931737 (Why is no real title available?)
• scientific article; zbMATH DE number 2087393 (Why is no real title available?)
• Component algebra

Describes a project that uses

Uses Software

• Reo

This page was built for publication: Associative composition of components with double-sided interfaces

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