A Timed Extension of WSCoL

Baresi, Luciano; Bianculli, Domenico; Ghezzi, Carlo; Guinea, Sam; Spoletini, Paola

doi:10.1109/icws.2007.25

Cited by 26 publications

(24 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…TelecommunicationAssistance [26,27] composite service (TA) is a software-and telecommunication-based service that is designed to help patients who need daily assistance in remote areas. TA service interacts with four partner if there is no satisfied video in KB, VA will send the query request to other providers, then some providers respond to the request within 10 seconds.…”

Section: Case Studiesmentioning

confidence: 99%

Web services property sequence chart monitor: a tool chain for monitoring BPEL‐based web service composition with scenario‐based specifications

Zhang

Leung

et al. 2013

IET softw.

View full text Add to dashboard Cite

Web service composition is a new paradigm to develop distributed and reactive software-intensive systems. Owing to the autonomous nature of basic services, the validation of composite service must be extended from design-time to run-time. Here, the authors describe a novel tool chain called web services property sequence chart monitor to monitor temporal, timing and probabilistic properties in composite service based on scenario-based property specifications called property sequence chart, timed property sequence chart and probabilistic timed property sequence chart, respectively. The tool chain provides a completely graphical front-end that eliminates the need to deal with any particular textual and logical formalism. Furthermore, the framework and implementation detail of the tool chain are also presented. Finally, the feasibility and usability of the tool have been validated by the case studies and performance measurement.

show abstract

Section: Case Studiesmentioning

confidence: 99%

Web services property sequence chart monitor: a tool chain for monitoring BPEL‐based web service composition with scenario‐based specifications

Zhang

Leung

et al. 2013

IET softw.

View full text Add to dashboard Cite

show abstract

“…TA(TelephoneAssistance) is a composite service which helps patients needing daily assistance to indirectly interact with doctors [4,15]. When receiving startAssistace from a patient, a BPEL process TA begins.…”

Section: A Motivation Examplementioning

confidence: 99%

“…Run-time monitoring consists of collecting data about a monitored service and checking whether these data conform to expected properties; it can complement traditional static validation and verification techniques to improve the quality of web service. In literatures, many researchers have used run-time monitoring techniques to dynamically verify desired properties in composite services [4,6,10,11,12,15].…”

Section: Introductionmentioning

confidence: 99%

Extending PSC for Monitoring the Timed Properties in Composite Services

Zhang

et al. 2008

2008 15th Asia-Pacific Software Engineering Conference

View full text Add to dashboard Cite

Due to the dynamically evolving attribute, validation of composite services must be extended from design time to run-time. Dynamical verification techniques, such as runtime monitoring, have been first class activities to be performed during the execution of composite services. For a kind of composite services, nonfunctional properties, such as timed properties, are as important as functional properties and need to be monitored at run-time. However, using traditional logic and formalism, these timed properties are not easily represented for general software engineers.In order to deal with this problem, we first extend a novel notation (Property Sequence Chart) with time constructs. Then, we give its semantics in terms of timed Büchi automata and measure its expressiveness based on recently proposed real-time specification patterns. Finally, we propose a novel framework to monitor two kinds of timed properties in composite services: the accomplished time of basic service operations and some additional timed assumptions of the composition process. Our framework provides a completely graphical front-end which can friendly help general software engineers to monitor the timed properties in composite services.

show abstract

“…A full implementation of the verification environment is in progress. An implementation (called Dynamo) exists at this stage only for a predecessor of ALBERT, called WSCoL [9], and for an initial temporal extension [6].…”

Section: An Approach To Lifelong Verification Of Soamentioning

confidence: 99%

Dynamically Evolvable Dependable Software: From Oxymoron to Reality

Ghezzi

Inverardi

Montangero

2008

Concurrency, Graphs and Models

Self Cite

View full text Add to dashboard Cite

Abstract. We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving software that is both dynamically evolvable and dependable is our long-term research goal. We do not attempt here to propose a unified solution to dissolve the apparent oximoron, i.e. to reconcile these apparently conflicting goals. Rather, we enlighten different facets of the problem by distilling our experience through three research experience reports that act as case studies. We discuss the lessons learned from the state of the art and practice exemplified by our approaches and outline the directions of possible future research.

show abstract

A Timed Extension of WSCoL

Cited by 26 publications

References 14 publications

Web services property sequence chart monitor: a tool chain for monitoring BPEL‐based web service composition with scenario‐based specifications

Web services property sequence chart monitor: a tool chain for monitoring BPEL‐based web service composition with scenario‐based specifications

Extending PSC for Monitoring the Timed Properties in Composite Services

Dynamically Evolvable Dependable Software: From Oxymoron to Reality

Contact Info

Product

Resources

About