Composition of Use Cases Using Synchronization and Model Checking

DOI10.1007/11888116_22zbMath1225.68122OpenAlexW1564831987MaRDI QIDQ3613075

Rachida Dssouli, Aziz Salah, Rabeb Mizouni, Solmaz Kolahi

Publication date: 11 March 2009

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

Full work available at URL: https://doi.org/10.1007/11888116_22

zbMATH Keywords

composition operatorsmodel checkinguse casessynchronized product

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Composition of Use Cases Using Synchronization and Model Checking

Cites Work

• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• Composition of Use Cases Using Synchronization and Model Checking
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Unnamed Item
• Unnamed Item

This page was built for publication: Composition of Use Cases Using Synchronization and Model Checking