SlideShare a Scribd company logo

A Theory of Service Behavior

•
•
Universität Rostock
Universität Rostock

Invited talk held by Karsten Wolf on March 2, 2009 on the 1st Central-European Workshop on Services and their Composition (ZEUS 2009) in Stuttgart, Germany.

Technology
1 of 16
A Theory of Service Behavior Karsten Wolf UNIVERSITÄT ROSTOCK The Rostock research agenda
Behavior? Semantics: what does it mean? 13m? $13? 13 Nonfunctional: -policies -QoS 13 Behavior: when to transmit 13 Syntax: how to encode <13> </13> 13 Service Life cycle: -instantiation -correlation
Our Theory ,[object Object],[object Object],[object Object],[object Object],[object Object],o = ⊑ Service Service Service ?
Objects Service Service Service Service Service Service BPEL BPMN UML BPMN 2.0 WS-CDL Let‘s Dance (BPEL4Chor)
Size of set repesentations Fiona
Operations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Service  Service Service Service  Service Service Service ecivreS Service Service Service
Operations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Service Service Service Service Service Service Service Service Service Service Service Service Service bla & bla BPEL Abs.BPEL AbsBPEL BPEL Service Service
Operations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],!€ !€ !€ !T !T !C !C ?B ?B !T  !€  !C !T  !C
Example: Substitutability ,[object Object],[object Object],[object Object],[object Object]
Relations ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Interface to Semantics ,[object Object],[object Object],[object Object],[object Object]
Activities single use key real item electronic message a  a a copy a b c  d e f recombine elementary to compound a b c  d (a b c  a b c d) merge compound to elementary a  b c d (a  a b c d) split real item legally relevant document electronic message a  delete meter  SFR meter  feet zip code  city name a  b transform password, foreign information simple ack, owned information  a create Example con Example pro Specification Activity
Problems covered: ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Service Service Service ? Service Service ? Service Service   Service Service Service Service ? Service Service Service Service  
Problem dimensions shape of partner centralized decentralized autonomous compatibility notion deadlock freedom weak termination strong termination covering constraints messaging asynchronous synchronous queued semantical constraints other requirements behavioral constraints transactions, policies, ...
Our technology stack state space exploration ... model checking partner synthesis ... interaction graph partner characterization ... operating guidelines inspect / compare / manipulate operating guidelines Fiona Fiona Rachel model generation ... compiler BPEL2oWFN oWFN2BPEL LoLA
Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Recommended

Is Customer Satisfaction Theory Relevant in the SME context
Is Customer Satisfaction Theory Relevant in the SME contextIs Customer Satisfaction Theory Relevant in the SME context
Is Customer Satisfaction Theory Relevant in the SME contextIntoTheMinds
 
The Service Excellence Model
The Service Excellence ModelThe Service Excellence Model
The Service Excellence ModelPeter Gross
 
How to Deliver Great Customer Service in Enterprise Software
How to Deliver Great Customer Service in Enterprise SoftwareHow to Deliver Great Customer Service in Enterprise Software
How to Deliver Great Customer Service in Enterprise SoftwareBob Dahlberg
 
You should understand your self
You should understand your self You should understand your self
You should understand your self Satish singh sengar
 
Organizational Behavior & Service Management
Organizational Behavior & Service ManagementOrganizational Behavior & Service Management
Organizational Behavior & Service ManagementArun Srinivas Komandoor
 
Shimon Naveh PowerPoint
Shimon Naveh PowerPointShimon Naveh PowerPoint
Shimon Naveh PowerPointubiwar
 
Mcdonald
Mcdonald Mcdonald
Mcdonald Amna Abid
 
Organisational Behaviour
Organisational BehaviourOrganisational Behaviour
Organisational Behavioursinhgad institute of management
 

Recommended

Is Customer Satisfaction Theory Relevant in the SME context
Is Customer Satisfaction Theory Relevant in the SME contextIs Customer Satisfaction Theory Relevant in the SME context
Is Customer Satisfaction Theory Relevant in the SME contextIntoTheMinds
 
The Service Excellence Model
The Service Excellence ModelThe Service Excellence Model
The Service Excellence ModelPeter Gross
 
How to Deliver Great Customer Service in Enterprise Software
How to Deliver Great Customer Service in Enterprise SoftwareHow to Deliver Great Customer Service in Enterprise Software
How to Deliver Great Customer Service in Enterprise SoftwareBob Dahlberg
 
