432 Hits in 4.8 sec

Authorization for Workflow Processes using Pi Calculus

2012 IOSR Journal of Engineering  
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

Z. Nemeth, C. Perez, T. Priol
2005 Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)  
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]

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2011 Lecture Notes in Computer Science  
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]

Robert Singer, Erwin Zinser
2010 Communications in Computer and Information Science  
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

Laura Bocchi, Paolo Ciancarini
2006 Electronical Notes in Theoretical Computer Science  
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]

W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, P. Wohed
2005 Lecture Notes in Computer Science  
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]

Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Marlon Dumas
2005 Process-Aware Information Systems  
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]

Roberto Bruni, Hernán Melgratti, Emilio Tuosto
2006 Lecture Notes in Computer Science  
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

Jinjun Chen, Yun Yang
2008 Concurrency and Computation  
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


Dat C. Ma, Maria E. Orlowska, Shazia W. Sadiq
2006 Cybernetics and systems  
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]

Maurice H. ter Beek
2011 Lecture Notes in Computer Science  
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

Flávio Soares Corrêa da Silva, Mirtha Lina Fernández Venero, Diego Mira David, Mohammad Saleem, Paul W.H. Chung
2013 Knowledge-Based Systems  
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]

Alexei Sharpanskykh
2009 Studies in Computational Intelligence  
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

Roberto Lucchi, Manuel Mazzara
2007 The Journal of Logic and Algebraic Programming  
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

Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
2009 Formal Aspects of Computing  
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