MODELING INTERACTIVE SYSTEMS WITH HIERARCHICAL COLORED PETRI NETS
Mohammed Elkoutbi, Rudolf K. Keller · 1997
This paper addresses the problem of modeling interactive systems * . We aim to provide an easy way for elaborating the behavior specification of a system using hierarchical colored Petri nets. Our modeling approach comprises two levels of abstraction: the use case level corresponding to the use case model as defined in the Unified Modeling Language (UML) and the scenario level as refinement of the former one. The color aspect of nets is used at the scenario level to preserve the independence of several scenarios after their integration. The benefits of our approach consist in the structuring of the scenario acquisition and in the new approach of merging them using colors and chameleon tokens. 1. INTRODUCTION The need for formal techniques for analyzing systems is widely acknowledged, a large range of existing formalisms being in use for specifying systems. In modeling interactive systems visual formalisms are needed to reduce the gap between users and analysts. Object-oriented met...