Modelling (and Analyzing) Interorganizational Communication. Jan Martijn van der Werf
|
|
- Eustacia Terry
- 5 years ago
- Views:
Transcription
1 Modelling (and Analyzing) Interorganizational Communication Jan Martijn van der Werf 1
2 2 Interaction
3 Interaction in networks Bob Charley Alice Dave 3
4 Bob Can you Charley, you do Interaction in networks Live organize music a Bob, here s the drinks, Alice, of Uh, I don t party course! for Of course! your party! can you take know! me? care of the Bob, live Alice, live music? music, DJ music or it is! CDs? Charley Settled! Here are the drinks! Dave, can Live Music music, is you get me a DJ, done! or just some CDs? musicians? Alice Dave 4
5 Network of systems Communication! 5
6 This lecture: Service Oriented Architectures Modeling interactions Protocols: communication between systems 6
7 7 Service Oriented Architectures
8 Two approaches: design time vs. runtime Service Oriented Computing! Design time: all systems known 8
9 Two approaches: design time vs. runtime What if you do not know the systems during design time? 9
10 Service Oriented Architecture: find your partners! Registry 2. Query 1. Register Client 3. Contact details 4. Exchange Provider Provider Provider 10
11 Service Oriented Architecture, step 1: registration Registry What if you do not know the systems during design time? 11
12 I need someone who can organize a party according Service to my Oriented servicearchitecture, step 2: communicate! Can you organize my party? I need a musician! Registry Try Dave. These are his contact details! What if you do not know the systems during design time? 12 Try JM. These are his contact details!
13 How do systems communicate? messages: SOAP Simple Object Access Protocol Service: WSDL 13 Web Service Description Language
14 How do systems communicate? messages: SOAP Simple Object Access Protocol Order of messages: WS-BPEL Service: WSDL Web Service Business Process Execution Language 14 Web Service Description Language
15 How do systems communicate? Order of messages: - Orchestration - Choreography 15
16 Orchestration vs. Choreography Orchestration Local component that coordinates the service interactions Choreography Global view on the interactions of services S1 S2 S1 S2 Orchestrator 16 S3 S3
17 Aanbiedings brief Start Slecteren gegevens kandidaat huurder Selecteren woning Afspraak maken Huur contract Bijwerken gegevens Versturen Corresponden tie Afspraak huurder Contract Gegevens wijzigen Definitief contract Einde Business Processes WSDL WSDL WSDL Enterprise Service Bus e*gate TM Adapter Adapter Comm. Adapter Integration Web CRM Housing B2B Backend systems (COTS) Services 17
18 Sender Choreography languages Message between two parties Receiver 18
19 Every choreography possible? Does an implementation exist that exactly follows this choreography? 19
20 20 Make a Petri net of it!
21 21 Intermezzo: Petri nets
22 Behavioral modeling: Petri nets State Place Token Transition Rules of the Token game : ( interleaving semantics ) State: all places with the number of tokens in each place Transition is enabled All input places contain at least 1 token Transition fires From all input places one token is consumed In all output places one token is produced 22
23 Petri nets & state diagrams p1 p1 a p2 a p3 b p2, p3 c b c p4, p3 p2, p5 d c b e p4 p5 p6, p3 p4, p5 p2, p7 d e c d e p6, p5 p4, p7 b p6 f p7 e p6, p7 f d 23 p8 p8
24 Firing of transitions All input places always have a token (empty set, so always true!) p1 t Always enabled! p1 p2 t 2p1, p2 t 3p1,2p2 t Infinite sequence Infinite Automata! 24
25 25 Back to our choreographies!
26 Every choreography possible? Does an implementation exist that exactly follows this choreography? 26
27 Make a Petri net of it! Realizable? 27
28 Improved version! Realizable? 28
29 29 How about verification of those models?
30 30 How about verification?
31 How about verification? Suppose each system has 2 5 states. How large is the composed state space? O(2 5 * 2 5 * 2 5 * 2 5 * 2 5 * 2 5 ) = O ( )=O(2 30 ) 31
32 Communication between systems 32 Correct: back to initial marking, and all other places empty
33 Let s start simple: consider two systems Correct? No! Correct? Yes! 33
34 34 How about three systems?
35 35 How about three systems?
36 36 How about three systems?
37 37 How about three systems?
38 Criteria for asynchronous communication between systems A A B C Behavior of A is not known by B+C A does not know whether it communicates with B or some network Hence: any sequence A could follow, B+C should not destroy 38
39 Criteria for asynchronous communication between systems A A B C Behavior of A is not known by B+C A does not know whether it communicates with B or some network Hence: any sequence A could follow, B+C should not destroy 39
40 40 Safety not sufficient
41 Verification is hard and expensive! How do you ensure correctness? Design rules! 41
42 Verification vs. Design rules Verification: Go and do as you like, checking is only afterwards Correctness by design: Follow my commands, and I ensure you it will be correct! vs. 42
43 Designing protocols: Communication between systems 43
44 System Visualize communication Service Internal Dependency External Dependency 44
45 Internal dependencies: feature nets Types of dependencies Exclusion / Choice Parallellism Loops State Diagrams? No parallellism! Petri nets? Service is initially modelled as a transition Places denote dependencies We did not model any service yet! Only dependencies! 45
46 When is an internal specification correct? 46 Every service should always eventually be enabled?
47 Internal dependencies as a Petri net What is the initial state? Recurring? One timer? Transitions Internal ( silent ) step Service 47
48 Modeling guidelines: ensuring correctness Subclasses of Petri nets only! State-machines All transitions exactly 1 input and 1 output place Same expressive power as State Diagrams No parallellism, only choices 48
49 Modeling guidelines: allowing for conccurrency Jackson nets Refinement rules Start with a net that is known to be correct Refine with strict rules Extended Jackson nets Jackson rules One additional rule, the workflow extension rule 49
50 Jackson nets (1/2) Rule 1: duplicate places Rule 2: duplicate transitions 50
51 Jackson nets (2) Rule 3: extending a place with a transition Rule 4: extending a transition with a place Rule 5: extending a place with a loop 51
52 Extended Jackson nets Suppose we have a correct workflow (e.g. created by Jackson): Correct: 1-bounded (each place always at most 1 token) weak termination Suppose we have another workflow that is correct Then we may replace the old workflow subnet with the new one 52
53 How about the interactions? Protocols! 53
54 Petri nets: how to design a protocol? 1. Start with a single side: what messages sent and received? In which order? 54
55 Petri nets: how to design a protocol? A B A 1. Start with a single side: what messages sent and received? In which order? 2. Who sends which message? Asign sides to transitions B A B B A A A 55
56 Petri nets: how to design a protocol? A B 1. Start with a single side: A B A B A what messages sent and received? In which order? 2. Who sends which message? Asign sides to transitions 3. Copy the net B B A A A 56
57 Petri nets: how to design a protocol? A A B A B B A B B 1. Start with a single side: what messages sent and received? In which order? 2. Who sends which message? Asign sides to transitions 3. Copy the net 4. Connect the transitions via a message place: sender produces, receiver consumes A A A Design rules: 1. Each choice by one side only! 2. In loops, both sides should sent at least one message 57
58 Putting the pieces together Internal specifications Protocols 58
59 59 Putting the pieces together
60 60 Let s do an example: a simple webshop
61 61 Let s do an example: a simple webshop
62 Ensure correctness? Currently very restrictive: Two systems only interact via one service Acyclic high level picture! Rephrased: Current research!!! 62
63 63 Connection to software architecture: modeling
64 Connection to software architecture: architecture mining Software artefacts Intended architecture Realization 0 Quality Attributes Deployment 0 Component Runtime Analyzer Metrics Architecture Improvement Recommender Software Operation Data Architecture Conformance Deviations Runtime environment Evolution Analyzer Changes Architecture Reconstruction 0 Realized architecture Quality Attributes 64
65 How to connect? Current research! Werf, J.M.E.M. van der (2014). Compositional Verification of Asynchonously Communicating Systems. In: Formal Aspects of Component Software (LNCS, Vol. 8997, pp ), Berlin: Springer Werf, J.M.E.M. van der & Kaats, E. (2015). Discovery of Functional Architectures From Event Logs. In: International Workshop on Petri Nets and Software Engineering (WS-CEUR, Vol: 1372, pp ) Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der (2013). When can we trust a third party?. In: Transactions on Petri Nets and Other Models of Concurrency VIII (pp ). Berlin: Springer. Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der (2013). Refinement of synchronizable places with multi-workflow nets. Fundamenta Informaticae, 122(1-2), D. Bera, K.M. van Hee, and J.M.E.M. van der Werf (2012). Designing weakly terminating ROS systems. In: Applications and Theory of Petri Nets (LNCS, Vol. 7347, pp ), Berlin: Springer. 65
Orchestration vs Choreography
Orchestration vs Choreography u In many cases, there is no unique point of invocation for the services n In these cases, we say that the system is a choreography n Let starts with an example: w Consider
More informationModeling Interactions of Web Software
Modeling Interactions of Web Software Tevfik Bultan Department of Computer Science University of California Santa Barbara, CA 9106 bultan@cs.ucsb.edu Abstract Modeling interactions among software components
More informationA Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus
A Planning-Based Approach for the Automated Configuration of the Enterprise Service Bus Zhen Liu, Anand Ranganathan, and Anton Riabov IBM T.J. Watson Research Center {zhenl,arangana,riabov}@us.ibm.com
More informationModeling Choreographies: BPMN 2.0 versus BPEL-based Approaches
Institute of Architecture of Application Systems Modeling Choreographies: BPMN 2.0 versus BPEL-based Approaches Oliver Kopp, Frank Leymann, Sebastian Wagner Institute of Architecture of Application Systems,
More informationBPEL Research. Tuomas Piispanen Comarch
BPEL Research Tuomas Piispanen 8.8.2006 Comarch Presentation Outline SOA and Web Services Web Services Composition BPEL as WS Composition Language Best BPEL products and demo What is a service? A unit
More informationSemantic Web. Semantic Web Services. Morteza Amini. Sharif University of Technology Fall 94-95
ه عا ی Semantic Web Semantic Web Services Morteza Amini Sharif University of Technology Fall 94-95 Outline Semantic Web Services Basics Challenges in Web Services Semantics in Web Services Web Service
More informationFiona A Tool to Analyze Interacting Open Nets
Fiona A Tool to Analyze Interacting Open Nets Peter Massuthe and Daniela Weinberg Humboldt Universität zu Berlin, Institut für Informatik Unter den Linden 6, 10099 Berlin, Germany {massuthe,weinberg}@informatik.hu-berlin.de
More informationBusiness Process Modelling
CS565 - Business Process & Workflow Management Systems Business Process Modelling CS 565 - Lecture 2 20/2/17 1 Business Process Lifecycle Enactment: Operation Monitoring Maintenance Evaluation: Process
More informationManaging test suites for services
Managing test suites for services Kathrin Kaschner Universität Rostock, Institut für Informatik, 18051 Rostock, Germany kathrin.kaschner@uni-rostock.de Abstract. When developing an existing service further,
More informationLezione 14 Model Transformations for BP Analysis and Execution
Lezione 14 Model Transformations for BP Analysis and Execution Ingegneria dei Processi Aziendali Modulo 1 - Servizi Web Unità didattica 1 Protocolli Web Ernesto Damiani 1 Università di Milano 1 Business
More informationSemantic Web. Semantic Web Services. Morteza Amini. Sharif University of Technology Spring 90-91
بسمه تعالی Semantic Web Semantic Web Services Morteza Amini Sharif University of Technology Spring 90-91 Outline Semantic Web Services Basics Challenges in Web Services Semantics in Web Services Web Service
More informationPetri-net-based Workflow Management Software
Petri-net-based Workflow Management Software W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,
More informationA Formal Model for Web-Service Composition
Simon Foster Department of Computer Science University of Sheffield http://www.dcs.shef.ac.uk/~simonf BCTCS 2006 Outline 1 Composing Web-Services Current Technologies 2 3 4 Outline
More informationMonitoring Choreographed Services
Monitoring Choreographed Services L. Ardissono and R. Furnari and A. Goy and G. Petrone and M. Segnan Dipartimento di Informatica, Università di Torino Corso Svizzera 185, 10149 Torino, Italy Abstract.
More informationSemantic Web Services and Cloud Platforms
Semantic Web Services and Cloud Platforms Lecture 10: Mobile Applications and Web Services module Payam Barnaghi Institute for Communication Systems (ICS) Faculty of Engineering and Physical Sciences University
More informationSynthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures
Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures Dietmar Schreiner 1,2 and Karl M. Göschka 1 1 Vienna University of Technology Institute of Information
More informationOracle Developer Day
Oracle Developer Day Sponsored by: Track # 1: Session #2 Web Services Speaker 1 Agenda Developing Web services Architecture, development and interoperability Quality of service Security, reliability, management
More informationEE249 Discussion Petri Nets: Properties, Analysis and Applications - T. Murata. Chang-Ching Wu 10/9/2007
EE249 Discussion Petri Nets: Properties, Analysis and Applications - T. Murata Chang-Ching Wu 10/9/2007 What are Petri Nets A graphical & modeling tool. Describe systems that are concurrent, asynchronous,
More informationMining with Eve - Process Discovery and Event Structures
Mining with Eve - Process Discovery and Event Structures Robin Bergenthum, Benjamin Meis Department of Software Engineering, FernUniversität in Hagen {firstname.lastname}@fernuni-hagen.de Abstract. This
More informationCoverability Graph and Fairness
Coverability Graph and Fairness prof.dr.ir. Wil van der Aalst www.vdaalst.com Recall reachability analysis or1 x r1 rg1 g1 go1 o1 r2 rg2 g2 go2 o2 or2 Petri net standard properties Boundedness Terminating
More informationTelecooperation. Application of Subject-oriented Modeling in Automatic Service Composition. Erwin Aitenbichler. Technische Universität Darmstadt
Technische Universität Darmstadt Telecooperation Application of Subject-oriented Modeling in Automatic Service Composition Erwin Aitenbichler erwin@informatik.tu-darmstadt.de Area Head Smart Environments
More informationWorkflow : Patterns and Specifications
Workflow : Patterns and Specifications Seminar Presentation by Ahana Pradhan Under the guidance of Prof. Rushikesh K. Joshi Department of Computer Science and Engineering Indian Institute of Technology,
More informationWeb service design. every Web service can be associated with:
Web Services Web services provide the potential of fulfilling SOA requirements, but they need to be intentionally designed to do so. Web services framework is flexible and adaptable. Web services can be
More informationQoS-aware model-driven SOA using SoaML
QoS-aware model-driven SOA using SoaML Niels Schot A thesis submitted for the degree of MSc Computer Science University of Twente EEMCS - TRESE: Software Engineering Group Examination committee: Luís Ferreira
More informationA counter-example to the minimal coverability tree algorithm
A counter-example to the minimal coverability tree algorithm A. Finkel, G. Geeraerts, J.-F. Raskin and L. Van Begin Abstract In [1], an algorithm to compute a minimal coverability tree for Petri nets has
More informationMASSiVE, Unità di Torino
MASSiVE, Unità di Torino Personalization, verification and conformance for logic-based communicating agents M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, L. Torasso 1 Main
More informationWEEK 5 - APPLICATION OF PETRI NETS. 4.4 Producers-consumers problem with priority
4.4 Producers-consumers problem with priority The net shown in Fig. 27 represents a producers-consumers system with priority, i.e., consumer A has priority over consumer B in the sense that A can consume
More informationBy: Chaitanya Settaluri Devendra Kalia
By: Chaitanya Settaluri Devendra Kalia What is an embedded system? An embedded system Uses a controller to perform some function Is not perceived as a computer Software is used for features and flexibility
More informationOnline Conformance Checking for Petri Nets and Event Streams
Online Conformance Checking for Petri Nets and Event Streams Andrea Burattin University of Innsbruck, Austria; Technical University of Denmark, Denmark andbur@dtu.dk Abstract. Within process mining, we
More informationOracle SOA Suite 11g: Build Composite Applications
Oracle University Contact Us: 1.800.529.0165 Oracle SOA Suite 11g: Build Composite Applications Duration: 5 Days What you will learn This course covers designing and developing SOA composite applications
More informationEmbedded Systems 7 BF - ES - 1 -
Embedded Systems 7-1 - Production system A modelbased realtime faultdiagnosis system for technical processes Ch. Steger, R. Weiss - 2 - Sprout Counter Flow Pipeline-Processor Based on a stream of data
More informationTHE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW
THE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW PETERIS STIPRAVIETIS, MARIS ZIEMA Institute of Computer Control, Automation and Computer Engineering, Faculty of Computer
More informationFormal Modeling of BPEL Workflows Including Fault and Compensation Handling
Formal Modeling of BPEL Workflows Including Fault and Compensation Handling Máté Kovács, Dániel Varró, László Gönczy kovmate@mit.bme.hu Budapest University of Technology and Economics Dept. of Measurement
More informationModeling Hybrid Systems with Petri Nets
Modeling Hybrid Systems with Petri Nets Debjyoti Bera, Kees van Hee and Henk Nijmeijer Abstract The behavior of a hybrid system is a mixture of continuous behavior and discrete event behavior. The Simulink/Stateflow
More informationSoftware Architecture (MSO en verder ) Jan Martijn van der Werf
Software Architecture (MSO en verder ) Jan Martijn van der Werf 1 Jan Martijnvan der Werf Education Information systems (BSc) Software Architecture (MSc) Research areas Software Architecture Architectural
More informationDetermining Sound Markings in Structured Nets
Fundamenta Informaticae 72 (2006) 65 79 65 IOS Press Determining Sound Markings in Structured Nets Piotr Chrza stowski-wachtel Institute of Informatics Warsaw University Banacha 2, 02-097 Warszawa, Poland
More informationService Oriented Architectures Visions Concepts Reality
Service Oriented Architectures Visions Concepts Reality CSC March 2006 Alexander Schatten Vienna University of Technology Vervest und Heck, 2005 A Service Oriented Architecture enhanced by semantics, would
More informationThe AXML Artifact Model
1 The AXML Artifact Model Serge Abiteboul INRIA Saclay & ENS Cachan & U. Paris Sud [Time09] Context: Data management in P2P systems 2 Large number of distributed peers Peers are autonomous Large volume
More informationIssues on Decentralized Consistency Checking of Multi-lateral Collaborations
Issues on Decentralized Consistency Checking of Multi-lateral Collaborations Andreas Wombacher University of Twente Enschede The Netherlands a.wombacher@utwente.nl Abstract Decentralized consistency checking
More informationTimo Latvala. January 28, 2004
Reactive Systems: Kripke Structures and Automata Timo Latvala January 28, 2004 Reactive Systems: Kripke Structures and Automata 3-1 Properties of systems invariants: the system never reaches a bad state
More informationDynamic Workflows for Grid Applications
Dynamic Workflows for Grid Applications Dynamic Workflows for Grid Applications Fraunhofer Resource Grid Fraunhofer Institute for Computer Architecture and Software Technology Berlin Germany Andreas Hoheisel
More informationResearch and Implementation of Event Driven Multi Process Collaboration Interaction Platform Xiang LI * and Shuai ZHAO
2016 International Conference on Wireless Communication and Network Engineering (WCNE 2016) ISBN: 978-1-60595-403-5 Research and Implementation of Event Driven Multi Process Collaboration Interaction Platform
More informationUser Tools and Languages for Graph-based Grid Workflows
User Tools and Languages for Graph-based Grid Workflows User Tools and Languages for Graph-based Grid Workflows Global Grid Forum 10 Berlin, Germany Grid Workflow Workshop Andreas Hoheisel (andreas.hoheisel@first.fraunhofer.de)
More informationFormal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography
An English Draft of Dr. Yong Wang arxiv:1312.0677v1 [cs.se] 3 Dec 2013 Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography Yong Wang College of Computer
More informationDOWNLOAD OR READ : CONCURRENCY AND NETS ADVANCES IN PETRI NETS PDF EBOOK EPUB MOBI
DOWNLOAD OR READ : CONCURRENCY AND NETS ADVANCES IN PETRI NETS PDF EBOOK EPUB MOBI Page 1 Page 2 concurrency and nets advances in petri nets concurrency and nets advances pdf concurrency and nets advances
More informationSOA = Same Old Architecture?
SOA = Same Old Architecture? Gregor Hohpe Software Engineer www.eaipatterns.com Could It Be So Easy? WSDL SOAP WS-* Int MyMethod(String text) { } WebMethod Cut Copy Paste Buzzword compliant, but not a
More information= {A Model-Driven Approach to. Implementing Coordination Protocols in BPEL
Institute of Architecture of Application Systems A Model-Driven Approach to Implementing Coordination Protocols in BPEL Oliver Kopp 1, Branimir Wetzstein 1, Ralph Mietzner 1, Stefan Pottinger 2, Dimka
More informationService Referrals in BPEL-based Choreographies
Service Referrals in BPEL-based Choreographies Gero Decker 1, Oliver Kopp 2, Frank Puhlmann 1 1 Hasso Plattner Institut, University of Potsdam, Germany {gero.decker,frank.puhlmann}@hpi.uni-potsdam.de 2
More informationDecidability Issues for Decentralized Controllability of Open Nets
Decidability Issues for Decentralized Controllability of Open Nets Karsten Wolf Universität Rostock, Institut für Informatik Abstract. We sketch an undecidability result concerning the decentralized controllability
More informationIMPERATIVE PROGRAMS BEHAVIOR SIMULATION IN TERMS OF COMPOSITIONAL PETRI NETS
IMPERATIVE PROGRAMS BEHAVIOR SIMULATION IN TERMS OF COMPOSITIONAL PETRI NETS Leontyev Denis Vasilevich, Kharitonov Dmitry Ivanovich and Tarasov Georgiy Vitalievich ABSTRACT Institute of Automation and
More informationEquations for Asynchronous Message Passing
Equations for Asynchronous Message Passing Ludwik Czaja 1,2 1 Institute of Informatics, The University of Warsaw 2 University of Economics and Computer Science Vistula in Warsaw lczaja@mimuw.edu.pl 1 Introduction
More informationKINGS COLLEGE OF ENGINEERING DEPARTMENT OF INFORMATION TECHNOLOGY. (An NBA Accredited Programme) ACADEMIC YEAR / EVEN SEMESTER
KINGS COLLEGE OF ENGINEERING DEPARTMENT OF INFORMATION TECHNOLOGY (An NBA Accredited Programme) ACADEMIC YEAR 2012-2013 / EVEN SEMESTER YEAR / SEM : IV / VIII BATCH: 2009-2013 (2008 Regulation) SUB CODE
More informationBusiness Process Management Seminar 2007/ Oktober 2007
Business Process Management Seminar 2007/2008 22. Oktober 2007 Process 2 Today Presentation of topics Deadline 29.10.2007 9:00 Rank up to 3 topics - send to hagen.overdick@hpi.uni-potsdam.de 3.12.2007
More informationQualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification
Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics San Antonio, TX, USA - October 2009 Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification
More informationOnline Conformance Checking for Petri Nets and Event Streams
Downloaded from orbit.dtu.dk on: Apr 30, 2018 Online Conformance Checking for Petri Nets and Event Streams Burattin, Andrea Published in: Online Proceedings of the BPM Demo Track 2017 Publication date:
More informationAnalyzing Conversations of Web Services
Analyzing Conversations of Web Services Tevfik Bultan 1 Xiang Fu 2 Jianwen Su 1 1 Department of Computer Science, University of California, Santa Barbara Santa Barbara, CA 91306, USA. {bultan, su}@cs.ucsb.edu.
More informationReachability Analysis
Reachability Analysis prof.dr.ir. Wil van der Aalst www.vdaalst.com Strong point of Petri nets Math. foundation Graphical notation Compactness Today s lecture Concurrency, locality Analysis techniques
More informationDiscovery and contracting of semantic Web services W3C Workshop on Frameworks for Semantic in Web Services
Discovery and contracting of semantic Web services W3C Workshop on Frameworks for Semantic in Web Services Rubén Lara and Daniel Olmedilla rlara at afi.es, olmedilla at l3s.de May 9, 2005 Problem statement
More informationA Technical Comparison of XPDL, BPML and BPEL4WS
A Technical Comparison of XPDL, BPML and BPEL4WS Robert Shapiro 1 Introduction XML-based business process languages represent a new approach to expressing abstract and executable processes that address
More informationModelling and verification of BPEL business processes
Modelling and verification of BPEL business processes Marina Mongiello Dipartimento di Elettronica ed Elettrotecnica Politecnico di Bari, Italy mongiello@poliba.it Daniela Castelluccia Dipartimento di
More informationA graphical user interface for service adaptation
A graphical user interface for service adaptation Christian Gierds 1 and Niels Lohmann 2 1 Humboldt-Universität zu Berlin, Institut für Informatik, Unter den Linden 6, 10099 Berlin, Germany gierds@informatik.hu-berlin.de
More informationPetri Nets ee249 Fall 2000
Petri Nets ee249 Fall 2000 Marco Sgroi Most slides borrowed from Luciano Lavagno s lecture ee249 (1998) 1 Models Of Computation for reactive systems Main MOCs: Communicating Finite State Machines Dataflow
More informationAUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS
MASTER THESIS AUTOMATED BEHAVIOUR REFINEMENT USING INTERACTION PATTERNS C.J.H. Weeïnk FACULTY OF ELECTRICAL ENGINEERING, MATHEMATICS AND COMPUTER SCIENCE SOFTWARE ENGINEERING EXAMINATION COMMITTEE dr.
More informationEnterprise SOA Experience Workshop. Module 8: Operating an enterprise SOA Landscape
Enterprise SOA Experience Workshop Module 8: Operating an enterprise SOA Landscape Agenda 1. Authentication and Authorization 2. Web Services and Security 3. Web Services and Change Management 4. Summary
More informationLeveraging DTrace for runtime verification
Leveraging DTrace for runtime verification Carl Martin Rosenberg June 7th, 2016 Department of Informatics, University of Oslo Context: Runtime verification Desired properties System Every request gets
More information<Insert Picture Here> Click to edit Master title style
Click to edit Master title style Introducing the Oracle Service What Is Oracle Service? Provides visibility into services, service providers and related resources across the enterprise
More informationSoftware Service Engineering
Software Service Engineering Lecture 4: Service Modeling Doctor Guangyu Gao Some contents and notes selected from Service Oriented Architecture by Michael McCarthy 1. Place in Service Lifecycle 2 Content
More informationThe Impact of SOA Policy-Based Computing on C2 Interoperation and Computing. R. Paul, W. T. Tsai, Jay Bayne
The Impact of SOA Policy-Based Computing on C2 Interoperation and Computing R. Paul, W. T. Tsai, Jay Bayne 1 Table of Content Introduction Service-Oriented Computing Acceptance of SOA within DOD Policy-based
More informationWeb Services. Lecture I. Valdas Rapševičius. Vilnius University Faculty of Mathematics and Informatics
Web Services Lecture I Valdas Rapševičius Vilnius University Faculty of Mathematics and Informatics 2014.02.28 2014.02.28 Valdas Rapševičius. Java Technologies 1 Outline Introduction to SOA SOA Concepts:
More informationCollaborative Framework for Testing Web Application Vulnerabilities Using STOWS
Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology ISSN 2320 088X IMPACT FACTOR: 5.258 IJCSMC,
More informationEnterprise System Integration. Lecture 10: Implementing Process-Centric Composite Services in BPEL
MTAT.03.229 Enterprise System Integration Lecture 10: Implementing Process-Centric Composite Services in BPEL Marlon Dumas marlon. dumas ät ut. ee Questions about reading material Week 8: Zimmermann, Doubrovski,
More informationT Reactive Systems: Kripke Structures and Automata
Tik-79.186 Reactive Systems 1 T-79.186 Reactive Systems: Kripke Structures and Automata Spring 2005, Lecture 3 January 31, 2005 Tik-79.186 Reactive Systems 2 Properties of systems invariants: the system
More informationTopics on Web Services COMP6017
Topics on Web Services COMP6017 Dr Nicholas Gibbins nmg@ecs.soton.ac.uk 2013-2014 Module Aims Introduce you to service oriented architectures Introduce you to both traditional and RESTful Web Services
More informationEmbedded Systems 7. Petri net plan coordination for robocup teams G. Kontes and M.G. Lagoudakis BF - ES BF - ES - 2 -
Embedded Systems 7-1 - Petri net plan coordination for robocup teams G. Kontes and M.G. Lagoudakis - 2-1 Passing Maneuver Teamwork Design Based on Petri Net Plan P. F. Palamara, V. A. Ziparo, L. Iocchi,
More informationProcess Modelling using Petri Nets
Process Modelling using Petri Nets Katalina Grigorova Abstract: This paper discusses the reasons, which impose Petri nets as a conceptual standard for modelling and analysis of workflow. Petri nets notation
More informationChapter 8 Web Services Objectives
Chapter 8 Web Services Objectives Describe the Web services approach to the Service- Oriented Architecture concept Describe the WSDL specification and how it is used to define Web services Describe the
More informationMore About Recursive Data Types
More About Recursive Data Types CS 5010 Program Design Paradigms Bootcamp Lesson 5.5 Mitchell Wand, 2016-2017 This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International
More informationHYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM. Janetta Culita, Simona Caramihai, Calin Munteanu
HYBRID PETRI NET MODEL BASED DECISION SUPPORT SYSTEM Janetta Culita, Simona Caramihai, Calin Munteanu Politehnica University of Bucharest Dept. of Automatic Control and Computer Science E-mail: jculita@yahoo.com,
More informationService-Oriented Architecture
Service-Oriented Architecture The Service Oriented Society Imagine if we had to do everything we need to get done by ourselves? From Craftsmen to Service Providers Our society has become what it is today
More informationConsolidation of Interacting BPEL Process Models with Fault Handlers
Consolidation of Interacting BPEL Process Models with Fault Handlers Sebastian Wagner, Oliver Kopp, and Frank Leymann Institute of Architecture of Application Systems, University of Stuttgart, Germany
More informationFrom synchronous models to distributed, asynchronous architectures
From synchronous models to distributed, asynchronous architectures Stavros Tripakis Joint work with Claudio Pinello, Cadence Alberto Sangiovanni-Vincentelli, UC Berkeley Albert Benveniste, IRISA (France)
More informationWeb Services. Lecture I. Valdas Rapševičius Vilnius University Faculty of Mathematics and Informatics
Web Services Lecture I Valdas Rapševičius Vilnius University Faculty of Mathematics and Informatics 2015.02.19 Outline Introduction to SOA SOA Concepts: Services Loose Coupling Infrastructure SOA Layers
More informationService-Oriented Computing in Recomposable Embedded Systems
Service-Oriented Computing in Recomposable Embedded Systems Autonomous + Backend Support Yinong Chen Department of Computer Science and Engineering http://www.public.asu.edu/~ychen10/ 2 Motivation Embedded
More informationObject-Oriented Design
Object-Oriented Design Lecture 14: Design Workflow Department of Computer Engineering Sharif University of Technology 1 UP iterations and workflow Workflows Requirements Analysis Phases Inception Elaboration
More informationFormal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation Sinnakkrishnan Perumal and Ambuj Mahanti Indian Institute of Management Calcutta, Joka, D.H. Road,
More informationLeverage SOA for increased business flexibility What, why, how, and when
Leverage SOA for increased business flexibility What, why, how, and when Dr. Bob Sutor Director, IBM WebSphere Product and Market Management sutor@us.ibm.com http://www.ibm.com/developerworks/blogs/dw_blog.jspa?blog=384
More informationDeveloping in a Service-oriented World
Gregor Hohpe Google Developing in a Service-oriented World www.eaipatterns.com Who's Gregor? Distributed systems, enterprise integration, service-oriented architectures MQ, MSMQ, JMS, TIBCO, Web Services
More informationTest-Driven Development Metodology Proposal for Web Service Choreographies
Test-Driven Development Metodology Proposal for Web Service Choreographies Felipe M. Besson, Pedro M. B. Leal, Fabio Kon Department of Computer Science Institute of Mathematics and Statistics University
More informationEECS 144/244: Fundamental Algorithms for System Modeling, Analysis, and Optimization
EECS 144/244: Fundamental Algorithms for System Modeling, Analysis, and Optimization Dataflow Lecture: SDF, Kahn Process Networks Stavros Tripakis University of California, Berkeley Stavros Tripakis: EECS
More informationA Self Analysing and Reliable SOA Model
A Self Analysing and Reliable SOA Model Prachet Bhuyan #, Asima Das #, Durga Prasad Mohapatra * # School of Computer Engineering, KIIT University, Bhubaneswar, Odisha, India * Department of Computer Science
More informationFrom Communicating Machines to Graphical Choreographies
From Communicating Machines to Graphical Choreographies Julien Lange joint work with Emilio Tuosto and Nobuko Yoshida July 2015 alignment separation cohesion Single bird» local behaviour» CFSM Flock» global
More informationThe Difficulty of Replacing an Inclusive OR-Join
The Difficulty of Replacing an Inclusive OR-Join Cédric Favre and Hagen Völzer Translating an inclusive OR-join Identify customer New customer Existing customer Create customer record Retrieve Customer
More informationSOA: Service-Oriented Architecture
SOA: Service-Oriented Architecture Dr. Kanda Runapongsa (krunapon@kku.ac.th) Department of Computer Engineering Khon Kaen University 1 Gartner Prediction The industry analyst firm Gartner recently reported
More informationRESTful Web service composition with BPEL for REST
RESTful Web service composition with BPEL for REST Cesare Pautasso Data & Knowledge Engineering (2009) 2010-05-04 Seul-Ki Lee Contents Introduction Background Design principles of RESTful Web service BPEL
More informationAn Overview on Protocol Adaptors for Service Component Integration
An Overview on Protocol Adaptors for Service Component Integration R. Seguel 1, R. Eshuis, P. Grefen Information Systems Group, School of Industrial Engineering, Eindhoven University of Technology, The
More informationBusiness Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 13 - Workflow nets!1 Object We study some special kind of Petri nets, that are suitable models of workflows Ch.4.4
More informationINTRODUCTION Background of the Problem Statement of the Problem Objectives of the Study Significance of the Study...
vii TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION... ii DEDICATION... iii ACKNOWLEDGEMENTS... iv ABSTRACT... v ABSTRAK... vi TABLE OF CONTENTS... vii LIST OF TABLES... xii LIST OF FIGURES... xiii LIST
More informationImplementing BPEL4WS: The Architecture of a BPEL4WS Implementation.
Implementing BPEL4WS: The Architecture of a BPEL4WS Implementation. Francisco Curbera, Rania Khalaf, William A. Nagy, and Sanjiva Weerawarana IBM T.J. Watson Research Center BPEL4WS: Workflows and Service
More informationEnterprise Interoperability with SOA: a Survey of Service Composition Approaches
Enterprise Interoperability with SOA: a Survey of Service Composition Approaches Rodrigo Mantovaneli Pessoa 1, Eduardo Silva 1, Marten van Sinderen 1, Dick A. C. Quartel 2, Luís Ferreira Pires 1 1 University
More informationOn Designing a People-oriented Constraint-based Workflow Language
Institute of Architecture of Application Systems On Designing a People-oriented Constraint-based Workflow Language Frank Leymann, Tobias Unger, Sebastian Wagner Institute of Architecture of Application
More information