You should understand your self
You should understand your self You should understand your self
You should understand your self Satish singh sengar
 
Organizational Behavior & Service Management
Organizational Behavior & Service ManagementOrganizational Behavior & Service Management
Organizational Behavior & Service ManagementArun Srinivas Komandoor
 
Shimon Naveh PowerPoint
Shimon Naveh PowerPointShimon Naveh PowerPoint
Shimon Naveh PowerPointubiwar
 
Mcdonald
Mcdonald Mcdonald
Mcdonald Amna Abid
 
Organisational Behaviour
Organisational BehaviourOrganisational Behaviour
Organisational Behavioursinhgad institute of management
 
3.how can we achieve excellence in service marketing
3.how can we achieve excellence in service marketing3.how can we achieve excellence in service marketing
3.how can we achieve excellence in service marketingSameer Mathur
 
Delivering Service Excellence - Learning From the Best
Delivering Service Excellence - Learning From the BestDelivering Service Excellence - Learning From the Best
Delivering Service Excellence - Learning From the Bestukactive
 
Kano analysis
Kano analysisKano analysis
Kano analysisMalikTanveer Arain
 
ZipCar : Influencing Consumer Behavior
ZipCar : Influencing Consumer Behavior ZipCar : Influencing Consumer Behavior
ZipCar : Influencing Consumer Behavior Shivank Pandya
 
World Class Service Excellence by Roy Quejada
World Class Service Excellence by Roy QuejadaWorld Class Service Excellence by Roy Quejada
World Class Service Excellence by Roy QuejadaHomer Nievera
 
How can we achieve excellence in service marketing
How can we achieve excellence in service marketingHow can we achieve excellence in service marketing
How can we achieve excellence in service marketingSameer Mathur
 
Service excellence
Service excellenceService excellence
Service excellenceampta
 
Managing customer service - Behavior and Quality
Managing customer service - Behavior and Quality Managing customer service - Behavior and Quality
Managing customer service - Behavior and Quality Satish singh sengar
 
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic..."Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...IntoTheMinds
 
How Great Companies Get Their Mojo from Maslow
How Great Companies Get Their Mojo from MaslowHow Great Companies Get Their Mojo from Maslow
How Great Companies Get Their Mojo from MaslowWork.com - A Salesforce Company
 
Consumer behavior in services marketing
Consumer behavior in services marketingConsumer behavior in services marketing
Consumer behavior in services marketingcpjcollege
 
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...sachinhedauraipur
 
Do You Have The Right Customer Experience Strategy?
Do You Have The Right Customer Experience Strategy?Do You Have The Right Customer Experience Strategy?
Do You Have The Right Customer Experience Strategy?PeopleMetrics
 
The Great Customer Experience
The Great Customer ExperienceThe Great Customer Experience
The Great Customer ExperienceClearAction
 
Managing customer service
Managing customer serviceManaging customer service
Managing customer serviceAldrin Bibon
 
Customer Experience Strategy
Customer Experience StrategyCustomer Experience Strategy
Customer Experience StrategyClearAction
 
consumer behavior in service encounter
consumer behavior in service encounterconsumer behavior in service encounter
consumer behavior in service encounterHarkamal Singh
 
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONS
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONSSERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONS
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONSSaylent
 
Poster Design
Poster DesignPoster Design
Poster DesignLindsey Mae
 
Behavior of Services
Behavior of ServicesBehavior of Services
Behavior of ServicesUniversität Rostock
 
HCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designHCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designAlan Dix
 
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...Data Con LA
 

More Related Content

Viewers also liked

3.how can we achieve excellence in service marketing
3.how can we achieve excellence in service marketing3.how can we achieve excellence in service marketing
3.how can we achieve excellence in service marketingSameer Mathur
 
Delivering Service Excellence - Learning From the Best
Delivering Service Excellence - Learning From the BestDelivering Service Excellence - Learning From the Best
Delivering Service Excellence - Learning From the Bestukactive
 
ZipCar : Influencing Consumer Behavior
ZipCar : Influencing Consumer Behavior ZipCar : Influencing Consumer Behavior
ZipCar : Influencing Consumer Behavior Shivank Pandya
 
