A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Authorization for Workflow Processes using Pi Calculus
2012
IOSR Journal of Engineering
Preserved Fulltext
Workflow patterns contain basic features of business process. ...
Pi-calculus can be applied in business process modeling. ...
Based on the execution semantics of the Pi-calculus, the behavior of each workflow pattern has been defined precisely in (Puhlmann F. a., 2005). ...
doi:10.9790/3021-02918083
fatcat:fmeuhg24lbdyvilwgrbhdvnvsi
Workflow enactment based on a chemical metaphor
2005
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The execution model of such chemical workflow enactment is formalized using the γ-calculus. ...
In the γ-calculus control, scheduling, dependencies, errors and the state of the computation are all represented in a single uniform declarative formalism that has a mathematically founded clear semantics ...
Authors express their gratitude to Yann Radenac and Jean-Pierre Bânatre for their help with the γ-calculus. ...
doi:10.1109/sefm.2005.55
dblp:conf/sefm/NemethPP05
fatcat:tutneboqtbadrdwrpquzlfjaym
Adaptable Processes (Extended Abstract)
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We study the (un)decidability of these two problems in different fragments of the calculus. ...
Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. ...
Designing business/enterprise applications in terms of workflows is a common practice nowadays. ...
doi:10.1007/978-3-642-21461-5_6
fatcat:rmuiuyb5vrdlbodnkaztz3x6dm
Business Process Management — S-BPM a New Paradigm for Competitive Advantage?
[chapter]
2010
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
of business process thinking in organizations. ...
Firstly, a critical survey on the current status of business process management in industry is given. ...
In any case, there is no clear evidence that Pi calculus supports patterns in a better way than more traditional languages like Petri nets. ...
doi:10.1007/978-3-642-15915-2_5
fatcat:4igda5givndujboqqqvjjwekei
On the Impact of Formal Methods in the SOA
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures. ...
The classic notion of transaction in database systems evolved into weaker forms, in order to adapt to multi-domain, loosely coupled environments including the execution of long running activities. ...
asynchronous pi calculus. ...
doi:10.1016/j.entcs.2006.05.018
fatcat:6cs4luj6mre3vbxpa7gcjhuub4
Life After BPEL?
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper provides a critical analysis of BPEL based on the so-called workflow patterns. It also discusses the need for languages like BPEL. ...
It is supported by vendors such as IBM and Microsoft and positioned as the "process language of the Internet". ...
We have also developed a comprehensive set of resource patterns [42] that capture the various ways in which resources are represented and utilized in workflows. ...
doi:10.1007/11549970_4
fatcat:mr54lgd6jvguji5a5fnfr7yi7e
Patterns of Process Modeling
[chapter]
2005
Process-Aware Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements We would like to thank Bartek Kiepuszewski, Alistair Barros, and Petia Wohed for their contribution to the research involving workflow patterns, and Lachlan Aldred for his contribution ...
Fig. 9. 9 9 The moment of choice in the Patterns 4 (Exclusive choice) and 16 (Deferred choice).
Fig. 9 . 9 10 How to model this in terms of Pi calculus? ...
In terms of Pi calculus (or any other process algebra) this is denoted as ´ | µ À. In this notation the " " is used to denote sequence and the "|" denotes parallelism. ...
doi:10.1002/0471741442.ch8
fatcat:cs4b5q2svnehdlkwoy226ubb5e
Translating Orc Features into Petri Nets and the Join Calculus
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Cook and Misra's Orc is an elegant language for orchestrating distributed services, able to cover e.g. van der Aalst's workflow patterns. ...
extension of Petri nets). ...
For example, a still ongoing debate [25, 1, 2] adverses the use of workflow to that of pi-calculus and it has led to the establishment of an expert forum (the Process Modelling Group [22] ) to investigate ...
doi:10.1007/11841197_8
fatcat:rotchoiwurcxzo5vudh5dq24ku
A taxonomy of grid workflow verification and validation
2008
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Therefore, a systematic investigation and an overall classification of key issues in grid workflow verification and validation is helpful and should be presented so that we can keep on the right track ...
In a grid architecture, a grid workflow management system is a type of high-level grid middleware which is supposed to support modelling, redesign and execution of largescale sophisticated scientific and ...
ACKNOWLEDGEMENTS A preliminary version of this paper appeared in AusGrid2006 [62] . ...
doi:10.1002/cpe.1220
fatcat:e3mgph2fkjgdlf3snqskb4wkzy
FORMAL CONSIDERATIONS OF RULE-BASED MESSAGING FOR BUSINESS PROCESS INTEGRATION
2006
Cybernetics and systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Definitions of the language terms, formulae, safety, and expressiveness are introduced and considered in detail. ...
We will then introduce the design of a temporal first order language (Harmonized Messaging Calculus) that provides the formal foundation for general rules governing the business process execution. ...
We then introduce Harmonised Messaging Calculus (HMC) as a formal foundation of rules; the consideration of safety and expressiveness of the calculus are also investigated in detail. ...
doi:10.1080/01969720500425871
fatcat:nawpchnlqnftveqxidrzommno4
Sensoria Results Applied to the Case Studies
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this chapter we provide an overview of the application of the results obtained in Sensoria (i.e., techniques, methods and languages developed in the technical work packages WP1-WP7) to case studies ...
, sCOWS) in order to develop verification techniques (e.g., CMC-UMC, PEPA software toolkit) for the analysis of behavioral, performance and QoS properties of services. ...
We thank our partners in the Sensoria project for their contributions to this chapter. ...
doi:10.1007/978-3-642-20401-2_32
fatcat:4wvndyw5sbcbbnm6v7xmpbhgfm
Interaction protocols for cross-organisational workflows
2013
Knowledge-Based Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Workflow technologies are widely used in industry and commerce to assist in the specification, execution and completion of well defined processes within organisations. ...
Since organisations can have very different workflows, the creation of compatible workflows so that organisations can collaborate and/or carry out mutual transactions automatically in an integrated fashion ...
(Chen et al. (2011) ) suggested a Pi-Calculus based approach to compose web services into cross organisational business processes. ...
doi:10.1016/j.knosys.2012.07.023
fatcat:gmf7vyb7rvcqhgzcwwm56p4joq
Agent-Based Modelling and Analysis of Air Traffic Organisations
[chapter]
2009
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Due to the structural and behavioural complexity of ATOs, mistakes and performance problems are not rare in such organisations. Some of these faults may seriously affect safety, causing incidents. ...
The approach is illustrated by a case study in which ATO's tasks related to movement of aircraft on the ground and to safety occurrence reporting are considered. ...
involved in the optimized goal pattern. ...
doi:10.1007/978-3-642-04170-9_11
fatcat:6qafjudjq5aapkyuzdcxqdo2l4
A pi-calculus based semantics for WS-BPEL
2007
The Journal of Logic and Algebraic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To this end, we formally define the three BPEL mechanisms in terms of our calculus. It is possible to take advantages of this formal description in two ways. ...
Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, that is the way of defining a complex service out of simpler ones. ...
Van der Aalst in [55] raises a number of challenges for those advocating the use of π-calculus in the context of workflow. ...
doi:10.1016/j.jlap.2006.05.007
fatcat:twfog6scjfa3jdk5qi32iphzwm
From StPowla processes to SRML models
2009
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we focus on the modelling of service orchestrations. ...
This provides a formal framework for STPOWLA and also a separated view of policies representing system variability that is not present in SRML. ...
PI supports the set of interactions used to trigger a workflow modification in the component BP. ...
doi:10.1007/s00165-009-0118-7
fatcat:5oesh2p33jh4zay5vpqfjufafm
« Previous
Showing results 1 — 15 out of 432 results