A procedure for modeling and analysis of service-oriented and distributed productive systems

Geographic dispersion and distribution of productive activities in relatively autonomous systems are viable due to the advances in mechatronics, communication and information technologies. These productive systems are then composed of several components (sub-systems) with some degree of autonomy, and these must present a collaborative relationship to assure the overall performance of the system. Therefore, the challenge is to implement a collaborative distributed architecture that assures effective interactions among the services, in special for tele-operation and remote monitoring operations. Thus, new modeling techniques that guarantee verification and validation of the collaborative systems specifications are necessary. In this context, this paper proposes a procedure for modeling and analysis of service-oriented and distributed productive systems based on the characterization of the distributed productive system as a discrete event dynamic system. This procedure uses techniques derived from interpreted Petri net in order to perform the system modeling. Different levels of abstraction are considered to model the systems: the conceptual description is obtained through the production flow schema (PFS) technique and a refinement into functional models through the Petri net technique. Then, a procedure to detail the workflow process in the distributed productive system is described with emphasis on the integration of the component models.