Generating CCS model from scenarios

摘要

A scenario, typically instantiated from use case in the early stage of system development, is a sequence of message interaction between object instances. While a process, as the main paradigm of Calculus of Communicating System CCS, focuses on specifying full behaviors for one object instance. This paper presents a method for generating CCS model from scenarios which represented by UML sequence diagrams: firstly, a sequence diagram is represented by a formal notation, namely scenario expression. A set of rules is then proposed to translate scenario expression to CCS model. A translation algorithm, based on the translation rules, is presented to extract behaviors for each single object from scenario expression. The translation from scenario to CCS is a significative work that can not only help developers to generating CCS automatically from scenarios but also verify the scenarios via formal verification tools of CCS as well.