A generic component framework for system modeling

DOI10.1007/3-540-45923-5_3MaRDI QIDQ4738311zbMATH OpenFDO

Authors Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Martti Piirainen, Markus Klein

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2306/23060033.htm

Mathematics Subject Classification ID

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 general framework for modular implementations of modular system specifications
• A Software Component Model and Its Preliminary Formalisation
• An Approach to Modelling and Verification of Component Based Systems
• scientific article; zbMATH DE number 3896337
• Toward a formal model of software components

Cited in

(4)

• Petri net modules in the transformation-based component framework
• A generic approach to connector architectures. I: The general framework
• scientific article; zbMATH DE number 5623975 (Why is no real title available?)
• Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components

This page was built for publication: A generic component framework for system modeling

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