[图书][B] Specification and verification of declarative open interaction models: a logic-based approach
M Montali - 2010 - books.google.com
Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …
service composition are characterized by a distribution of activities and resources, and by …
Cost-based optimization of service compositions
For providers of composite services, preventing cases of SLA violations is crucial. Previous
work has established runtime adaptation of compositions as a promising tool to achieve SLA …
work has established runtime adaptation of compositions as a promising tool to achieve SLA …
[HTML][HTML] Monitoring networks through multiparty session types
In large-scale distributed infrastructures, applications are realised through communications
among distributed components. The need for methods for assuring safe interactions in such …
among distributed components. The need for methods for assuring safe interactions in such …
Monitoring the service-based system lifecycle with SALMon
Abstract Context and motivation Service-Based Systems are highly dynamic software
systems composed of several web services. In contrast to other types of systems, Service …
systems composed of several web services. In contrast to other types of systems, Service …
Measures and mechanisms for process monitoring in evolving business networks
The literature on monitoring of cross-organizational processes, executed within business
networks, considers monitoring only in the network formation phase, since network …
networks, considers monitoring only in the network formation phase, since network …
A Petri net-based approach to service composition and monitoring in the IOT
R Yang, B Li, C Cheng - 2014 Asia-Pacific Services Computing …, 2014 - ieeexplore.ieee.org
Recently, there are many improvements in Internet of Things (IOT). Through the
recombination and optimization, the real-world devices can provide their functionality as …
recombination and optimization, the real-world devices can provide their functionality as …
SLA monitor: A system for dynamic monitoring of adaptive web services
N Goel, NVN Kumar… - 2011 IEEE Ninth …, 2011 - ieeexplore.ieee.org
Service Level Agreements (SLAs) need to be monitored at runtime to assure that the
Business Level Agreements (BLAs)/Business Level Objectives (BLOs) are indeed satisfied …
Business Level Agreements (BLAs)/Business Level Objectives (BLOs) are indeed satisfied …
Incremental service level agreements violation handling with time impact analysis
This research addresses a critical issue of service level agreement (SLA) violation handling,
ie, time constraint violation related to service-based systems (SBS). Whenever an SLA …
ie, time constraint violation related to service-based systems (SBS). Whenever an SLA …
Automated runtime verification for web services
TD Cao, TT Phan-Quang, P Felix… - 2010 IEEE International …, 2010 - ieeexplore.ieee.org
This paper presents a methodology to perform passive testing of behavioural conformance
for the web services based on the security rule. The proposed methodology can be used …
for the web services based on the security rule. The proposed methodology can be used …
Domain objects for continuous context-aware adaptation of service-based systems
The idea to build systems based on services, by reusing and combining software made
available independently via different technologies and channels and dynamically organizing …
available independently via different technologies and channels and dynamically organizing …