World Class Service Excellence by Roy Quejada
World Class Service Excellence by Roy QuejadaWorld Class Service Excellence by Roy Quejada
World Class Service Excellence by Roy QuejadaHomer Nievera
 
How can we achieve excellence in service marketing
How can we achieve excellence in service marketingHow can we achieve excellence in service marketing
How can we achieve excellence in service marketingSameer Mathur
 
Service excellence
Service excellenceService excellence
Service excellenceampta
 
Managing customer service - Behavior and Quality
Managing customer service - Behavior and Quality Managing customer service - Behavior and Quality
Managing customer service - Behavior and Quality Satish singh sengar
 
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic..."Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...IntoTheMinds
 
Consumer behavior in services marketing
Consumer behavior in services marketingConsumer behavior in services marketing
Consumer behavior in services marketingcpjcollege
 
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...sachinhedauraipur
 
Do You Have The Right Customer Experience Strategy?
Do You Have The Right Customer Experience Strategy?Do You Have The Right Customer Experience Strategy?
Do You Have The Right Customer Experience Strategy?PeopleMetrics
 
The Great Customer Experience
The Great Customer ExperienceThe Great Customer Experience
The Great Customer ExperienceClearAction
 
Managing customer service
Managing customer serviceManaging customer service
Managing customer serviceAldrin Bibon
 
Customer Experience Strategy
Customer Experience StrategyCustomer Experience Strategy
Customer Experience StrategyClearAction
 
consumer behavior in service encounter
consumer behavior in service encounterconsumer behavior in service encounter
consumer behavior in service encounterHarkamal Singh
 
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONS
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONSSERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONS
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONSSaylent
 

Viewers also liked (18)

3.how can we achieve excellence in service marketing
3.how can we achieve excellence in service marketing3.how can we achieve excellence in service marketing
3.how can we achieve excellence in service marketing
 
Delivering Service Excellence - Learning From the Best
Delivering Service Excellence - Learning From the BestDelivering Service Excellence - Learning From the Best
Delivering Service Excellence - Learning From the Best
 
Kano analysis
Kano analysisKano analysis
Kano analysis
 
ZipCar : Influencing Consumer Behavior
ZipCar : Influencing Consumer Behavior ZipCar : Influencing Consumer Behavior
ZipCar : Influencing Consumer Behavior
 
World Class Service Excellence by Roy Quejada
World Class Service Excellence by Roy QuejadaWorld Class Service Excellence by Roy Quejada
World Class Service Excellence by Roy Quejada
 
How can we achieve excellence in service marketing
How can we achieve excellence in service marketingHow can we achieve excellence in service marketing
How can we achieve excellence in service marketing
 
Service excellence
Service excellenceService excellence
Service excellence
 
