Deriving Distributed Design Models from Global State Machines Requirements
| Autor: | Gregor von Bochmann, Mohammad F. Al-hammouri |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
050101 languages & linguistics
Sequence Finite-state machine Theoretical computer science Computer science Concurrency 05 social sciences 02 engineering and technology Activity diagram Notation Unified Modeling Language 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences While loop State (computer science) computer computer.programming_language |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030306892 SAM |
| DOI: | 10.1007/978-3-030-30690-8_2 |
| Popis: | This paper deals with deriving a distributed design model from a global requirements model written in the notation of Hierarchical State Machines (HSMs). In this paper, we extend the UML notation of HSMs to describe the roles (components) that participate in the actions of each state of the global behaviour. A simple state represents some local actions, while a hierarchical state usually represents a collaboration between several roles (system components). Our global HSM requirements model describes the sequencing of collaborations and local actions. We compare this notation with other notations such as UML Collaborations, Hierarchical Message Sequence Charts (HMSC), Activity Diagrams, Partial-Order(PO)-Charts and others. Then we explain how a distributed design model, including all required coordination messages between the different system components, can be automatically derived from a global requirements model. We consider the following sequencing constraints between different collaborations: weak or strict sequence, alternatives, weak or strict while loop, and concurrency. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|