A formal notation and tool for the engineering of CORBA systems

DOI<link itemprop=identifier href="https://doi.org/10.1002/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B" /><1379::AID-CPE514>3.0.CO;2-B 10.1002/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-BzbMath1008.68571OpenAlexW1972862368MaRDI QIDQ4790903

Rémi Bastide, Philippe Palanque, Ousmane Sy

Publication date: 4 February 2003

Full work available at URL: https://doi.org/10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b

zbMATH Keywords

Petri netsCORBAFormal methodsdistributed object-oriented systemsbehavioral specification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Computing methodologies and applications (68U99) Distributed systems (68M14)

Uses Software

• LARCH

Cites Work

• System modelling with high-level Petri nets
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
• Free Choice Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal notation and tool for the engineering of CORBA systems