Summary
International Symposium on Nonlinear Theory and its Applications
2008
Session Number:C3L-B
Session:
Number:C3L-B4
Constructing State Machine Models by Using Petri Nets for the Extended ROOM Method
Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Sadatoshi Kumagai,
pp.-
Publication Date:2008/9/7
Online ISSN:2188-5079
Summary:
Service Oriented Architecture is an architecture style to build up a large-scale networked system composed of a set of components or functions, each of which is called a service. The Extended ROOM method has been proposed as a method to generate behavioral model of a system based on SOA and to validate the system on the behavioral model from the early state of system development. In this paper, we proposed a method to generate state machine models of the target system by using Petri nets.