It can be used to prove properties when the set of states reachable from an initial state in a system module is finite.
We can distinguish two levels of specification:
An interaction protocol is defined as the “Rules of Engagement” among interacting participants. Therefore, include:
In Specificity represent interactions among services. That is domain independent.
(e.g. for shipment , may be domain-dependent.)
In Semantic concern is semantic content. i.e., the nature of the interactions. (Request – Reply mechanism).
(e.g., destination, payment info) to capture content. The message itself may capture the semantics to distinguish actions, such as direct, inform, cancel, and others.
Finally, composability is concerned with how a designer might specify the process by combining protocols. Monitoring Service Systems from a Language-Action Perspective
The exponential growth in the global economy is being supported by service systems, realized by recasting mission-critical applications as services accessed across organizational boundaries. Service-oriented architectures and associated interoperability standards provide key enablers for these service systems. Their actual building and deployment, however, continues to be fraught with problems: “most of our large software systems … are now constructed as groups of interoperating systems (as systems of systems) … made to interoperate through various forms of interfaces. Although we can conceive these large [service systems], we have trouble building them” [3]. Anecdotal accounts of systems integration efforts (e.g., [4], [5], [6], [7]) point to failures and underscore the need to address the underlying cause: rapidly changing Environmental forces. These changes challenge assumptions, such as stability and predictability, where well-specified business processes (with services to perform tasks) are identified in advance and are insulated from change. Instead, the open and distributed processes include tasks that are performed by services that are not centrally controlled, and hence, can be unpredictable. As a result, service outcomes themselves tend to be uncertain. Service monitoring, therefore, remains a significant challenge. The goal of this research is to develop a framework for monitoring such service systems. This paper presents the framework, establishes its feasibility, and evaluates it with scenarios and comparisons against existing proposals. To enhance policy specification and monitoring of service systems. We develop this contribution as an extension to prior work in monitoring, establish its feasibility, and demonstrate it with multiple scenarios.