WASET
	@article{(Open Science Index):https://publications.waset.org/pdf/3311,
	  title     = {Multi-models Approach for Describing and Verifying Constraints Based Interactive Systems},
	  author    = {Mamoun Sqali and  Mohamed Wassim Trojet},
	  country	= {},
	  institution	= {},
	  abstract     = {The requirements analysis, modeling, and simulation have consistently been one of the main challenges during the development of complex systems. The scenarios and the state machines are two successful models to describe the behavior of an interactive system. The scenarios represent examples of system execution in the form of sequences of messages exchanged between objects and are a partial view of the system. In contrast, state machines can represent the overall system behavior. The automation of processing scenarios in the state machines provide some answers to various problems such as system behavior validation and scenarios consistency checking. In this paper, we propose a method for translating scenarios in state machines represented by Discreet EVent Specification and procedure to detect implied scenarios. Each induced DEVS model represents the behavior of an object of the system. The global system behavior is described by coupling the atomic DEVS models and validated through simulation. We improve the validation process with integrating formal methods to eliminate logical inconsistencies in the global model. For that end, we use the Z notation.
},
	    journal   = {International Journal of Electrical and Computer Engineering},
	  volume    = {3},
	  number    = {5},
	  year      = {2009},
	  pages     = {1315 - 1325},
	  ee        = {https://publications.waset.org/pdf/3311},
	  url   	= {https://publications.waset.org/vol/29},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 29, 2009},
	}