Temporal Consistency of View Based Interorganizational Workflows

Eder, Johann; Tahamtan, Amirreza

doi:10.1007/978-3-540-78942-0_11

Cited by 21 publications

(18 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some others prefer Timed Automata, such as Watahiki et al [35] or Cheikhrouhou et al [6,7] . Another subgroup utilize different techniques, for instance, Du et al [10] with Time Workflow Nets, Kazhamiakin et al [21] with Web Service Timed State Transition Systems, Kallel et al [20] with XTUS-Automata, Wong and Gibbons [37] with Communicating Sequential Processes (CSP) and Eder and Tahamtan [12,13] with timed activity graphs. Lanz et al [61] propose a set of time-patterns for processaware information systems (PAIS) [33,41] .…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A metamodel to integrate business processes time perspective in BPMN 2.0

Arévalo¹,

Cuaresma²,

Ramos³

et al. 2016

Information and Software Technology

View full text Add to dashboard Cite

(ISO/IEC 19510:2013) and selected technology to model processes. The temporal dimension underlies in any kind of process however, technicians need to shape this perspective that must also coexist with task control flow aspects, as well as resource and case perspectives. BPMN poorly gathers temporary rules. This is why there are contributions that extend the standard to cover such dimension. BPMN is mainly an imperative language. There are research contributions showing time constraints in BPMN, such as (i) BPMN patterns to express each rule with a combination of artifacts, thus these approaches increase the use of imperative BPMN style, and (ii) new decorators to capture time rules semantics giving clearer and simpler comprehensible specifications. Nevertheless, these extensions cannot yet be found in the present standard. Objective: To define a time rule taxonomy easily found in most business processes and look for an approach that applies each rule with current BPMN 2.0 standard in a declarative way. Method: A model-driven approach is used to propose a BPMN metamodel extension to address timeperspective. Results: We look at a declarative approach where new time specifications may overlie the main control flow of a BPMN process. This proposal is totally supported with current BPMN standard, giving a BPMN metamodel extension with OCL constraints. We also use AQUA-WS as a software project case study which is planned and managed with MS Project. We illustrate business process extraction from project plans. Conclusion: This paper suggests to handle business temporal rules with current BPMN standard, along with other business perspectives like resources and cases. This approach can be applied to reverse engineering processes from legacy databases.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Researchers have defined business process time dimension with different approaches, such as Timed Automata [6,7,35] , Time Petri Nets [19,23,24] , Time workflow nets [10] , Timed activity graphs [12,13] , BPMN [8,[15][16][17][18]35] and other different techniques [20,21,37] .…”

Section: Introductionmentioning

confidence: 99%

A metamodel to integrate business processes time perspective in BPMN 2.0

Arévalo¹,

Cuaresma²,

Ramos³

et al. 2016

Information and Software Technology

View full text Add to dashboard Cite

show abstract

“…Eder et al (Eder and Tahamtan, 2008b) focuses on checking temporal consistency in interorganizational workflows. In this context each organization contributes to the interorganizational workflow through its process view.…”

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%

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

“…Static and dynamic verification of temporal constraints [30,31] is very crucial in workflows to avoid any temporal violations during the workflow life cycle. Eder et al [32] employ the concept of views to calculate the temporal consistency of interorganizational workflows by using abstraction and aggregation operators of views but their approach is also limited to static or predefined workflows.…”

Section: Related Workmentioning

confidence: 99%

Rule-based validation of SLA choreographies

et al. 2010

View full text Add to dashboard Cite

For the Service Economy to prosper, IT-based Service Markets are required to perform certain business actions autonomically and autonomously, e.g. helping companies to establish networks of business relationships. Service Markets, to be practically realized require an enabling infrastructure that supports business-to-business (B2B) relationships among business stakehoders, resulting in value chains.B2B workflow interoperation across Virtual Organisations (VOs) brings about novel business scenarios. In these scenarios, parts of workflows corresponding to different partners can be aggregated in a producer-consumer manner, leading to hierarchical structures of added value. Service Level Agreements (SLAs), which are contracts between service providers and service consumers, guarantee the expected quality of service (QoS) to different stakeholders at various levels along this hierarchy. Automation of service composition in these coalition workflows directly implies the aggregation of their corresponding SLAs. This hierarchical choreography and aggregation poses new challenges regarding SLA description, management, maintenance, validation, trust and security. In this paper we focus on design and architecture of an agent-oriented, rule-based validation framework for hierarchical SLA aggregation, enabling cross-VO workflow cooperation. The framework is based on the Rule Responder architecture, the RBSLA project, a formal model of SLA Views, and a distributed trust model.

show abstract

Temporal Consistency of View Based Interorganizational Workflows

Cited by 21 publications

References 11 publications

A metamodel to integrate business processes time perspective in BPMN 2.0

A metamodel to integrate business processes time perspective in BPMN 2.0

A Survey on Time-aware Business Process Modeling

Rule-based validation of SLA choreographies

Contact Info

Product

Resources

About