A CSPm Model for the Procure to Pay Case Study
|
|
- Andrea Charles
- 7 years ago
- Views:
Transcription
1 A CSPm Model for the Procure to Pay Case Study Andreas V. Hense Bonn-Rhein-Sieg University oas, Grantham-Allee 20, Sankt Augustin, Germany, Abstract. The model presented here is part of a comparative evaluation effort of paradigms and tools for business process modelling. The model is written in CSPm a machine readable dialect of CSP and covers the case study Procure to Pay (P2P [1]. This paper shows the step by step development of the P2P case study using CSPm. We use the refinement notion of CSP to show which communications are possible. 1 Introduction The case study Procure to Pay (P2P [1] is a typical business process that can be automated using a workflow management system. In another article of this comparative evaluation effort [4] we have shown how to automate P2P using the workflow managment system YAWL [10]. We have also shown [5] how to automate P2P using the S-BPM method [2]. Like YAWL, S-BPM is a full-fledged workflow system. The underlying paradigm of YAWL is Petri nets. The underlying paradigm of S-BPM is Communicating Sequential Processes (CSP [6]. We have built the model for P2P with CSP [6] or more precisely with the machine-readable version of CSP called CSPm [8, 9] because we wanted to see the differences between S-BPM and CSP and the essence of the P2P case study compared to the ATM case study [3]. CSPm is not a workflow management system but a formal calculus. CSPm has a notion of refinement that can be checked automatically. In order to keep the models at a reasonable size and to be able to use the refinement checker, some simplifications were necessary. The greatest simplification is that our model describes only one case of the business process. The functionality of a workflow management system of handling different cases and distributing the work to different participants is not contained in our model. The complete CSPm source code for use with the Process Behaviour Explorer (ProBE 1 and the refinement checker FDR2 2 can be downloaded from our website download.html
2 2 2 Procure to Pay In the case study P2P, a site engineer wants to rent some equipment. Together with other participants of his organisation, the equipment is ordered for rental and finally payed for. The process contains five roles: a site engineer (SE, a clerk (CL, a supplier (SU, a works engineer (WE, and the finance department (FD. Following the recommendations of the S-BPM method [2] we start with a process overview showing the processes and their communication. The process overview in figure 1 shows processes and their communication 4. It contains processes for each of the roles mentioned above. Furthermore, there is a process for the date because an extension request can only be issued one or two days before the end of the rental period. The CSPm model of P2P models the process for one process instance or one case. A an example for a simple run through the process in CSPm syntax is shown in the following listing: Listing 1.1. Simple P2P usage scenario SIMPLE = eqrentreq. Dumper > availcheck. Dumper > availanswer. true > appreq. Dumper > appanswer. true > purchaseorder. Dumper > d e l i v e r E q. Dumper > tock > tock > tock > tock > datereqsu > dateanswersu. 5 > s e n d I n v o i c e. Dumper > appinvreq > appinvanswer. true > payinvoice > STOP The site engineer requests a dumper for day 4 (days are a subset of integer numbers and the equipment rental request has the start and end day as its two last parameters. The clerk looks up a catalogue and asks supplier number 2 if the dumper with a price of 1 is available from day 4 until day 4 5. After receiving a positive answer from the supplier, he asks the works engineer for approval. After receiving the approval, he sends a purchase order to the supplier who in turn delivers the equipment to the site engineer. We had started at day one. Now we advance the clock by four days using tock. The supplier now asks for the date and sees that the rental is over. 4 In S-BPM processes are called subjects [2] 5 The data domains had to be kept to a mininum in order to achieve acceptable runtimes of the refinement checker.
3 Fig. 1. Process overview of P2P 3
4 4 He can now send an invoice with cost 1 to the clerk. The clerk asks the site engineer if the equipment has really been rented from day 4 until day 4. After a positive answer he checks that the price has been calculated correctly and pays the invoice. 6 This concludes the simple scenario of what may happen in P2P. We will now proceed with the definition of the processes that make such a scenario possible. 2.1 The Site Engineer The process of the site engineer is called SE and is contained in the following listing. There are three uses of the internal choice operator 7 which read as follows: the site engineer nondeterministically chooses an equipment, a from-date, and a to-date. Then he sends a corresponding equipment rental request and goes to a waiting mode called SE wait. The waiting mode is parameterised with the equipment and the two dates. Since CSPm is essentially functional programming plus communication this is the way to remember these parameters. SE = eq : eqtype@ ( from : { minrent.. maxrent}@( to : { from.. maxrent}@( eqrentreq. eq. from. to > SE wait ( eq. from. to While the site engineer is in the waiting mode, two things can happen: either he receives a copy of the purchase order from the clerk and goes to mode SE expect or he cancels the equipment rental request and goes back to the initial mode SE. SE wait (err = purchaseorder?eerr > SE expect (eerr [ ] c a n c e l > SE In the expecting mode, the site engineer waits for a message that the equipment has been delivered and goes to a renting mode. SE expect (eerr = d e l i v e r E q?eerr > SE rent (eerr 6 The visualisation of this simple run as a UML sequence diagram [7] is left as an exercise. 7 The internal choice is denoted by in CSP and by a sequence of three keyboard characters resembling in CSPm.
5 5 While the site engineer is in the renting mode, two things can happen. He may get a request from the clerk to approve the dates of an invoice sent previously by the supplier. Or he asks for an extension of the rental period. The latter is only possible before the end date of the rental. The extension request may be rejected by the supplier. SE rent (eerr@@eq. p. s. from. to = ( appinvreq? frominv? toinv > appinvanswer. ( frominv==from and t o I n v==t o > SE [ ] ( datereqse > dateanswerse? d > ( i f ( d < to and to < maxrent then ( newto : { ( to maxrent}@( extreq. eq. p. s. from. newto > ( ( grantext? true > SE rent ( eq. p. s. from. newto [ ] ( grantext? f a l s e > SE rent ( eq. p. s. from. to e l s e SE rent ( eq. p. s. from. to 2.2 The Clerk When the clerk receives an equipment rental request from the site engineer he looks up the catalogue and extends the equipment rental request by a daily price and a supplier. CL = eqrentreq?( eq. from. to > p : dailyprice@ ( s : supplier@ ( CL rec ( eq. p. s. from. to He then checks the availability with the supplier and goes to a waiting mode. CL rec (eerr = availcheck. eerr > CL wait (eerr If the equipment chosen is not available, the clerk selects a different solution from the catalogue and returns to the previous mode. If the equipment is available he goes to a mode called CL avail.
6 6 CL wait p. s. from. to = availanswer? : { true } > CL avail (eerr [ ] availanswer? : { f a l s e } > p : dailyprice@ ( s : supplier@ ( CL rec ( eq. p. s. from. to Depending on the approval of the equipment he selects a different solution from the catalogue and returns to mode CL rec or he proceeds. CL avail (eerr@@eq. p. s. from. to = appreq. eerr > ( appanswer? : { true } > CL app (eerr [ ] appanswer? : { f a l s e } > p : dailyprice@ ( s : supplier@ ( CL rec ( eq. p. s. from. to Before sending the purchase order to the supplier he can receive a cancel request from the site engineer. This was one requirement of the case study. CL app (eerr@@eq. p. s. from. to = purchaseorder. eerr > CL ord (eerr c a n c e l > CL In the next step, he receives an invoice from the supplier. As the clerk has not been informed of a possible extension of the rental period he asks the site engineer for the approval of the dates in the invoice. After that he checks if the calculation of the total is correct and tells the finance department to pay the invoice. CL ord (eerr@@eq. p. s. from. to = s e n d I n v o i c e? eqinv? pinv? sinv? frominv? toinv? p r i c e > appinvreq. frominv. toinv > ( appinvanswer? : { true } > ( i f ( p r i c e==pinv ( toinv frominv +1 then ( payinvoice. sinv. p r i c e > CL
7 7 e l s e CL [ ] appinvanswer? : { f a l s e } > CL 2.3 The Supplier The supplier waits for an availability check or a purchase order. If he gets a purchase order he goes to the next mode. SU = ( availcheck?(eerr > ( availanswer. true > SU availanswer. f a l s e > SU [ ] ( purchaseorder?eerr > d e l i v e r E q. eerr > SU del (eerr In the next mode he can receive an extension request. He can also ask for the date and send an invoice if the rental period is over. SU del (eerr@@eq. p. s. from. to = ( extreq?eerr > ( grantext. true > SU del (eerr grantext. f a l s e > SU del (eerr ( datereqsu > dateanswersu? d > ( i f (d>to and to>=from then ( s e n d I n v o i c e. eerr. ( p ( to from +1 > STOP e l s e SU del (eerr 2.4 The Other Processes The works engineer simply accepts or rejects any approval request he receives. WE = appreq?eerr > ( ( appanswer. true > WE
8 8 ( appanswer. f a l s e > WE The finance department simply pays any invoice upon request. FD = payinvoice? sinv? p r i c e > FD The date process has the current date as its internal mode. The date is incremented upon tock messages from the environment up to a maximal value. When asked the date by the supplier or the site engineer it answers with the current date. Date = D( 1 D( i = tock > ( i f i < maxdate then D( i +1 e l s e D max( i [ ] ( datereqse > dateanswerse. i > D( i [ ] ( datereqsu > dateanswersu. i > D( i Once the date has reached the maximal value, the date process in mode D max does not accept any more tock messages from the environment but still answers date requests by the site engineer or the supplier. D max( i = ( datereqse > dateanswerse. i > D( i [ ] ( datereqsu > dateanswersu. i > D( i 2.5 The Procure to Pay Process The complete process is created by alphabetised parallel composition of all processes defined in the last sections. The respective alphabets are defined in the supplementary material on our website 8. The parallel composition is shown in the next listing. P2P = ( ( ( (CL [ alphcl alphwe ] WE [ alphcl alphfd ] FD 8
9 9 [ alphcl alphsu ] SU [ alphcl and SU alphse ] SE [ alphcl and SU and SE alphdate ] Date We can now prove that the scenario of listing 1.1 is indeed a behaviour of the P2P process. a s s e r t P2P [T= SIMPLE 2.6 Conclusion We have started the modelling effort with the process overview in figure 1. During the definition of the CSP processes many questions arose that would have been answered by subject matter experts in real life. The description of the case study P2P [1] fits on one page and cannot be a complete specification for the automation of the P2P process. Eliciting additional requirements during formalisation of a problem happens in every software project. The CSP specification that contains approximately 300 lines of code shows the following characteristics. The site engineer and the clerk are the central roles. The process definition of the site engineer consists of four mutually recursive equations that correspond to modes. These modes correspond to the states of the site engineer in [11]. The clerk has six modes. 9 These modes correspond to the states of the site engineer in [11]. The internal state information that these processes need is an extended equipment rental request. From the process definitions it is easy to derive UML sequence diagrams [7]. The tool ProBE allows us to explore all possible traces and FDR2 does trace refinement checks among others. The trace refinement checks can be used in this example for verifying if certain runs are possible. It is relatively easy in CSP to inadvertedly produce deadlocks or livelocks during process definitions. FDR2 can check for the presence of these and give concrete traces that lead to a dealock or livelock. This feature was useful during the development of our model. The automatic checking comes at a price: all data domains have to be finite and be of small cardinality in order to cope with combinatorial explosion. One important aspect of the problem, namely the resource perspective, has not been modelled. The model contains only one case. Distributing the work to different participants with the same role etc. is therefore not part of the model. In this respect the model is much less complete than the CSP model of the ATM case study [3]. References 1. M. Dumas, M. L. Rosa, J. Mendling, and H. A. Reijers. Fundamentals of Business Process Management. Springer Berlin Heidelberg, Jan The visualisation of these as a UML state diagram [7] is left as an exercise.
10 10 2. A. Fleischmann, S. Rass, and R. Singer. S-BPM illustrated: a storybook about business process modeling and execution A. V. Hense. CSPm models for the automated teller machine case study. In Special Session on Comparative Case Studies, Kiel, submitted for publication. 4. A. V. Hense and R. Malz. Automation of the automated teller machine case study with YAWL. In Special Session on Comparative Case Studies, Kiel, submitted for publication. 5. A. V. Hense and R. Malz. Automation of the procure to pay case study with YAWL. In Special Session on Comparative Case Studies, Kiel, submitted for publication. 6. C. A. R. Hoare. Communicating sequential processes. Prentice/Hall International, Englewood Cliffs, N.J., OMG. OMG unified modeling language (OMG UML, superstructure, Aug Version A. W. Roscoe. The theory and practice of concurrency. Prentice Hall, London; New York, A. W. Roscoe. Understanding Concurrent Systems. Springer, London ; New York, A. H. M. ter Hofstede, W. M. P. van der Aalst, M. Adams, and N. Russell. Modern Business Process Automation: YAWL and its Support Environment. Springer, Berlin, 1 edition, S. Zenzaro. An ASM model for the ProcureToPay case study. In Special Session on Comparative Case Studies, Kiel, submitted for publication.
BPMN PATTERNS USED IN MANAGEMENT INFORMATION SYSTEMS
BPMN PATTERNS USED IN MANAGEMENT INFORMATION SYSTEMS Gabriel Cozgarea 1 Adrian Cozgarea 2 ABSTRACT: Business Process Modeling Notation (BPMN) is a graphical standard in which controls and activities can
More informationA Framework for the Semantics of Behavioral Contracts
A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK ashley.mcneile@metamaxim.com Abstract. Contracts have proved a powerful concept
More informationCase studies: Outline. Requirement Engineering. Case Study: Automated Banking System. UML and Case Studies ITNP090 - Object Oriented Software Design
I. Automated Banking System Case studies: Outline Requirements Engineering: OO and incremental software development 1. case study: withdraw money a. use cases b. identifying class/object (class diagram)
More informationOverview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification
Introduction Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Advanced Topics in Software Engineering 1 Concurrent Programs Characterized by
More informationAn Evaluation of Conceptual Business Process Modelling Languages
An Evaluation of Conceptual Business Process Modelling Languages Beate List and Birgit Korherr Women s Postgraduate College for Internet Technologies Institute of Software Technology and Interactive Systems
More informationQuality Ensuring Development of Software Processes
Quality Ensuring Development of Software Processes ALEXANDER FÖRSTER,GREGOR ENGELS Department of Computer Science University of Paderborn D-33095 Paderborn, Germany {alfo engels}@upb.de ABSTRACT: Software
More informationUsing Use Cases for requirements capture. Pete McBreen. 1998 McBreen.Consulting
Using Use Cases for requirements capture Pete McBreen 1998 McBreen.Consulting petemcbreen@acm.org All rights reserved. You have permission to copy and distribute the document as long as you make no changes
More informationModelling Workflow with Petri Nets. CA4 BPM PetriNets
Modelling Workflow with Petri Nets 1 Workflow Management Issues Georgakopoulos,Hornick, Sheth Process Workflow specification Workflow Implementation =workflow application Business Process Modelling/ Reengineering
More informationSofware Requirements Engineeing
Sofware Requirements Engineeing Three main tasks in RE: 1 Elicit find out what the customers really want. Identify stakeholders, their goals and viewpoints. 2 Document write it down (). Understandable
More informationFormal Specification Methods for the Improvement of Process and Product Quality
Formal Specification Methods for the Improvement of Process and Product Quality Satish Mishra 1 and Prof Holger Schlingloff 12 1 Institut für Informatik, HU Berlin, 2 Fraunhofer FIRST, Berlin Rudower Chaussee
More informationChap 1. Introduction to Software Architecture
Chap 1. Introduction to Software Architecture 1. Introduction 2. IEEE Recommended Practice for Architecture Modeling 3. Architecture Description Language: the UML 4. The Rational Unified Process (RUP)
More informationOn the Modeling and Verification of Security-Aware and Process-Aware Information Systems
On the Modeling and Verification of Security-Aware and Process-Aware Information Systems 29 August 2011 What are workflows to us? Plans or schedules that map users or resources to tasks Such mappings may
More informationSupporting the Workflow Management System Development Process with YAWL
Supporting the Workflow Management System Development Process with YAWL R.S. Mans 1, W.M.P. van der Aalst 1 Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. ox 513,
More informationThe S-BPM Architecture: A Framework for Multi-Agent Systems
The S-BPM Architecture: A Framework for Multi-Agent Systems Stefan Raß, Johannes Kotremba, Robert Singer Institute of Information Management FH JOANNEUM University of Applied Sciences Graz, Austria robert.singer@fh-joanneum.at
More informationPLG: a Framework for the Generation of Business Process Models and their Execution Logs
PLG: a Framework for the Generation of Business Process Models and their Execution Logs Andrea Burattin and Alessandro Sperduti Department of Pure and Applied Mathematics University of Padua, Italy {burattin,sperduti}@math.unipd.it
More informationChapter 2 Introduction to Business Processes, BPM, and BPM Systems
Chapter 2 Introduction to Business Processes, BPM, and BPM Systems This chapter provides a basic overview on business processes. In particular it concentrates on the actual definition and characterization
More informationWoPeD - An Educational Tool for Workflow Nets
WoPeD - An Educational Tool for Workflow Nets Thomas Freytag, Cooperative State University (DHBW) Karlsruhe, Germany freytag@dhbw-karlsruhe.de Martin Sänger, 1&1 Internet AG, Karlsruhe, Germany m.saenger09@web.de
More informationBusiness Process Modeling
Business Process Concepts Process Mining Kelly Rosa Braghetto Instituto de Matemática e Estatística Universidade de São Paulo kellyrb@ime.usp.br January 30, 2009 1 / 41 Business Process Concepts Process
More informationAnnouncements. SE 1: Software Requirements Specification and Analysis. Review: Use Case Descriptions
Announcements SE 1: Software Requirements Specification and Analysis Lecture 4: Basic Notations Nancy Day, Davor Svetinović http://www.student.cs.uwaterloo.ca/ cs445/winter2006 uw.cs.cs445 Send your group
More informationCHAPTER 1 INTRODUCTION
CHAPTER 1 INTRODUCTION 1.1 Research Motivation In today s modern digital environment with or without our notice we are leaving our digital footprints in various data repositories through our daily activities,
More informationTowards Management of SLA-Aware Business Processes Based on Key Performance Indicators
Towards Management of SLA-Aware Business Processes Based on Key Performance Indicators Branimir Wetzstein, Dimka Karastoyanova, Frank Leymann Institute of Architecture of Application Systems, University
More informationATM Case Study Part 1
ATM Case Study Part 1 A requirements document specifies the purpose of the ATM system and what it must do. Requirements Document A local bank intends to install a new automated teller machine (ATM) to
More informationTowards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML Jaco Jacobs and Andrew Simpson Department of Computer Science, University of Oxford Wolfson
More informationMapping from Business Processes to Requirements Specification
Extended abstract 1/5 Mapping from Business Processes to Requirements Specification Svatopluk Štolfa, Ivo Vondrák Department of Computer Science, VŠB - Technical University of Ostrava, 17.listopadu 15,
More informationCPS122 Lecture: State and Activity Diagrams in UML
CPS122 Lecture: State and Activity Diagrams in UML Objectives: last revised February 14, 2012 1. To show how to create and read State Diagrams 2. To introduce UML Activity Diagrams Materials: 1. Demonstration
More informationOpen S-BPM: Goals and Architecture
Open S-BPM: Goals and Architecture Albert Fleischmann Werner Schmidt Table of Content 1 Introduction... 2 2 Mission, Vision and Objectives... 2 3 Research and Development Areas... 3 4 Open S-BPM Architecture...
More informationKirsten Sinclair SyntheSys Systems Engineers
Kirsten Sinclair SyntheSys Systems Engineers Kirsten Sinclair SyntheSys Systems Engineers Spicing-up IBM s Enterprise Architecture tools with Petri Nets On Today s Menu Appetiser: Background Starter: Use
More informationTowards Cross-Organizational Process Mining in Collections of Process Models and their Executions
Towards Cross-Organizational Process Mining in Collections of Process Models and their Executions J.C.A.M. Buijs, B.F. van Dongen, W.M.P. van der Aalst Department of Mathematics and Computer Science, Eindhoven
More informationUsing Use Cases on Agile Projects
Using Use Cases on Agile Projects Ivar Jacobson with Ian Spence Agenda What are agile teams looking for? Cards, conversations, and confirmations Knowing what to do and when it s done Being agile with use
More informationProcess Modelling from Insurance Event Log
Process Modelling from Insurance Event Log P.V. Kumaraguru Research scholar, Dr.M.G.R Educational and Research Institute University Chennai- 600 095 India Dr. S.P. Rajagopalan Professor Emeritus, Dr. M.G.R
More informationOverview. Essential Questions. Precalculus, Quarter 4, Unit 4.5 Build Arithmetic and Geometric Sequences and Series
Sequences and Series Overview Number of instruction days: 4 6 (1 day = 53 minutes) Content to Be Learned Write arithmetic and geometric sequences both recursively and with an explicit formula, use them
More informationWHERE DOES THE 10% CONDITION COME FROM?
1 WHERE DOES THE 10% CONDITION COME FROM? The text has mentioned The 10% Condition (at least) twice so far: p. 407 Bernoulli trials must be independent. If that assumption is violated, it is still okay
More informationA Software Framework for Risk-Aware Business Process Management
A Software Framework for Risk-Aware Business Management Raffaele Conforti 1, Marcello La Rosa 1,2, Arthur H.M. ter Hofstede 1,4, Giancarlo Fortino 3, Massimiliano de Leoni 4, Wil M.P. van der Aalst 4,1,
More information3 Extending the Refinement Calculus
Building BSP Programs Using the Refinement Calculus D.B. Skillicorn? Department of Computing and Information Science Queen s University, Kingston, Canada skill@qucis.queensu.ca Abstract. We extend the
More informationBCS THE CHARTERED INSTITUTE FOR IT. BCS HIGHER EDUCATION QUALIFICATIONS BCS Level 5 Diploma in IT SYSTEMS ANALYSIS & DESIGN EXAMINERS REPORT
BCS THE CHARTERED INSTITUTE FOR IT BCS HIGHER EDUCATION QUALIFICATIONS BCS Level 5 Diploma in IT SYSTEMS ANALYSIS & DESIGN EXAMINERS REPORT Monday 28 th September 2015 Case Study for both sections A and
More informationBetter Processes = Better E-Commerce
Better Processes = Better E-Commerce by Hajo A. Reijers and Monique H. Jansen-Vullers Many companies have found out the hard way that successful e-commerce requires more than a flashy Web presence. Electronic
More informationLecture 03 (04.11.2013) Quality of the Software Development Process
Systeme hoher Qualität und Sicherheit Universität Bremen, WS 2013/14 Lecture 03 (04.11.2013) Quality of the Software Development Process Christoph Lüth Christian Liguda Your Daily Menu Models of Software
More informationUML TUTORIALS THE USE CASE MODEL
UML TUTORIALS THE USE CASE MODEL www.sparxsystems.com.au Sparx Systems 2004 Page 1/5 describes the proposed functionality of the new system. A Use Case represents a discrete unit of interaction between
More informationInvestigating a File Transfer Protocol Using CSP and B
Noname manuscript No. (will be inserted by the editor) Investigating a File Transfer Protocol Using CSP and B Neil Evans, Helen Treharne Department of Computer Science, Royal Holloway, University of London
More informationXoWiki Content Flow From a Wiki to a Simple Workflow System
XoWiki Content Flow From a Wiki to a Simple Workflow System Gustaf Neumann Institute of Ination Systems and New Media, Vienna University of Economics and Business Administration Augasse 2-6, A-1090 Vienna,
More informationRUP iteration planning
Page 1 of 13 Copyright IBM Corporation 2004. http://www-106.ibm.com/developerworks/rational/library/5335.html Search for: within All of dw Use + - ( ) " " Search help IBM home Products & services Support
More informationAdvanced Software Engineering ( -Formal specification, verification, transformation, and application-
Advanced Software Engineering ( -Formal specification, verification, transformation, and application- Shaoying Liu Faculty of Computer and Information Sciences Hosei Univeresity, Tokyo, Japan Email: sliu@k.hosei.ac.jp
More informationMODELING OF SERVICE ORIENTED ARCHITECTURE: FROM BUSINESS PROCESS TO SERVICE REALISATION
MODELING OF SERVICE ORIENTED ARCHITECTURE: FROM BUSINESS PROCESS TO SERVICE REALISATION Marek Rychlý and Petr Weiss Faculty of Information Technology, Brno University of Technology, Czech Republic, rychly@fit.vutbr.cz,
More informationWorkflow Patterns in Orc
Workflow Patterns in Orc William R. Cook, Sourabh Patwardhan, and Jayadev Misra Department of Computer Sciences, University of Texas at Austin {wcook,sourabh,misra}@cs.utexas.edu Abstract. Van der Aalst
More informationECM Recommendation Part 1 (ECR) Version 2.0, Issued Aug. 2009 Replacements: Version 1.0
Part 1 (ECR) Version 2.0, Issued Aug. 2009 Replacements: Version 1.0 VDA 4965 Part 1 Version 3.0, issued Jan. 2010 Replacements: Version 2.0 A Joint Publication Part 1 - ECR SASIG Automotive Industry
More informationBizagi BPM Suite Loan Assessment Process Lab
Bizagi BPM Suite Loan Assessment Process Lab Submitted By: Shilpa Kochar Student ID: N8690723 Unit: Minor Project 1 INN690 Supervised By: Professor Marcello La Rosa Overview This report deals with the
More informationA pattern based approach to defining the dynamic infrastructure of UML 2.0
A pattern based approach to defining the dynamic infrastructure UML 2.0 Biju K. Appukuttan, Tony Clark 2, Andy Evans 3, Girish Maskeri 4, Paul Sammut 3, Laurence Tratt 2 and James S. Willans 3 Abstract.
More informationMODEL CHECKING OF SERVICES WORKFLOW RECONFIGURATION: A PERSPECTIVE ON DEPENDABILITY
MODEL CHECKING OF SERVICES WORKFLOW RECONFIGURATION: A PERSPECTIVE ON DEPENDABILITY 1 Juan Carlos Polanco Aguilar 1 Koji Hasebe 1 Manuel Mazzara 2 Kazuhiko Kato 1 1 University of Tsukuba Department of
More informationModeling Workflow Patterns
Modeling Workflow Patterns Bizagi Suite Workflow Patterns 1 Table of Contents Modeling workflow patterns... 4 Implementing the patterns... 4 Basic control flow patterns... 4 WCP 1- Sequence... 4 WCP 2-
More informationRequirements / Use Case Specification
Object - Oriented Programming & Design Part IX - UML Use Case Diagrams CSCI 4448 - Spring 2002 Requirements / Use Case Specification Your way of echoing to the customer what you heard him/her say he/she
More informationUniversity of Pisa. MSc in Computer Engineering. Business Processes Management. Lectures
University of Pisa MSc in Computer Engineering Business Processes Management Large and complex organizations are a tangible manifestation of advanced technology, more than machinery itself. (J.K. Galbraith)
More informationREQUIREMENTS FOR THE WORKFLOW-BASED SUPPORT OF RELEASE MANAGEMENT PROCESSES IN THE AUTOMOTIVE SECTOR
REQUIREMENTS FOR THE WORKFLOW-BASED SUPPORT OF RELEASE MANAGEMENT PROCESSES IN THE AUTOMOTIVE SECTOR Ulrich Bestfleisch, Joachim Herbst DaimlerChrysler AG Research and Technology Data and Process Management
More informationDemonstrating WSMX: Least Cost Supply Management
Demonstrating WSMX: Least Cost Supply Management Eyal Oren 2, Alexander Wahler 1, Bernhard Schreder 1, Aleksandar Balaban 1, Michal Zaremba 2, and Maciej Zaremba 2 1 NIWA Web Solutions, Vienna, Austria
More informationFrom Workflow Design Patterns to Logical Specifications
AUTOMATYKA/ AUTOMATICS 2013 Vol. 17 No. 1 http://dx.doi.org/10.7494/automat.2013.17.1.59 Rados³aw Klimek* From Workflow Design Patterns to Logical Specifications 1. Introduction Formal methods in software
More informationChapter 4 Software Lifecycle and Performance Analysis
Chapter 4 Software Lifecycle and Performance Analysis This chapter is aimed at illustrating performance modeling and analysis issues within the software lifecycle. After having introduced software and
More informationA Model-driven Approach to Predictive Non Functional Analysis of Component-based Systems
A Model-driven Approach to Predictive Non Functional Analysis of Component-based Systems Vincenzo Grassi Università di Roma Tor Vergata, Italy Raffaela Mirandola {vgrassi, mirandola}@info.uniroma2.it Abstract.
More informationTowards Flexible Business Process Modeling and Implementation: Combining Domain Specific Modeling Languages and Pattern-based Transformations
Towards Flexible Business Process Modeling and Implementation: Combining Domain Specific Modeling Languages and Pattern-based Transformations Steen Brahe 1 and Behzad Bordbar 2 1 Danske Bank and IT University
More informationEXTREME: EXecuTable Requirements Engineering, Management and Evolution. Dr. Ella Roubtsova Open University of the Netherlands
EXTREME: EXecuTable Requirements Engineering, Management and Evolution Dr. Ella Roubtsova Open University of the Netherlands Two phases of the Cognitive process Cognitive laws state that men: discover
More informationUsing YAWL in a Business Undergraduate Course on Process Management: An Experience Report
Using YAWL in a Business Undergraduate Course on Process Management: An Experience Report Joerg Evermann, Mary Furey, Terry Hussey Faculty of Business Administration, Memorial University of Newfoundland,
More informationActivity Mining for Discovering Software Process Models
Activity Mining for Discovering Software Process Models Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer Software Engineering Group, University of Paderborn, Germany [kindler, vroubine, wilhelm]@uni-paderborn.de
More informationNP-Completeness and Cook s Theorem
NP-Completeness and Cook s Theorem Lecture notes for COM3412 Logic and Computation 15th January 2002 1 NP decision problems The decision problem D L for a formal language L Σ is the computational task:
More informationRegular Expressions and Automata using Haskell
Regular Expressions and Automata using Haskell Simon Thompson Computing Laboratory University of Kent at Canterbury January 2000 Contents 1 Introduction 2 2 Regular Expressions 2 3 Matching regular expressions
More informationThe Role of Modelling in Teaching Formal Methods for Software Engineering
The Role of Modelling in Teaching Formal Methods for Software Engineering A. J. Cowling Department of Computer Science University of Sheffield Sheffield, England A.Cowling@dcs.shef.ac.uk Abstract. This
More informationAMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects Björn Axenath, Ekkart Kindler, Vladimir Rubin Software Engineering Group, University of Paderborn, Warburger Str. 100, D-33098
More information1(a). How many ways are there to rearrange the letters in the word COMPUTER?
CS 280 Solution Guide Homework 5 by Tze Kiat Tan 1(a). How many ways are there to rearrange the letters in the word COMPUTER? There are 8 distinct letters in the word COMPUTER. Therefore, the number of
More informationTest case design techniques II: Blackbox testing CISS
Test case design techniques II: Blackbox testing Overview Black-box testing (or functional testing): Equivalence partitioning Boundary value analysis Domain analysis Cause-effect graphing Behavioural testing
More informationTECH. Requirements. Why are requirements important? The Requirements Process REQUIREMENTS ELICITATION AND ANALYSIS. Requirements vs.
CH04 Capturing the Requirements Understanding what the customers and users expect the system to do * The Requirements Process * Types of Requirements * Characteristics of Requirements * How to Express
More informationSoftware Engineering Reference Framework
Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of
More informationPolicy Modeling and Compliance Verification in Enterprise Software Systems: a Survey
Policy Modeling and Compliance Verification in Enterprise Software Systems: a Survey George Chatzikonstantinou, Kostas Kontogiannis National Technical University of Athens September 24, 2012 MESOCA 12,
More informationThe ProB Animator and Model Checker for B
The ProB Animator and Model Checker for B A Tool Description Michael Leuschel and Michael Butler Department of Electronics and Computer Science University of Southampton Highfield, Southampton, SO17 1BJ,
More informationA Meta-model of Business Interaction for Assisting Intelligent Workflow Systems
A Meta-model of Business Interaction for Assisting Intelligent Workflow Systems Areti Manataki and Yun-Heh Chen-Burger Centre for Intelligent Systems and their Applications, School of Informatics, The
More informationExecution of A Requirement Model in Software Development
Execution of A Requirement Model in Software Development Wuwei Shen, Mohsen Guizani and Zijiang Yang Dept of Computer Science, Western Michigan University {wwshen,mguizani,zijiang}@cs.wmich.edu Kevin Compton
More informationA Pattern-based Approach to Business Process Modeling and Implementation in Web Services
A Pattern-based Approach to Business Process Modeling and Implementation in Web Services Steen Brahe 1 and Behzad Bordbar 2 1 Danske Bank & IT University of Copenhagen, Denmark stbr@itu.dk 2 University
More informationAspect Oriented Strategy to model the Examination Management Systems
Aspect Oriented Strategy to model the Examination Management Systems P.Durga 1, S.Jeevitha 2, A.Poomalai 3, Prof.M.Sowmiya 4 and Prof.S.Balamurugan 5 Department of IT, Kalaignar Karunanidhi Institute of
More information997 Functional Acknowledgment
997 Functional Acknowledgment Version: 1.0 Draft Author: Margie Stewart Publication: 06/10/2013 Notes: Table of Contents 997 Functional Acknowledgment.......................................................................................
More informationZen Broadband & Line Rental Price List
Our Broadband and Phone Line Packages We provide Broadband services nationwide however the cost may be higher for some customers based on their location. In some areas of the UK the wholesale price of
More informationEFFECTIVE CONSTRUCTIVE MODELS OF IMPLICIT SELECTION IN BUSINESS PROCESSES. Nataliya Golyan, Vera Golyan, Olga Kalynychenko
380 International Journal Information Theories and Applications, Vol. 18, Number 4, 2011 EFFECTIVE CONSTRUCTIVE MODELS OF IMPLICIT SELECTION IN BUSINESS PROCESSES Nataliya Golyan, Vera Golyan, Olga Kalynychenko
More informationBPMN VS. UML ACTIVITY DIAGRAM FOR BUSINESS PROCESS MODELING
Accounting and Management Information Systems Vol. 11, No. 4, pp. 637 651, 2012 BPMN VS. UML ACTIVITY DIAGRAM FOR BUSINESS PROCESS MODELING Cristina Venera GEAMBAŞU 1 The Bucharest University of Economic
More informationModeling Human Actors in an Intelligent Automated Warehouse
Modeling Human Actors in an Intelligent Automated Warehouse Davy Preuveneers 1 and Yolande Berbers 1 1 Department of Computer Science, K.U. Leuven Celestijnenlaan 200A, B-3001 Leuven, Belgium {Davy.Preuveneers,Yolande,Berbers}@cs.kuleuven.be
More informationPROCESS-DRIVEN SOFTWARE DEVELOPMENT METHODOLOGY FOR ENTERPRISE INFORMATION SYSTEM
PROCESS-DRIVEN SOFTWARE DEVELOPMENT METHODOLOGY FOR ENTERPRISE INFORMATION SYSTEM Kwan Hee Han 1 and Yongsun Choi 2 1 Department of Industrial & Systems Engineering, Engineering Research Institute, Gyeongsang
More informationApplying 4+1 View Architecture with UML 2. White Paper
Applying 4+1 View Architecture with UML 2 White Paper Copyright 2007 FCGSS, all rights reserved. www.fcgss.com Introduction Unified Modeling Language (UML) has been available since 1997, and UML 2 was
More information14.1 Rent-or-buy problem
CS787: Advanced Algorithms Lecture 14: Online algorithms We now shift focus to a different kind of algorithmic problem where we need to perform some optimization without knowing the input in advance. Algorithms
More informationStaRVOOrS: A Tool for Combined Static and Runtime Verification of Java
StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java Jesús Mauricio Chimento 1, Wolfgang Ahrendt 1, Gordon J. Pace 2, and Gerardo Schneider 3 1 Chalmers University of Technology, Sweden.
More informationReading 13 : Finite State Automata and Regular Expressions
CS/Math 24: Introduction to Discrete Mathematics Fall 25 Reading 3 : Finite State Automata and Regular Expressions Instructors: Beck Hasti, Gautam Prakriya In this reading we study a mathematical model
More informationA Pattern for the Decomposition of Business Processes
A Pattern for the Decomposition of Business Processes Maryam Radgui 1, Rajaa Saidi 1;2 and Salma Mouline 1 1 LRIT associated unit with CNRST (URAC 29), Faculty of Sciences, Mohammed V-Agdal University
More informationCS 3719 (Theory of Computation and Algorithms) Lecture 4
CS 3719 (Theory of Computation and Algorithms) Lecture 4 Antonina Kolokolova January 18, 2012 1 Undecidable languages 1.1 Church-Turing thesis Let s recap how it all started. In 1990, Hilbert stated a
More informationCASSANDRA: Version: 1.1.0 / 1. November 2001
CASSANDRA: An Automated Software Engineering Coach Markus Schacher KnowGravity Inc. Badenerstrasse 808 8048 Zürich Switzerland Phone: ++41-(0)1/434'20'00 Fax: ++41-(0)1/434'20'09 Email: markus.schacher@knowgravity.com
More informationIntroducing the Dezyne Modelling Language
Introducing the Dezyne Modelling Language Bits & Chips Smart Systems, 20 November 2014 Paul Hoogendijk. paul.hoogendijk@verum.com Software Controlled Systems Software Controlled Systems Event driven Concurrent,
More informationModeling and Performance Evaluation of Computer Systems Security Operation 1
Modeling and Performance Evaluation of Computer Systems Security Operation 1 D. Guster 2 St.Cloud State University 3 N.K. Krivulin 4 St.Petersburg State University 5 Abstract A model of computer system
More informationBPMN Business Process Modeling Notation
BPMN (BPMN) is a graphical notation that describes the logic of steps in a business process. This notation has been especially designed to coordinate the sequence of processes and messages that flow between
More informationAutomata and Computability. Solutions to Exercises
Automata and Computability Solutions to Exercises Fall 25 Alexis Maciel Department of Computer Science Clarkson University Copyright c 25 Alexis Maciel ii Contents Preface vii Introduction 2 Finite Automata
More informationCPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms
CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms Michael Westergaard 1,2 and Tijs Slaats 3,4 1 Department of Mathematics and Computer Science, Eindhoven University of
More informationAdvanced Computing Tools for Applied Research Chapter 1. Introduction to software engineering
Advanced Computing Tools for Applied Research Chapter 1. Introduction to software engineering Jaime Boal Martín-Larrauri Rafael Palacios Hielscher Academic year 2014/2015 1 Introduction 2 Types of software
More informationBusiness Independent Model of Mobile Workforce Management
Business Independent Model of Mobile Workforce Management Volker Gruhn and Thomas Richter Chair of Applied Telematics / e-business, University of Leipzig Klostergasse 3, 04109 Leipzig, Germany {gruhn,richter}@ebus.informatik.uni-leipzig.de
More informationStructure of Presentation. The Role of Programming in Informatics Curricula. Concepts of Informatics 2. Concepts of Informatics 1
The Role of Programming in Informatics Curricula A. J. Cowling Department of Computer Science University of Sheffield Structure of Presentation Introduction The problem, and the key concepts. Dimensions
More information25 Integers: Addition and Subtraction
25 Integers: Addition and Subtraction Whole numbers and their operations were developed as a direct result of people s need to count. But nowadays many quantitative needs aside from counting require numbers
More informationModel Inconsistency Management
Model Inconsistency Management by means of Graph Transformation Dependency Analysis Tom Mens (tom.mens@umh.ac.be) Institut d Informatique Université de Mons-Hainaut Belgium Acknowledgements This talk reports
More informationA Cost-object Model for Activity Based Costing Simulation of Business Processes
204 UKSim-AMSS 8th European Modelling Symposium A Cost-object Model for Activity Based Costing Simulation of Business Processes Vincenzo Cartelli, Giuseppe Di Modica, Daniele Manni, Orazio Tomarchio Department
More informationFormal Languages and Automata Theory - Regular Expressions and Finite Automata -
Formal Languages and Automata Theory - Regular Expressions and Finite Automata - Samarjit Chakraborty Computer Engineering and Networks Laboratory Swiss Federal Institute of Technology (ETH) Zürich March
More information