The challenge of object orientation for the analysis of concurrent systems

DOI10.1007/3-540-48068-4_4MaRDI QIDQ3045251zbMATH OpenFDO

Authors Charles A. Lakos

Publication date 12 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/2360/23600059.htm

Mathematics Subject Classification ID

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

Recommendations

• Integrated Formal Methods
• Analysis and verification queries over object-oriented Petri nets
• From coloured Petri nets to object Petri nets
• Object oriented modelling with object Petri nets
• CLOWN as a testbed for concurrent object-oriented concepts

Cited in

(7)

• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• Towards verifying distributed systems using object-oriented Petri nets
• CLOWN as a testbed for concurrent object-oriented concepts
• CoOperative objects: principles, use and implementation
• Modular Schedulability Analysis of Concurrent Objects in Creol
• Formalization of communication and behaviour in object-oriented analysis
• Analysis and verification queries over object-oriented Petri nets

Describes a project that uses

Uses Software

• dSPIN
• ET++

This page was built for publication: The challenge of object orientation for the analysis of concurrent systems

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