Engineering and Integrating Business Processes Rik Eshuis.

Slides:



Advertisements
Similar presentations
2/11/2014 8:44 AM The CDA Release 3 Specification Stack September 2009 HL7 Services-Aware Enterprise Architecture Framework (SAEAF)
Advertisements

Page 1 Copyright © 2010 Data Access Technologies, Inc. Model Driven Solutions May 2009 Cory Casanave Architecture of Services SOA for E-Government Conference.
Web Service Composition Prepared by Robert Ma February 5, 2007.
C. Compositional Design and Verification of Component-Based Information Systems Jan Martijn van der Werf.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 31 Slide 1 Service-centric Software Engineering 1.
1 Intention of slide set Inform WSMOLX of what is planned for Choreography & Orhestration in DIP CONTENTS Terminology Clarification / what will be described.
ARCH-05 Application Prophecy UML 101 Peter Varhol Principal Product Manager.
Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal.
1 FLACOS Malta October 2008 Service Oriented Architectures: The new Software Paradigm W. Reisig Humboldt-Universität zu Berlin Theory of Programming.
Corporate Context: A SOA & BPM Alliance Via Business Data Management Amir Bahmanyari Architect.
Transparent Robustness in Service Aggregates Onyeka Ezenwoye School of Computing and Information Sciences Florida International University May 2006.
Programmierung verteilter Systeme Lab Institut für Informatik Universität Augsburg Universitätsstraße 14, Augsburg Tel.: (+49) 821/ , Fax:
Enabling Technologies for Flexible Formation of Business Chains R. Seguel, R. Eshuis, P. Grefen IS Group / School of Industrial Engineering Eindhoven University.
Introduction To System Analysis and Design
© 2010 University of California, Irvine – André van der Hoek1June 10, 2015 – 06:18:06 Informatics 121 Software Design I Lecture 10 André van der Hoek &
Lecture 12: Chapter 22 Topics: UML (Contd.) –Relationship Structural Behavioral –Diagram Structural Behavioral.
L4-1-S1 UML Overview © M.E. Fayad SJSU -- CmpE Software Architectures Dr. M.E. Fayad, Professor Computer Engineering Department, Room #283I.
Aligning Business Processes to SOA B. Ramamurthy 6/16/2015Page 1.
Supporting Adaptive Web-Service Orchestration with an Agent Conversation Framework Warren Blanchet, Eleni Stroulia, Renée Elio University of Alberta.
Business Process Orchestration
Engineering the Presentation Layer of Adaptable Web Information Systems Zoltán Fiala 1, Flavius Frasincar 2, Michael Hinz 1, Geert-Jan Houben 2, Peter.
Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.
TRAVEL RESERVATION SYSTEM USING WEB SERVICES COMPOSITION LANGUAGE
1 Ivan Lanese Computer Science Department University of Bologna Italy Concurrent and located synchronizations in π-calculus.
Business Process Modeling Workflow Patterns Ang Chen July 8, 2005.
(Re)Designing Software Production Architectures Walt Scacchi ATRIUM Laboratory and USC Center for Software Engineering 10.
Community Manager A Dynamic Collaboration Solution on Heterogeneous Environment Hyeonsook Kim  2006 CUS. All rights reserved.
GMD German National Research Center for Information Technology Innovation through Research Jörg M. Haake Applying Collaborative Open Hypermedia.
Construction of efficient PDP scheme for Distributed Cloud Storage. By Manognya Reddy Kondam.
Špindlerův Mlýn, Czech Republic, SOFSEM Semantically-aided Data-aware Service Workflow Composition Ondrej Habala, Marek Paralič,
SOA, BPM, BPEL, jBPM.
THE NEXT STEP IN WEB SERVICES By Francisco Curbera,… Memtimin MAHMUT 2012.
The Design Discipline.
Refinement of the One GSA Day One January 27, 2005.
CSE301 University of Sunderland Harry R Erwin, PhD
A Survey on Service Composition Languages and Models Antonio Bucchiarone Antonio Bucchiarone and Stefania Gnesi Istituto di Scienza e Tecnologie dell’Informazione.
ICT for Enterprise Networking ICT for Enterprise Networking WP Opportunities in the 5th Call Alain JAUME IST Programme. DG INFSO/ D5.
Compositional IS Development Framework Application Domain Application Domain Pre-existing components, legacy systems Extended for CD (ontologies) OAD Methods.
Model Transformations for Business Process Analysis and Execution Marlon Dumas University of Tartu.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 7 Slide 1 System models l Abstract descriptions of systems whose requirements are being.
ECOO Environments for COOperation Inria Lorraine.
SAMANVITHA RAMAYANAM 18 TH FEBRUARY 2010 CPE 691 LAYERED APPLICATION.
Software Engineering Research paper presentation Ali Ahmad Formal Approaches to Software Testing Hierarchal GUI Test Case Generation Using Automated Planning.
WSMX Execution Semantics Executable Software Specification Eyal Oren DERI
© DATAMAT S.p.A. – Giuseppe Avellino, Stefano Beco, Barbara Cantalupo, Andrea Cavallini A Semantic Workflow Authoring Tool for Programming Grids.
DMDA A Dynamic Service Architecture for Scientific Computing Jesper Andersson Software Technology Group Växjö University.
IBM Software Group ® Overview of SA and RSA Integration John Jessup June 1, 2012 Slides from Kevin Cornell December 2008 Have been reused in this presentation.
Systems Analysis and Design in a Changing World, 3rd Edition
Experiences in enhancing existing BPM Tools with BPEL Import and Export Jan MendlingVienna University of Economics Kristian Bisgaard LassenUniversity of.
Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,
LO-6: Demonstration Scenario Lecturer: Ricardo Gonçalves.
Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.
Integrating UML and Petri Nets Problem with Current Software Engineering Methodology Stochastic Petri nets and their useful properties Translating UML.
Object-Oriented Software Engineering using Java, Patterns &UML. Presented by: E.S. Mbokane Department of System Development Faculty of ICT Tshwane University.
1 CMPT 275 High Level Design Phase Modularization.
CINCO Collaborative and interoperable computing Alex Norta, PhD. University of Helsinki Petrozavodsk, May 21 st, 2008 An integrated reference architectures.
Introduction to Semantic Web Service Architecture ► The vision of the Semantic Web ► Ontologies as the basic building block ► Semantic Web Service Architecture.
® IBM Software Group © 2004 IBM Corporation Developing an SOA with RUP and UML 2.0 Giles Davies.
STASIS Open WorkshopPage 1 Modelling Interoperability: The Modelling Framework of BREIN STASIS Open Workshop BOC Asset Management.
Course: COMS-E6125 Professor: Gail E. Kaiser Student: Shanghao Li (sl2967)
Qusay H. Mahmoud CIS* CIS* Service-Oriented Computing Qusay H. Mahmoud, Ph.D.
An Overview of Scientific Workflows: Domains & Applications Laboratoire Lorrain de Recherche en Informatique et ses Applications Presented by Khaled Gaaloul.
University of Paderborn - GermanyPresenter: Johannes Magenheim Developing the AGORA Road Map – 9 th WCCE July 27 th – 31 st, 2009 Bento Gonçalves, Brazil.
QUERI Robert L Jesse, MD, PhD Chief Consultant Medical Surgical Service.
Formal Verification. Background Information Formal verification methods based on theorem proving techniques and model­checking –To prove the absence of.
U.S. General Services Administration George Thomas, GSA OCIO Chief Architect Line of Sight = Reuse.
Utility Evaluation of Tools for Collaborative Development
Single Point of Entry (SPOE)
Service-centric Software Engineering
Service-centric Software Engineering 1
Presentation transcript:

