Composition of Use Cases Using Synchronization and Model Checking

DOI10.1007/11888116_22MaRDI QIDQ3613075zbMATH OpenOpenAlexFDO

Authors Rabeb Mizouni, Aziz Salah, Solmaz Kolahi, Rachida Dssouli

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 checkingsynchronized productuse cases

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)

Recommendations

• scientific article; zbMATH DE number 2000456
• On Scenario Synchronization
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 2080014
• Automata-based component composition analysis

Cites work

• Composition of Use Cases Using Synchronization and Model Checking
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• scientific article; zbMATH DE number 1693519 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS

Cited in

(2)

• Composition of Use Cases Using Synchronization and Model Checking
• scientific article; zbMATH DE number 2000456 (Why is no real title available?)

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

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