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)

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 Petri Nets
• Understanding concurrent systems

Cited in

(7)

• Double trace interfaces
• All isomorphic distinct cases for multi-component interfaces in a block.
• 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
• Distributed synthesis of asynchronously communicating distributed process models

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)