A formal engineering approach for control and monitoring systems in a service-oriented environment

This paper describes an engineering approach suitable for a service-oriented control and monitoring environment in the industrial manufacturing area. Recent and current research projects (http://www.socrades.eu and http://www.imc-aesop.eu) have focused on the concepts, opportunities, feasibility and required strategies for the effective application of service-oriented architectures in the manufacturing domain, with systems potentially involving up to 10,000 distributed devices. Future work is now being focused on migration, engineering and performance optimization. This paper presents an engineering methodology. It describes an engineering path and proposes abstract engineering methods, based on a Petri net formalization, to better-support the problems that engineers face in the implementation of service-oriented control structures and dynamic behaviors, whilst at the same time minimizing training requirements. The described approach, methods and relevant paradigms (i.e., Service-Oriented Architectures (SOA) and High-Level Petri Net-based Orchestration) form the basis for the engineering-tools to be developed and used in an enterprise architecture based on the standard ISA'95.