Pervasive Service Creation Using a Model Driven Petri Net Based Approach

Service creation is a complex process that involves service analysis design, implementation and testing. Traditionally, the service is validated at the late stage of testing. This increases development costs since any necessary amendments would require an iterative improving cycle on service design and implementation; until the desired result is eventually reached. This paper proposes a service creation methodology and tooling with a twofold contribution: based on its design, a service is validated early on and prior to implementation, the service code is automatically generated out of the validated service designs. To achieve this, their approach integrates Model-Driven Architecture (MDA) with Petri Nets (PN).