Managing customer service - Behavior and Quality
Managing customer service - Behavior and Quality Managing customer service - Behavior and Quality
Managing customer service - Behavior and Quality
 
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic..."Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...
"Building Trust" discussion panel at EBU Big Data conference 2017 (Pierre-Nic...
 
How Great Companies Get Their Mojo from Maslow
How Great Companies Get Their Mojo from MaslowHow Great Companies Get Their Mojo from Maslow
How Great Companies Get Their Mojo from Maslow
 
Consumer behavior in services marketing
Consumer behavior in services marketingConsumer behavior in services marketing
Consumer behavior in services marketing
 
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...
raipur hedausachinConsumer Behavior\marketing\perception\service marketing\em...
 
Do You Have The Right Customer Experience Strategy?
Do You Have The Right Customer Experience Strategy?Do You Have The Right Customer Experience Strategy?
Do You Have The Right Customer Experience Strategy?
 
The Great Customer Experience
The Great Customer ExperienceThe Great Customer Experience
The Great Customer Experience
 
Managing customer service
Managing customer serviceManaging customer service
Managing customer service
 
Customer Experience Strategy
Customer Experience StrategyCustomer Experience Strategy
Customer Experience Strategy
 
consumer behavior in service encounter
consumer behavior in service encounterconsumer behavior in service encounter
consumer behavior in service encounter
 
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONS
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONSSERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONS
SERVICE REDEFINED: DEVELOPING BEHAVIOR-BASED PROGRAMS FOR CREDIT UNIONS
 

Similar to A Theory of Service Behavior

HCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designHCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designAlan Dix
 
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...Data Con LA
 
Syntactic Mediation in Grid and Web Service Architectures
Syntactic Mediation in Grid and Web Service ArchitecturesSyntactic Mediation in Grid and Web Service Architectures
Syntactic Mediation in Grid and Web Service ArchitecturesMartin Szomszor
 
Fractal analysis of good programming style
Fractal analysis of good programming styleFractal analysis of good programming style
Fractal analysis of good programming stylecsandit
 
FRACTAL ANALYSIS OF GOOD PROGRAMMING STYLE
FRACTAL ANALYSIS OF GOOD PROGRAMMING STYLEFRACTAL ANALYSIS OF GOOD PROGRAMMING STYLE
FRACTAL ANALYSIS OF GOOD PROGRAMMING STYLEcscpconf
 
Realizability of Interaction Models
Realizability of Interaction ModelsRealizability of Interaction Models
Realizability of Interaction Modelsgero.decker
 
SVD and the Netflix Dataset
SVD and the Netflix DatasetSVD and the Netflix Dataset
SVD and the Netflix DatasetBen Mabey
 
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...Universität Rostock
 
Graph Database, a little connected tour - Castano
Graph Database, a little connected tour - CastanoGraph Database, a little connected tour - Castano
Graph Database, a little connected tour - CastanoCodemotion
 
Graph Databases, a little connected tour (Codemotion Rome)
Graph Databases, a little connected tour (Codemotion Rome)Graph Databases, a little connected tour (Codemotion Rome)
Graph Databases, a little connected tour (Codemotion Rome)fcofdezc
 
1998 - Thesis JL Pacherie Parallel perators
1998 - Thesis JL Pacherie Parallel perators1998 - Thesis JL Pacherie Parallel perators
1998 - Thesis JL Pacherie Parallel peratorsJean-Lin Pacherie, Ph.D.
 
Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...
Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...
Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...Sri Ambati
 
Linking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsLinking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsXavier Oriol
 
Android training in Nagpur
Android training in Nagpur Android training in Nagpur
Android training in Nagpur letsleadsand
 
Android classes-in-pune-syllabus
Android classes-in-pune-syllabusAndroid classes-in-pune-syllabus
Android classes-in-pune-syllabuscncandrwebworld
 

Similar to A Theory of Service Behavior (20)

Poster Design
Poster DesignPoster Design
Poster Design
 
Behavior of Services
Behavior of ServicesBehavior of Services
Behavior of Services
 
HCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and designHCI 3e - Ch 16: Dialogue notations and design
HCI 3e - Ch 16: Dialogue notations and design
 
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...
Big Data Day LA 2016/ Hadoop/ Spark/ Kafka track - Real-time Aggregations, Ap...
 
Syntactic Mediation in Grid and Web Service Architectures
Syntactic Mediation in Grid and Web Service ArchitecturesSyntactic Mediation in Grid and Web Service Architectures
Syntactic Mediation in Grid and Web Service Architectures
 
Set Algebra for Service Behavior
Set Algebra for Service BehaviorSet Algebra for Service Behavior
Set Algebra for Service Behavior
 
Discovery of adaptable services
Discovery of adaptable servicesDiscovery of adaptable services
Discovery of adaptable services
 
Fractal analysis of good programming style
Fractal analysis of good programming styleFractal analysis of good programming style
Fractal analysis of good programming style
 
FRACTAL ANALYSIS OF GOOD PROGRAMMING STYLE
FRACTAL ANALYSIS OF GOOD PROGRAMMING STYLEFRACTAL ANALYSIS OF GOOD PROGRAMMING STYLE
FRACTAL ANALYSIS OF GOOD PROGRAMMING STYLE
 
Realizability of Interaction Models
Realizability of Interaction ModelsRealizability of Interaction Models
Realizability of Interaction Models
 
SVD and the Netflix Dataset
SVD and the Netflix DatasetSVD and the Netflix Dataset
SVD and the Netflix Dataset
 
SQL- Introduction to SQL Set Operations
SQL- Introduction to SQL Set OperationsSQL- Introduction to SQL Set Operations
SQL- Introduction to SQL Set Operations
 
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph ...
 
Graph Database, a little connected tour - Castano
Graph Database, a little connected tour - CastanoGraph Database, a little connected tour - Castano
Graph Database, a little connected tour - Castano
 
Graph Databases, a little connected tour (Codemotion Rome)
Graph Databases, a little connected tour (Codemotion Rome)Graph Databases, a little connected tour (Codemotion Rome)
Graph Databases, a little connected tour (Codemotion Rome)
 
1998 - Thesis JL Pacherie Parallel perators
1998 - Thesis JL Pacherie Parallel perators1998 - Thesis JL Pacherie Parallel perators
1998 - Thesis JL Pacherie Parallel perators
 
Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...
Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...
Achieving Algorithmic Transparency with Shapley Additive Explanations (H2O Lo...
 
Linking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable ModelsLinking Data and BPMN Processes to Achieve Executable Models
Linking Data and BPMN Processes to Achieve Executable Models
 
Android training in Nagpur
Android training in Nagpur Android training in Nagpur
Android training in Nagpur
 
Android classes-in-pune-syllabus
Android classes-in-pune-syllabusAndroid classes-in-pune-syllabus
Android classes-in-pune-syllabus
 

More from Universität Rostock

Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementationsPragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementationsUniversität Rostock
 
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process modelsWhere did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process modelsUniversität Rostock
 
Decidability Results for Choreography Realization
Decidability Results for Choreography RealizationDecidability Results for Choreography Realization
Decidability Results for Choreography RealizationUniversität Rostock
 
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMNArtifact-centric modeling using BPMN
Artifact-centric modeling using BPMNUniversität Rostock
 
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business ProcessesCompliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business ProcessesUniversität Rostock
 
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 ImplementationVerification with LoLA: 7 Implementation
Verification with LoLA: 7 ImplementationUniversität Rostock
 
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLAVerification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLAUniversität Rostock
 
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case StudiesVerification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case StudiesUniversität Rostock
 
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLAVerification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLAUniversität Rostock
 
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space ReductionVerification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space ReductionUniversität Rostock
 
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input LanguageVerification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input LanguageUniversität Rostock
 
Internal Behavior Reduction for Services
Internal Behavior Reduction for ServicesInternal Behavior Reduction for Services
Internal Behavior Reduction for ServicesUniversität Rostock
 
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial SymposiumKarsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial SymposiumUniversität Rostock
 
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDAImplementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDAUniversität Rostock
 
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...Universität Rostock
 
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and FionaDemonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and FionaUniversität Rostock
 

More from Universität Rostock (20)

Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementationsPragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementations
 
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process modelsWhere did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process models
 
Decidability Results for Choreography Realization
Decidability Results for Choreography RealizationDecidability Results for Choreography Realization
Decidability Results for Choreography Realization
 
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMNArtifact-centric modeling using BPMN
Artifact-centric modeling using BPMN
 
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business ProcessesCompliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business Processes
 
Verification with LoLA
Verification with LoLAVerification with LoLA
Verification with LoLA
 
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 ImplementationVerification with LoLA: 7 Implementation
Verification with LoLA: 7 Implementation
 
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLAVerification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
 
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case StudiesVerification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case Studies
 
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLAVerification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLA
 
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space ReductionVerification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space Reduction
 
Verification with LoLA: 1 Basics
Verification with LoLA: 1 BasicsVerification with LoLA: 1 Basics
Verification with LoLA: 1 Basics
 
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input LanguageVerification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input Language
 
Saarbruecken
SaarbrueckenSaarbruecken
Saarbruecken
 
Ws4 dsec talk @ Kickoff RS3
Ws4 dsec talk @ Kickoff RS3Ws4 dsec talk @ Kickoff RS3
Ws4 dsec talk @ Kickoff RS3
 
Internal Behavior Reduction for Services
Internal Behavior Reduction for ServicesInternal Behavior Reduction for Services
Internal Behavior Reduction for Services
 
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial SymposiumKarsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial Symposium
 
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDAImplementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDA
 
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
 
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and FionaDemonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and Fiona
 

Recently uploaded

The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxThe Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxLoriGlavin3
 
How to write a Business Continuity Plan
How to write a Business Continuity PlanHow to write a Business Continuity Plan
How to write a Business Continuity PlanDatabarracks
 
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .Alan Dix
 
A Framework for Development in the AI Age
A Framework for Development in the AI AgeA Framework for Development in the AI Age
A Framework for Development in the AI AgeCprime
 
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptxUse of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptxLoriGlavin3
 
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo DayH2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo DaySri Ambati
 
TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024Lonnie McRorey
 
Visualising and forecasting stocks using Dash
Visualising and forecasting stocks using DashVisualising and forecasting stocks using Dash
Visualising and forecasting stocks using Dashnarutouzumaki53779
 
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptxPasskey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptxLoriGlavin3
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Sample pptx for embedding into website for demo
Sample pptx for embedding into website for demoSample pptx for embedding into website for demo
Sample pptx for embedding into website for demoHarshalMandlekar2
 
Digital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptxDigital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptxLoriGlavin3
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteDianaGray10
 
Decarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a realityDecarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a realityIES VE
 
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxThe Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxLoriGlavin3
 
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxMerck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxLoriGlavin3
 
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 3652toLead Limited
 
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024BookNet Canada
 
A Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software DevelopersA Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software DevelopersNicole Novielli
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.Curtis Poe
 

Recently uploaded (20)

The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptxThe Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
The Role of FIDO in a Cyber Secure Netherlands: FIDO Paris Seminar.pptx
 
How to write a Business Continuity Plan
How to write a Business Continuity PlanHow to write a Business Continuity Plan
How to write a Business Continuity Plan
 
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .
 
A Framework for Development in the AI Age
A Framework for Development in the AI AgeA Framework for Development in the AI Age
A Framework for Development in the AI Age
 
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptxUse of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
Use of FIDO in the Payments and Identity Landscape: FIDO Paris Seminar.pptx
 
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo DayH2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
 
TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024TeamStation AI System Report LATAM IT Salaries 2024
TeamStation AI System Report LATAM IT Salaries 2024
 
Visualising and forecasting stocks using Dash
Visualising and forecasting stocks using DashVisualising and forecasting stocks using Dash
Visualising and forecasting stocks using Dash
 
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptxPasskey Providers and Enabling Portability: FIDO Paris Seminar.pptx
Passkey Providers and Enabling Portability: FIDO Paris Seminar.pptx
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Sample pptx for embedding into website for demo
Sample pptx for embedding into website for demoSample pptx for embedding into website for demo
Sample pptx for embedding into website for demo
 
Digital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptxDigital Identity is Under Attack: FIDO Paris Seminar.pptx
Digital Identity is Under Attack: FIDO Paris Seminar.pptx
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test Suite
 
Decarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a realityDecarbonising Buildings: Making a net-zero built environment a reality
Decarbonising Buildings: Making a net-zero built environment a reality
 
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptxThe Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
The Fit for Passkeys for Employee and Consumer Sign-ins: FIDO Paris Seminar.pptx
 
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxMerck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
 
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365
 
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
New from BookNet Canada for 2024: Loan Stars - Tech Forum 2024
 
A Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software DevelopersA Journey Into the Emotions of Software Developers
A Journey Into the Emotions of Software Developers
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.
 

A Theory of Service Behavior

  • 1. A Theory of Service Behavior Karsten Wolf UNIVERSITÄT ROSTOCK The Rostock research agenda
  • 2. Behavior? Semantics: what does it mean? 13m? $13? 13 Nonfunctional: -policies -QoS 13 Behavior: when to transmit 13 Syntax: how to encode <13> </13> 13 Service Life cycle: -instantiation -correlation
  • 3.
  • 4. Objects Service Service Service Service Service Service BPEL BPMN UML BPMN 2.0 WS-CDL Let‘s Dance (BPEL4Chor)
  • 5. Size of set repesentations Fiona
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12. Activities single use key real item electronic message a  a a copy a b c  d e f recombine elementary to compound a b c  d (a b c  a b c d) merge compound to elementary a  b c d (a  a b c d) split real item legally relevant document electronic message a  delete meter  SFR meter  feet zip code  city name a  b transform password, foreign information simple ack, owned information  a create Example con Example pro Specification Activity
  • 13.
  • 14. Problem dimensions shape of partner centralized decentralized autonomous compatibility notion deadlock freedom weak termination strong termination covering constraints messaging asynchronous synchronous queued semantical constraints other requirements behavioral constraints transactions, policies, ...
  • 15. Our technology stack state space exploration ... model checking partner synthesis ... interaction graph partner characterization ... operating guidelines inspect / compare / manipulate operating guidelines Fiona Fiona Rachel model generation ... compiler BPEL2oWFN oWFN2BPEL LoLA
  • 16.