An Object-Oriented Component Model for Heterogeneous Nets

DOI10.1007/978-3-540-92188-2_11zbMATH Open1209.68339OpenAlexW2151987729MaRDI QIDQ3603002FDOQ3603002

Authors Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas 

Publication date 12 February 2009

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-92188-2_11

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1231678
• Creol: A type-safe object-oriented model for distributed concurrent systems
• A component-based Petri net model for specifying and validating cooperative information systems
• Composition for component-based modeling
• scientific article; zbMATH DE number 1569122

Cites work

• scientific article; zbMATH DE number 2080755 (Why is no real title available?)
• scientific article; zbMATH DE number 1931786 (Why is no real title available?)
• A rewriting based model for probabilistic distributed object systems.
• Automated Reasoning
• Conditional rewriting logic as a unified model of concurrency
• Creol: A type-safe object-oriented model for distributed concurrent systems
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22--24, 2008. Proceedings
• Maude: specification and programming in rewriting logic
• Specification of real-time and hybrid systems in rewriting logic
• Testing Concurrent Objects with Application-Specific Schedulers

Cited in

(3)

• Creol: A type-safe object-oriented model for distributed concurrent systems
• A lightweight approach to smart contracts supporting safety, security, and privacy
• Formal modeling and validation of a power-efficient grouping protocol for WSNs

Describes a project that uses

Uses Software

• OBJ3
• Maude
• Creol

This page was built for publication: An Object-Oriented Component Model for Heterogeneous Nets

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