Specification and Monitoring of Data-Centric Temporal Properties for Service-Based Internetware Systems
Service-based systems operate in a very dynamic environment. To guarantee functional and non-functional objective at runtime, an adaptation mechanism is usually expected to monitor software changes, make appropriate decisions, and act accordingly. However
- PDF / 2,491,230 Bytes
- 25 Pages / 504.567 x 720 pts Page_size
- 35 Downloads / 158 Views
9
Abstract
Service-based systems operate in a very dynamic environment. To guarantee functional and non-functional objective at runtime, an adaptation mechanism is usually expected to monitor software changes, make appropriate decisions, and act accordingly. However, existing runtime monitoring solutions consider only the constraints on the sequence of messages exchanged between partner services and ignore the actual data contents inside the messages. As a result, it is difficult to monitor some dynamic properties such as how message data of interest is processed between different participants. To address this issue, we propose an efficient, nonintrusive online monitoring approach to dynamically analyze data-centric properties for service-oriented applications involving multiple participants. By introducing Par-BCL—a Parametric Behavior Constraint Language for Web services—to define monitoring parameters, various data-centric temporal behavior properties for Web services can be specified and monitored. This approach broadens the monitored patterns to include not only message exchange orders, but also data contents bound to the parameters. To reduce runtime overhead, we statically analyze the monitored properties and combine two different indexing mechanisms to optimize monitoring. The experiments show that our solution is efficient and promising. Keywords
Runtime monitoring · Web services composition · Temporal property
Parts of this chapter were reprinted from Journal of Systems and Software, Volume 85, Guoquan Wu, Jun Wei, Chunyang Ye, Hua Zhong, Tao Huang and Hong He, Specification and monitoring of data-centric
temporal properties for service-based systems, Pages No. 2738–2754, Copyright (2012), with permission from Elsevier [OR APPLICABLE SOCIETY COPYRIGHT OWNER].
© Springer Science+Business Media Singapore 2016 H. Mei and J. Lü, Internetware, DOI 10.1007/978-981-10-2546-4_9
185
186
9.1 Introduction Service-oriented architecture (SOA) is an emerging software engineering paradigm to develop dynamically evolving applications. In this paradigm, service providers develop Web services, and publish them at service registries. Service consumers can then discover the required services from the service registries and compose them to create new services. Process based composition of Web services has recently gained significant momentum for inter-organizational business collaboration. WS-BPEL [34] now represents the de-facto standard for Web services composition, in which a central node called composition process usually coordinates the interactions of distributed, autonomous Web services. An instance of process is an actual running process that follows the logic described in the process specification. Due to the frequent changes of business and environmental requirements, service-based systems are usually required to be self-adaptive. For example, to adapt to market changes, a servicebased travel agency application may dynamically select and compose the airline services that are best beneficial to customers. M
Data Loading...
