Temporal Conformance of Federated Choreographies

Eder, Johann; Tahamtan, Amirreza

doi:10.1007/978-3-540-85654-2_57

Cited by 47 publications

(31 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Time conformance has been studied by Eder and Tahamtan in (Eder and Tahamtan, 2008a). It consists in checking whether a timed orchestration satisfies a timed choreography by generating temporal execution plans.…”

Section: Temporal Constraints In the Inter-organisational Research Fieldmentioning

confidence: 99%

“…It consists in checking whether a timed orchestration satisfies a timed choreography by generating temporal execution plans. The algorithm calculating the timed graphs and checking temporal conformance is detailed in (Eder and Tahamtan, 2008a). The conformance condition verifies that for each activity the sum of its earliest possible start and its duration must be less or equal to its latest allowed end for both best and worst cases.…”

Section: Temporal Constraints In the Inter-organisational Research Fieldmentioning

confidence: 99%

“…the analysis of dead tasks, bottlenecks, deadlocks and loops) (Kallel et al, 2009;Watahiki et al, 2011), there are some works which have tried to differentiate the two verification processes (Guermouche, 2010;Huai et al, 2010;Du et al, 2011). (Huai et al, 2010) Time Petri nets dead task + deadlock +infinite loops the reachability graph of the Petri nets the time conflicts of the model the time choreography verification algorithm (Du et al, 2011) Time workflow nets duration between two activitie Algorithms (TWF-net) less than s time units + UPAAL model checker (Kazhamiakin et al, 2006a) Web Service Timed deadlock model checker NuSMV State Transition Systems (WSTTS) + maximal and minimal duration of the process (Kallel et al, 2009) XTUS-Automata deadlock UPAALmodel checker (Guermouche, 2010) Timed Automata compatibility analysis of the web Algorithms service choreography deadlock UPAAL model checker (Eder and Tahamtan, 2008b) Timed activity graphs Temporal consistency Algorithms (Eder and Tahamtan, 2008a) + Time conformance (Makni et al, 2010) Time Petri nets Time conformance TINA model checker and LPT (Makni et al, 2011) (Guermouche andZilio, 2012) A modeling environment the absence constraint with delay inspired from BPMN + the response constraint with delay TINA model checker The Fiacre specification (Bettini et al, 2002) Temporal Constraint with Granularity the consistency Algorithms (TCG) graph (Combi et al, 2007) A proposed conceptual The controllability checking Algorithms (Combi and Posenato, 2009) workflow model (Wong and Gibbons, 2009) Communicating Sequential Time compatibility FDR model checker Processes (CSP)…”

Section: How This Verification Is Proceeded?mentioning

confidence: 99%

“…Additionally, there are some efforts concentrating on verifying other issues such as time conformance (Eder and Tahamtan, 2008a;Makni et al, 2010), the absence constraint (Guermouche and Zilio, 2012), and controllability (Combi and Posenato, 2009).…”

Section: How This Verification Is Proceeded?mentioning

confidence: 99%

See 3 more Smart Citations

A Survey on Time-aware Business Process Modeling

2013

Proceedings of the 15th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

Abstract:One key perspective when dealing with Business Process Management (BPM) is time. All business experts agree upon the fact that time is a key resource for each business process within an organisation. Indeed, time managing is an effective cost and error reduction strategy and thus ensures profit maximization for the organisation. As a result, business managers, researchers, and academicians in management are striving to have full-support of temporal aspects in business process management suites. Consequently, modeling and managing temporal requirements in the business process field is becoming a topic of intensive research. This paper presents a survey of the existing approaches to specifying and verifying the temporal perspective in business processes.

show abstract

Section: Temporal Constraints In the Inter-organisational Research Fieldmentioning

confidence: 99%

Section: Temporal Constraints In the Inter-organisational Research Fieldmentioning

confidence: 99%

Section: How This Verification Is Proceeded?mentioning

confidence: 99%

Section: How This Verification Is Proceeded?mentioning

confidence: 99%

See 2 more Smart Citations

A Survey on Time-aware Business Process Modeling

2013

Proceedings of the 15th International Conference on Enterprise Information Systems

View full text Add to dashboard Cite

show abstract

“…For example to model requirements such as approval or rejection of an application may take at most one week after its receipt and sending a notification to the applicant takes at least three days. For calculation of temporal values, we extend the algorithms developed in our previous works [11,10]. An interval in which an activity may execute is calculated.…”

Section: Interval-based Approachmentioning

confidence: 99%

Temporal Management of WS-BPEL Processes

Tahamtan

Os̈terle

Tjoa

et al. 2012

Enterprise Information Systems

Self Cite

View full text Add to dashboard Cite

Abstract. WS-BPEL is de-facto industry standard for business processes. One of its major shortcomings is lack of temporal management capabilities. WS-BPEL offers no possibility for definition, calculation and monitoring of temporal values such as activity duration and deadlines as well as checking the temporal conformance of processes. This paper tackles temporal management of WS-BPEL based on two different techniques: interval-based and probabilistic. This paper describes temporal management of cooperating WS-BPEL abstract and executable processes. We have implemented a temporal management prototype as a WS-BPEL extension.

show abstract

Asynchronous Timed Web Service-Aware Choreography Analysis

Guermouche

Godart

2009

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables applications integration within and across business organizations. One of the important features of the Web services is the choreography aspect which allows to capture collaborative processes involving multiple services. In this context, one of the important investigations is the choreography compatibility analysis. We mean by the choreography compatibility the capability of a set of Web services of actually interacting by exchanging messages in a proper manner. Whether a set of services are compatible depends not only on their sequences of messages but also on quantitative properties such as timed properties. In this paper, we investigate an approach that deals with checking the timed compatibility of a choreography in which the Web services support asynchronous timed communications.

show abstract

Temporal Conformance of Federated Choreographies

Cited by 47 publications

References 7 publications

A Survey on Time-aware Business Process Modeling

A Survey on Time-aware Business Process Modeling

Temporal Management of WS-BPEL Processes

Asynchronous Timed Web Service-Aware Choreography Analysis

Contact Info

Product

Resources

About