Formal composition of distributed scenarios

Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoît Parreaux

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Scopus citations

Abstract

Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and the race conditions between events make it difficult to include all the possible scenario combinations and thus to get a complete specification. Most research about formal methods dealt with languages and neglected the process of how getting a formal specification. This paper describes a scenario-based process to synthesize a formal specification in the case of a distributed system. The requirements are represented by a set of use cases where each one is composed of a collection of distributed scenarios. The architectural assumptions about the communication between the objects of the distributed system imply some completions and reorganizations in the use cases. Then, the latter are composed into a global finite state machine (FSM) from which we derive a communicating FSM per object in the distributed system.

Original languageBritish English
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsDavid de Frutos-Escrig, Manuel Nunez
PublisherSpringer Verlag
Pages213-228
Number of pages16
ISBN (Print)3540232524, 9783540232520
DOIs
StatePublished - 2004

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3235
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • Distributed systems
  • Formal specification
  • FSM
  • Scenario composition
  • Scenario-based approach
  • Use case

Fingerprint

Dive into the research topics of 'Formal composition of distributed scenarios'. Together they form a unique fingerprint.

Cite this