Translation from Adapted UML to Promela for CORBA-Based Applications

DOI10.1007/978-3-540-24732-6_17zbMath1125.68340OpenAlexW1502337223MaRDI QIDQ5308379

No author found.

Publication date: 28 September 2007

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-24732-6_17

zbMATH Keywords

CORBASPINUMLMiddlewareModel CheckingDistributed Object SystemsFormal Specification and Verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (1)

Correct transformation: from object-based graph grammars to PROMELA

Uses Software

• SPIN
• PROMELA
• Java PathFinder

This page was built for publication: Translation from Adapted UML to Promela for CORBA-Based Applications