Test Suite Generation for Services
|
|
- Isaac Elliott
- 8 years ago
- Views:
Transcription
1 Test Suite Generation for Services Kathrin Kaschner and Niels Lohmann WESOA 2008 Sydney 1 December technology.org/wesoa2008 UNIVERSITÄT ROSTOCK
2 Testing Services: What's new? classical software service location my machine some machine(s) usage input output stateful, asynchronous communication over the net description manual / API / GUI public view test case function call / unit test? a partner service 2
3 Service Development 1. define the public view publicly observable behavior interface exchanged messages 2. implement all details 3. publish public view specification implementation defines all correct interacting partners the implementation should conform to its specification: Any correct partner derived from the public view should also be a correct partner of the implementation. 3
4 Specification incorrect Implementation login standard user premium user lookup user in database send offer order standard user premium user confirmation order store order order order customer order! 100 " order < 100 " send terms of payment customer send terms of payment pre-notify shipment upgrade to premium user store order pre-notify shipment order! 100 " upgrade to premium user confirmation order < 100 " send invoice send invoice update user profile send invoice send invoice update user profile 4
5 Verification vs. Testing Verification/White Box Testing specification abstract BPEL, BPMN, UML AD conform implementation executable BPEL, Java,.NET translate translate formal model verify formal model [AalstLMSW2008]: algorithm and tool 5
6 Verification vs. Testing Black Box Testing: Code too complex or unknown specification abstract BPEL, BPMN, UML AD comply implementation executable BPEL, Java,.NET translate formal model verify translate formal model 6
7 Test Suite Generation specification abstract BPEL, BPMN, UML AD conform implementation executable BPEL, Java,.NET generate test Problem: test suite must contain a significant number of test cases / partner services test case test suite 7
8 Test Suite Generation Proposed approach specification abstract BPEL, BPMN, UML AD conform implementation executable BPEL, Java,.NET translate formal model test compute partner service characterization generate test case test suite 8
9 Finitely Characterizing all Partner Services!!! ( " ) "operating guidelines" edges:? =! = send! "! states: Boolean annotations Partner if and only if: 1. subgraph 2. annotations fulfilled 9
10 Operating Guidelines!! Test case! ( " )! "! online shop terms of payment send confirmation invoice send login offer send order invoice other test cases 10
11 standard user premium user order confirmation order store order send login order! 100 " upgrade to premium user order < 100 " send terms of payment store order pre-notify shipment customer offer send invoice send invoice update user profile send order standard user premium user online shop terms of payment invoice confirmation order order store order send confirmation order! 100 " order < 100 " send invoice customer invoice upgrade to premium user store order pre-notify shipment send terms of payment send invoice update user profile 11
12 Reducing the Test Suite operating guideline characterizes all test cases some test cases are redundant criterion: annotations! redundant reduced test suite is still complete can be realized by a depth first search 12
13 !! ( " )!!!! ( " )!!!!! ( " )!!!!! ( " )! ( " ) "!! " "! 9 of 1151 test cases are sufficient!!!!! ( " )! ( " )! ( " )!!!!! 13
14 Tool Support specification abstract BPEL conform implementation executable BPEL, Java,.NET BPEL2oWFN Petri Net test Fiona owfn2bpel Operating Guidelines Fiona test case test case reduced test suite BPEL test suite BPEL2oWFN: translates BPEL process to formal model Fiona: calculates OG; generates and reduces test suite owfn2bpel: translates formal model to BPEL process 14
15 Take home points Systematic test suite generation Translation of test cases into abstract BPEL processes Manual addition of further implementation details Applications: compliance, substitutability, contracts, Possible reduction of test suite (99% of test cases) Future Work: finish Implementation of test suite generation Negative test cases Data Thank you! Any questions? Slides and tools available at technology.org/wesoa
16 References Wil van der Aalst and Niels Lohmann and Peter Massuthe and Christian Stahl and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. (Accepted for publication in November 2008) Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite State Services. In Proc. ICATPN 2007, volume 4546 of LNCS, pages , technology.org 16
Behavioral Service Substitution: Analysis and Synthesis
Behavioral Service Substitution: Analysis and Synthesis D I S S E R T A T I O N zur Erlangung des akademischen Grades Dr. rer. nat. im Fach Informatik eingereicht an der Mathematisch-Naturwissenschaftlichen
More informationInteraction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus
S BPM ONE 2010 the Subjectoriented BPM Conference http://www.aifb.kit.edu/web/s bpm one/2010 Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus Oliver Kopp, Lasse Engler,
More informationAnalysis Techniques for Service Models
Analysis Techniques for Service Models (Invited Paper) Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg Humboldt-Universität zu Berlin Institut für Informatik
More informationAn Operating Guideline Approach to the SOA
An Operating Guideline Approach to the SOA Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 D-10099 Berlin {massuthe, reisig,
More informationBusiness Process Model and Soundness
Instantaneous Soundness Checking of Industrial Business Process Models Dirk Fahland 1, Cédric Favre 2, Barbara Jobstmann 4, Jana Koehler 2, Niels Lohmann 3, Hagen Völzer 2, and Karsten Wolf 3 1 Humboldt-Universität
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 informationBPMN 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 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 information1. what is this talk about? Service-Oriented Architecture. The problem. Topic of this Talk. The solution
1. what is this talk about? the background Operating Guidelines for Oriented Architectures Wolfgang Reisig = id + control + interface Web : id = URI, interface = WSDL, Workflow : control = workflow Workflow
More informationRelational XES: Data Management for Process Mining
Relational XES: Data Management for Process Mining B.F. van Dongen and Sh. Shabani Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands. B.F.v.Dongen, S.Shabaninejad@tue.nl
More informationBudapest University of Technology and Economics Department of Measurement and Information Systems. Business Process Modeling
Budapest University of Technology and Economics Department of Measurement and Information Systems Business Process Modeling Process, business process Workflow: sequence of given steps executed in order
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 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 informationProcess Mining. ^J Springer. Discovery, Conformance and Enhancement of Business Processes. Wil M.R van der Aalst Q UNIVERS1TAT.
Wil M.R van der Aalst Process Mining Discovery, Conformance and Enhancement of Business Processes Q UNIVERS1TAT m LIECHTENSTEIN Bibliothek ^J Springer Contents 1 Introduction I 1.1 Data Explosion I 1.2
More informationEDIminer: A Toolset for Process Mining from EDI Messages
EDIminer: A Toolset for Process Mining from EDI Messages Robert Engel 1, R. P. Jagadeesh Chandra Bose 2, Christian Pichler 1, Marco Zapletal 1, and Hannes Werthner 1 1 Vienna University of Technology,
More informationEnd-To-End Invoice Processing Automation at Land O Lakes. Session #705. Natalie Hawley, Applications Developer
End-To-End Invoice Processing Automation at Land O Lakes Session #705 Natalie Hawley, Applications Developer Agenda 1) Opportunities for Improvement 2) Automation Options 3) Oracle s End-to-End Solution
More informationService Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations
Service Discovery from Observed Behavior While Guaranteeing Deadlock Freedom in Collaborations Richard Müller 1,2, Christian Stahl 2, Wil M.P. van der Aalst 2,3, and Michael Westergaard 2,3 1 Institut
More information08 BPMN/1. Software Technology 2. MSc in Communication Sciences 2009-10 Program in Technologies for Human Communication Davide Eynard
MSc in Communication Sciences 2009-10 Program in Technologies for Human Communication Davide Eynard Software Technology 2 08 BPMN/1 2 ntro Sequence of (three?) lessons on BPMN and technologies related
More informationNr.: Fakultät für Informatik Otto-von-Guericke-Universität Magdeburg
Nr.: Fakultät für Informatik Otto-von-Guericke-Universität Magdeburg Nr.: Fakultät für Informatik Otto-von-Guericke-Universität Magdeburg Impressum ( 5 TMG) Herausgeber: Otto-von-Guericke-Universität Magdeburg
More informationAnalyzing a TCP/IP-Protocol with Process Mining Techniques
Analyzing a TCP/IP-Protocol with Process Mining Techniques Christian Wakup 1 and Jörg Desel 2 1 rubecon information technologies GmbH, Germany 2 Fakultät für Mathematik und Informatik, FernUniversität
More informationRequirements engineering
Learning Unit 2 Requirements engineering Contents Introduction............................................... 21 2.1 Important concepts........................................ 21 2.1.1 Stakeholders and
More informationSupporting the BPM lifecycle with FileNet
Supporting the BPM lifecycle with FileNet Mariska Netjes Hajo A. Reijers Wil. M.P. van der Aalst Outline Introduction Evaluation approach Evaluation of FileNet Conclusions Business Process Management Supporting
More informationThe Need for a Choreography-aware Service Bus
Institute of Architecture of Application Systems The Need for a Choreography-aware Service Bus Oliver Kopp, Tammo van Lessen, Jörg Nitzsche Institute of Architecture of Application Systems, University
More informationA Mediation Information System to help to coordinate the response of a crisis
A Mediation Information System to help to coordinate the response of a crisis Sébastien Truptil, Frédérick Bénaben, Hervé Pingaud Centre de Génie Industriel Université de Toulouse - Mines Albi Mel : {truptil,benaben,pingaud}@mines-albi.fr
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 informationAnalyzing Web Service based Business Processes
Analyzing Web Service based Business Processes Axel Martens Humboldt-Universität zu Berlin Department of Computer Sciece Berlin (Adlershof), Germany martens@informatik.hu-berlin.de IBM T. J. Watson Research
More informationAn Automated Workflow System Geared Towards Consumer Goods and Services Companies
Proceedings of the 2014 International Conference on Industrial Engineering and Operations Management Bali, Indonesia, January 7 9, 2014 An Automated Workflow System Geared Towards Consumer Goods and Services
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 informationFunctional Validation of SAP Implementation
Functional Validation of SAP Implementation Efficiently produce and maintain a SAP test repository thru modeling of business processes and business rules Geoffrey Potoczny/Smartesting Professional Services
More informationInvGen: An Efficient Invariant Generator
InvGen: An Efficient Invariant Generator Ashutosh Gupta and Andrey Rybalchenko Max Planck Institute for Software Systems (MPI-SWS) Abstract. In this paper we present InvGen, an automatic linear arithmetic
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 informationData Centric BPM and the Emerging Case Management Standard: A Short Survey
IBM Research Data Centric BPM and the Emerging Case Management Standard: A Short Survey Mike Marin IBM Software Group Richard Hull, Roman Vaculin IBM T.J. Watson Research Center 3 September 2012 2012 IBM
More informationThe Role of Business Processes in Service Oriented Architectures
The Role of Business Processes in Service Oriented Architectures W.M.P. van der Aalst Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O.Box 513, NL-5600 MB, Eindhoven,
More informationModel Discovery from Motor Claim Process Using Process Mining Technique
International Journal of Scientific and Research Publications, Volume 3, Issue 1, January 2013 1 Model Discovery from Motor Claim Process Using Process Mining Technique P.V.Kumaraguru *, Dr.S.P.Rajagopalan
More informationProcess Mining Data Science in Action
Process Mining Data Science in Action Wil van der Aalst Scientific director of the DSC/e Dutch Data Science Summit, Eindhoven, 4-5-2014. Process Mining Data Science in Action https://www.coursera.org/course/procmin
More informationICS 52: Introduction to Software Engineering Fall 2001 ********************************************************** CONGO.COM
ICS 52: Introduction to Software Engineering Fall 2001 Instructor: Dr. Richard Taylor TA: Girish Suryanarayana Readers: Liang Jin & Volkan Aginler Assignment 1: Requirements Issued: Monday, 1 st October
More informationCommunication Diagrams
Communication Diagrams Massimo Felici Realizing Use cases in the Design Model 1 Slide 1: Realizing Use cases in the Design Model Use-case driven design is a key theme in a variety of software processes
More informationStructural Detection of Deadlocks in Business Process Models
Structural Detection of Deadlocks in Business Process Models Ahmed Awad and Frank Puhlmann Business Process Technology Group Hasso Plattner Institut University of Potsdam, Germany (ahmed.awad,frank.puhlmann)@hpi.uni-potsdam.de
More informationSTATE EMPLOYEES HEALTH INSURANCE PLAN
STATE EMPLOYEES HEALTH INSURANCE PLAN REPORT IN ACCORDANCE WITH ACT 2004 647 AND 2004 648 September 30, 2014 Table of Contents September 30, 2014 Independent Accountant s Review Report 1 Report in Accordance
More informationDeveloping a Service Oriented Process Management System for University Quality Assurance
Developing a Service Oriented Process Management System for University Quality Assurance PROF. DR. TAHER TAWFEK HAMZA Dept. of computer science, faculty of computer science and informatics, mansoura university,
More informationGeneration of a Set of Event Logs with Noise
Generation of a Set of Event Logs with Noise Ivan Shugurov International Laboratory of Process-Aware Information Systems National Research University Higher School of Economics 33 Kirpichnaya Str., Moscow,
More informationSafety Driven Design with UML and STPA M. Rejzek, S. Krauss, Ch. Hilbes. Fourth STAMP Workshop, March 23-26, 2015, MIT Boston
Safety Driven Design with UML and STPA M. Rejzek, S. Krauss, Ch. Hilbes System and Safety Engineering A typical situation: Safety Engineer System Engineer / Developer Safety Case Product 2 System and Safety
More informationTesting Introduction. IEEE Definitions
Testing Introduction IEEE Definitions Software testing is the process of analyzing a software item to detect the differences between existing and required conditions (that is, bugs) and to evaluate the
More informationMaximizing B2B Commerce with ERP Integration
Maximizing B2B Commerce with ERP Integration November 4, 2012 TODAY S HOST Donna Barnett Chief Technology Of4icer Alternative Technology Solutions November 4, 2012 Agenda Introduction Why Integrate? Integration
More informationhttp://www.guido.be/intranet/enqueteoverview/tabid/152/ctl/eresults...
1 van 70 20/03/2014 11:55 EnqueteDescription 2 van 70 20/03/2014 11:55 3 van 70 20/03/2014 11:55 4 van 70 20/03/2014 11:55 5 van 70 20/03/2014 11:55 6 van 70 20/03/2014 11:55 7 van 70 20/03/2014 11:55
More informationInstantiation Semantics for Process Models
Instantiation Semantics for Process Models Gero Decker 1 and Jan Mendling 2 1 Hasso-Plattner-Institute, University of Potsdam, Germany gero.decker@hpi.uni-potsdam.de 2 Queensland University of Technology,
More informationThe Usage of Performance Testing for Information Systems
2012 International Conference on Information and Computer Applications (ICICA 2012) IPCSIT vol. 24 (2012) (2012) IACSIT Press, Singapore The Usage of Performance Testing for Information Systems Pavol Tanuska,
More informationERP Course: Production and Materials Management Reading: Chapter 6 from Mary Sumner
ERP Course: Production and Materials Management Reading: Chapter 6 from Mary Sumner Peter Dolog dolog [at] cs [dot] aau [dot] dk 5.2.03 Information Systems September 16, 2008 2 Sales Finished and packaged
More informationICH Q10 and Change Management: Enabling Quality Improvement
ICH Q10 and Change Management: Enabling Quality Improvement Bernadette Doyle PhD Vice President and Head of Global Technical Group Global Manufacturing and Supply GlaxoSmithKline Overview Drivers for Change
More informationOrder Processing. www.gtp-icommerce.com 1
Order Processing The Order Process Explained Accessing New Orders The Order Page Printing Orders Taking Payments from Credit Card Orders Credit Card Risks Taking Payments from Direct Deposit Taking Payments
More informationBPMN by example. Bizagi Suite. Copyright 2014 Bizagi
BPMN by example Bizagi Suite Recruitment and Selection 1 Table of Contents Scope... 2 BPMN 2.0 Business Process Modeling Notation... 2 Why Is It Important To Model With Bpmn?... 2 Introduction to BPMN...
More informationModeling Guidelines Manual
Modeling Guidelines Manual [Insert company name here] July 2014 Author: John Doe john.doe@johnydoe.com Page 1 of 22 Table of Contents 1. Introduction... 3 2. Business Process Management (BPM)... 4 2.1.
More informationLeveraging Integrated Tools for Model-Based Analysis of Service Compositions
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions Howard Foster and Philip Mayer London Software Systems, Imperial College London London, United Kingdom Ludwig-Maximilians-Universität,
More informationTransformation of BPMN models for Behaviour Analysis
Transformation of BPMN models for Behaviour Analysis Ivo Raedts 1, Marija Petković 1, Yaroslav S. Usenko 1, Jan Martijn van der Werf 1, Jan Friso Groote 1, Lou Somers 1 1 LaQuSo, Laboratory for Quality
More informationTowards a generic Intelligent Monitoring Platform for business processes.
Towards a generic Intelligent Monitoring Platform for business processes. Stelios Kapetanakis, Miltos Petridis, Jixin Ma and Brian Knight School of Computing and Mathematical Sciences, University of Greenwich,
More informationEvaluation of Students' Modeling and Programming Skills
Evaluation of Students' Modeling and Programming Skills Birgit Demuth, Sebastian Götz, Harry Sneed, and Uwe Schmidt Technische Universität Dresden Faculty of Computer Science Abstract. In winter semester
More informationChapter 13: Program Development and Programming Languages
Understanding Computers Today and Tomorrow 12 th Edition Chapter 13: Program Development and Programming Languages Learning Objectives Understand the differences between structured programming, object-oriented
More informationS CHEDULER U SER M ANUAL
S CHEDULER U SER M ANUAL WP2 Document Filename: Work package: Partner(s): Lead Partner: KWF-WP2-D2-UIBK-v1.0-.doc WP2 UIBK UIBK Document classification: PUBLIC Abstract: This document is a user manual
More informationAcronis Backup & Recovery Online. Initial Seeding Step-by-Step Guide
Acronis Backup & Recovery Online Initial Seeding Step-by-Step Guide Table of contents 1 Introduction...3 2 Prerequisites...3 3 What is account management Web page?...4 4 Sequence of actions...4 4.1 Register
More informationConformance Checking of Interacting Processes With Overlapping Instances
Conformance Checking of Interacting Processes With Overlapping Instances Dirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, and Wil M.P. van der Aalst Eindhoven University of Technology, The
More informationAn Open Framework for Reverse Engineering Graph Data Visualization. Alexandru C. Telea Eindhoven University of Technology The Netherlands.
An Open Framework for Reverse Engineering Graph Data Visualization Alexandru C. Telea Eindhoven University of Technology The Netherlands Overview Reverse engineering (RE) overview Limitations of current
More informationFeature. Applications of Business Process Analytics and Mining for Internal Control. World
Feature Filip Caron is a doctoral researcher in the Department of Decision Sciences and Information Management, Information Systems Group, at the Katholieke Universiteit Leuven (Flanders, Belgium). Jan
More informationSafeguard Ecommerce Integration / API
Safeguard Ecommerce Integration / API Product Manual Version 3 Revision 1.11 Table of Contents 1. INTRODUCTION... 4 1.1 Available commands... 4 2. HOW THE ADMINISTRATION SYSTEM IS EXPECTED TO BE USED OPERATIONALLY...
More informationISO 14001 Definitions
ISO 14001 Definitions ISO 14001 DEFINITIONS DF-001 The definition section of the ISO 14001 standard provides the foundation of the entire standard. They need to be understood is the standard is to be implemented.
More informationMANUFACTURING EXECUTION SYSTEMS VS. ERP/MRP
www.globalsmt.net %*(*5 "- &% *5*0/ The Global Assembly Journal for SMT and Advanced Packaging Professionals Volume 11 Number 9 September 2011 ISSN 1474-0893 MANUFACTURING EXECUTION SYSTEMS VS. ERP/MRP
More informationBusiness process measurement - data mining. enn@cc.ttu.ee
Business process measurement - data mining. enn@cc.ttu.ee Business process measurement Balanced scorecard Process mining - ProM Äriprotsessi konteksti perspektiiv Clear & measurable goals Effective solutions
More informationPRODUCT DESCRIPTIONS AND METRICS
PRODUCT DESCRIPTIONS AND METRICS Adobe PDM - AEM 5.6.1 Cloud Hosted, Managed Services (2013v3) The Products and Services described in this PDM are subject to the applicable Sales Order, the terms of this
More informationISO 9001:2000 AUDIT CHECKLIST
ISO 9001:2000 AUDIT CHECKLIST No. Question Proc. Ref. Comments 4 Quality Management System 4.1 General Requirements 1 Has the organization established, documented, implemented and maintained a quality
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 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 informationTechnical Manufacturing Corporation (TMC) Quality Manual
Technical Manufacturing Corporation (TMC) Quality Manual 15 Centennial Drive Peabody MA 01960 Revision: 19 Pages: 2 of 15 Date Issued: 03/13/2013 1. Table of Contents 1. TABLE OF CONTENTS... 2 2. ABOUT
More informationInformatique Fondamentale IMA S8
Informatique Fondamentale IMA S8 Cours 1 - Intro + schedule + finite state machines Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@polytech-lille.fr Université Lille 1 - Polytech Lille
More informationBusiness Process Configuration in The Cloud: How to Support and Analyze Multi-Tenant Processes?
Business Process Configuration in The Cloud: How to Support and Analyze Multi-Tenant Processes? W.M.P. van der Aalst Department of Mathematics and Computer Science, Eindhoven University of Technology Eindhoven,
More informationDr. Jana Koehler IBM Zurich Research Laboratory
Precise Modeling of Business Processes with the Business Process Modeling Notation BPMN 2.0 Dr. Jana Koehler IBM Zurich Research Laboratory ZRL BIT at a Glance Computer Science at ZRL: Security/Cryptography
More informationBusiness Intelligence and Process Modelling
Business Intelligence and Process Modelling F.W. Takes Universiteit Leiden Lecture 7: Network Analytics & Process Modelling Introduction BIPM Lecture 7: Network Analytics & Process Modelling Introduction
More informationWorkflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment
Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment Peter Y. Wu wu@rmu.edu Department of Computer & Information Systems Robert Morris University
More informationjbpm Explained with Simple Use Cases
jbpm Explained with Simple Use Cases Tom Baeyens Founder and lead of jbpm, JBoss Sept 2nd 2009 1 Agenda Business Process Management jbpm Introduction Developer Value Business Value Train ticket system
More informationQUALITY ASSURANCE MANUAL JPM OF MISSISSIPPI, INC.
QUALITY ASSURANCE MANUAL JPM OF MISSISSIPPI, INC. Hattiesburg, MS Revision E 01/19/11 Revised to ISO 9001:2008 on July 9, 2009 JPM OF MISSISSIPPI, INC. MANAGEMENT QUALITY POLICY It is the goal of JPM of
More informationFrom Business to Process Models a Chaining Methodology
BUSITAL'06 211 From Business to Process Models a Chaining Methodology Birger Andersson 1, Maria Bergholtz 1, Bertrand Grégoire 2, Paul Johannesson 1, Michael Schmitt 2, Jelena Zdravkovic 1 1 Department
More informationDiscovering Stochastic Petri Nets with Arbitrary Delay Distributions From Event Logs
Discovering Stochastic Petri Nets with Arbitrary Delay Distributions From Event Logs Andreas Rogge-Solti 1 and Wil M.P. van der Aalst 2 and Mathias Weske 1 1 Business Process Technology Group, Hasso Plattner
More informationBusiness Process Modelling Notation A tutorial
Business Process Modelling Notation A tutorial Sam Mancarella Chief Technology Officer Sparx Systems sam.mancarella@sparxsystems.com OMG SOA in Healthcare January 14, 2011 Tutorial Objectives This tutorial
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 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 informationINTRODUCTION TO BUSINESS PROCESS MODELING NOTATION BPMN 1.2 AND BPMN 2.0
INTRODUCTION TO BUSINESS PROCESS MODELING NOTATION BPMN 1.2 AND BPMN 2.0 Email: {goliva,gerosa}@ime.usp.br / Twitter: @golivax Agenda 2 Introduction to Business Processes BPMN 1.2 Introduction Elements
More informationA Logic Approach for LTL System Modification
A Logic Approach for LTL System Modification Yulin Ding and Yan Zhang School of Computing & Information Technology University of Western Sydney Kingswood, N.S.W. 1797, Australia email: {yding,yan}@cit.uws.edu.au
More informatione-authentication guidelines for esign- Online Electronic Signature Service
e-authentication guidelines for esign- Online Electronic Signature Service Version 1.0 June 2015 Controller of Certifying Authorities Department of Electronics and Information Technology Ministry of Communications
More informationChapter 13 Configuration Management
Object-Oriented Software Engineering Using UML, Patterns, and Java Chapter 13 Configuration Management Outline of the Lecture Purpose of Software Configuration Management (SCM)! Motivation: Why software
More informationAlice. Software as a Service(SaaS) Delivery Platform. innovation is simplicity
Ekartha, Inc. 63 Cutter Mill Road Great Neck, N.Y. 11021 Tel.: (516) 773-3533 Ekartha India Pvt. Ltd. 814/B Law College Road Demech House, 4th Floor Erandwane, Pune, India Email: info@ekartha.com Web:
More informationThe Association of System Performance Professionals
The Association of System Performance Professionals The Computer Measurement Group, commonly called CMG, is a not for profit, worldwide organization of data processing professionals committed to the measurement
More informationSix Sigma Performance Analysis for SAN. Dan Iacono, HP
Six Sigma Performance Analysis for SAN Dan Iacono, HP SNIA Legal Notice The material contained in this tutorial is copyrighted by the SNIA. Member companies and individuals may use this material in presentations
More informationBPMN for OAGIS Scenarios
BPMN for OAGIS Scenarios Denis Gagné www.businessprocessincubator.com Chair BPSWG at WfMC XPDL Co-Editor at WfMC BPMN 2.0 FTF Member at OMG BPMN 2.1 RTF Member at OMG CMMN Submission at OMG Processes A
More informationModel Simulation in Rational Software Architect: Business Process Simulation
Model Simulation in Rational Software Architect: Business Process Simulation Mattias Mohlin Senior Software Architect IBM The BPMN (Business Process Model and Notation) is the industry standard notation
More informationQMS Manual 2350 Helen Street, N. St. Paul, MN 55109 Page 1 of 5. Quality Management System Manual
2350 Helen Street, N. St. Paul, MN 55109 Page 1 of 5 AETRIUM Quality Management System Manual 2350 Helen Street, N. St. Paul, MN 55109 Page 2 of 5 Introduction It is a strategic decision by Aetrium management
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 informationData-Aware Service Choreographies through Transparent Data Exchange
Institute of Architecture of Application Systems Data-Aware Service Choreographies through Transparent Data Exchange Michael Hahn, Dimka Karastoyanova, and Frank Leymann Institute of Architecture of Application
More informationOnSite 7.0 Setting Up A Merchant Account
OnSite 7.0 Setting Up A Merchant Account ShopWorks 1655 Palm Beach Lakes Blvd. Ste 640 West Palm Beach, FL 33401 Ph: 561-491-6000 Fx: 561-491-6001 Rev. 01 Last Updated: 3/12/09 Table of Contents Introduction...
More informationAGENDA: BUSINESS PROCESS MANAGEMENT
AGENDA: BUSINESS PROCESS MANAGEMENT o. Univ. Prof. Prof h.c. Dr. Dimitris Karagiannis Dr. Dr. Mag. Monday, April 8, 2013 Start at 9:30 on first day 9:30 10:00 Introduction to Course Agenda Goal/Objective
More informationComputing Degree of Parallelism for BPMN Processes
Computing Degree of Parallelism for BPMN Processes Yutian Sun and Jianwen Su Department of Computer Science University of California, Santa Barbara {sun, su}@cs.ucsb.edu Abstract. For sequential processes
More informationGetting Started with StoreGrid Cloud
Getting Started with StoreGrid Cloud This document describes the steps to quickly sign up and start backing up your data to StoreGrid Cloud. I. Signing Up 1. Go to http://storegridcloud.vembu.com and select
More informationFilling the Gap between Business Process Modeling and Behavior Driven Development
Filling the Gap between Business Process Modeling and Behavior Driven Development Rogerio Atem de Carvalho Rodrigo Soares Manhães Fernando Luis de Carvalho e Silva Nucleo de Pesquisa em Sistemas de Informação
More information