Engineering and Integrating Business Processes Rik Eshuis

Keywords....

Research topics Process Integration Process Composition Process Adaptation Process Views Process Engineering Process Transformations Process Verification

Motivation process integration Organizations collaborate more and more in networks Networks are agile and process-oriented Each network partner has business process Partners exchange data, but also process status

Context Business partners in agile networks need to integrate their business processes −supply chains, outsourcing,...  Process Composition: how can partner business processes be coordinated?  Process Adaptation: how can mismatches between partner processes be resolved?  Process Views: how can partners collaborate, yet hide internal business details from each other?

Process Composition How to combine different business processes? Analyse data flow dependencies between processes Convert dependencies into block-structured control flow (BPEL) Used in IST CrossWork project

Example R. Eshuis and P. Grefen. Composing Services into Structured Processes. International Journal of Cooperative Information Systems, 18(2): , 2009

Current state Solution for non-interacting processes −each process aggregates into web service Solution for interacting processes under development Focus on control flow Future topics: full automation, data flow, dynamic coordination,...

Process Adaptation (PhD project Ricardo) Resolve behavioural incompatibilities between interacting business processes Minimal Adaptor R. Seguel, R. Eshuis and P. Grefen. Generating Minimal Protocol Adaptors for Loosely Coupled Services. In Proc. IEEE ICWS 2010, To appear

Current state Solution for interacting processes −asynchronous/synchronous communication −application: supply/demain chain management Focus on efficiency (minimal adaptors) Future topics: adaptor selection, deployment of adaptors,...

Process Views View is public window on private business process Maintain balance between interest of owner and client

Example process view

Constructing process views R. Eshuis and P. Grefen. Constructing Customized Process Views. Data and Knowledge Engineering, 64(2): , 2008.

Current state Process views for service outsourcing (with Alex Norta) Future work: non-block-structured processes, interacting processes, incorporating data (ontologies), negotiation,...

Process engineering How to construct dependable process models?  Process transformation  Process verification

Process Transformation Mapping from Petri nets to statecharts Efficient yet correct −Structure-preserving −Behaviour-preserving Realized as model transformation and Java program Application: net-like models (UML, BPMN)

Example ???

Another example AND/OR tree

Preserve syntactic structure place  BASIC node transition  hyperedge no counterpart of statechart AND/OR tree Problems −How to ensure proper nesting of AND nodes? −How to determine border of AND/OR nodes? Translation issues R. Eshuis. Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. In A. Cavalcanti, D. Dams, editors. Proc. Formal Methods 2009, Lecture Notes in Computer Science 5850, pages , Springer, 2009

Current state Model-driven + Java implementation Future work: extend with data, apply to UML,...

Process Verification Analyse Business Process Models Focus on diagnosis of errors and giving useful feedback R. Eshuis and A. Kumar. An integer programming based approach for verification and diagnosis of workflows. Data & Knowledge Engineering 69(8): , 2010

Conclusion Research approach: −model driven, −design oriented, −formal −engineering Research topics: −cross-organizational BPM −engineering BPM models

Questions?