rmSWSpec: Real-Time Monitoring of Service Workflow Specification Language for Specification Patterns

Service-oriented computing (SOC) lays the foundation for modern enterprise systems where services are incorporated as building blocks in application workflows. However, SOC is still at development stage with many unsolved issues; particularly, composing services for a workflow pose a significant challenge when some factors including distribution and dynamic characteristics of services are in consideration. The number of vendors providing similar services is increasing, and this requires effective methodologies for service workflow compositions. Service workflow specification (SWSpec) language was proposed to specify requirements of service attributes and verify them in a workflow during service selection processes automatically. One requirement for SWSpec is that all services must be represented for service selections adequately, while existing SWSpec exhibits its limitation in addressing significant specification patterns found in service-based applications (SBAs). This paper proposes a strengthened SWSpec, called real-time monitoring SWSpec that incorporates new modalities to represent missing specification patterns of events occurring in SBAs.