advertisement

DOLCE and Pi-Calculus *Rendezvous Semantics for *Business Processes

100 %
0 %
advertisement
Information about DOLCE and Pi-Calculus *Rendezvous Semantics for *Business Processes
Technology

Published on October 29, 2008

Author: vdamjanovic

Source: slideshare.net

Description

1st International Workshop on Knowledge Reuse and Reengineering over the Semantic Web (KRRSW 2008) hosted by the 5th ESWC 2008, Costa Adeje, Tenerife, Canary Islands
advertisement

DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes Violeta Damjanović Salzburg Research, Austria 01-05 June, 2008 1 st International Workshop on Knowledge Reuse and Reengineering over the Semantic Web (KRRSW 2008) hosted by the 5 th ESWC 200 8 , Costa Adeje , Tenerife, Canary Islands

Problem Description ImportNET real business domains Staticity of ontological models vs. dynamicity of business processes Semantic reengineering of the static knowledge domains to support dynamic business processes OMG’ ODM standard for model driven ontology development OMG’ MOF that defines the metadata architecture for MDA

ImportNET real business domains

Staticity of ontological models vs. dynamicity of business processes

Semantic reengineering of the static knowledge domains to support dynamic business processes

OMG’ ODM standard for model driven ontology development

OMG’ MOF that defines the metadata architecture for MDA

Approaches to Business Modeling Abstract framework to business process specification Functional view – Behavioral view – Structural view Functional specification based on IDEF (Integration DEFinition language) Well formalized; standardized by NIST; resulting specification is too complex Process specification using EPC Not formally defined; Syntax and semantics is not precise enough OO approach to structural modeling Objects + Classes + Relationships (association, aggregation, generalization) Using UML for business processes Semi-formal method; the semantics is not precisely defined Meta-model of business processes The idea is to combine formal methods with meta-models

Abstract framework to business process specification

Functional view – Behavioral view – Structural view

Functional specification based on IDEF (Integration DEFinition language)

Well formalized; standardized by NIST; resulting specification is too complex

Process specification using EPC

Not formally defined; Syntax and semantics is not precise enough

OO approach to structural modeling

Objects + Classes + Relationships (association, aggregation, generalization)

Using UML for business processes

Semi-formal method; the semantics is not precisely defined

Meta-model of business processes

The idea is to combine formal methods with meta-models

Business Process Transformation Trinity DDPO – OWL BPEL, WSDL Pi-Calculus Ontological models Business Processes Process theory

DDPO – OWL

BPEL, WSDL

Pi-Calculus

DDPO DDPO (DOLCE D&S Plan & Task Ontology) DDPO theoretical model: to help us getting a good understanding of business models at the different levels of abstraction and to provide implicit rules for expressing the facts that explain behavior and structure of the abstract business processes

DDPO (DOLCE D&S Plan & Task Ontology)

DDPO theoretical model:

to help us getting a good understanding of business models at the different levels of abstraction and

to provide implicit rules for expressing the facts that explain behavior and structure of the abstract business processes

BPEL, WSDL BPEL enables realization of SOA through composition, coordination and orchestration of WS BPEL syntax is defined by a BPEL XMLS which describes the BPEL basic activities, partner activities and structural activities

BPEL enables realization of SOA through composition, coordination and orchestration of WS

BPEL syntax is defined by a BPEL XMLS which describes the BPEL basic activities, partner activities and structural activities

What is the Pi-Calculus? mathematical formalisms for describing and analyzing properties of concurrent computation developed by Robin Milner in the 1990s CCS, CSP, ACP… widely used in AI (Artificial Intelligence) major areas that use the Pi-calculus: ERLANG language (Robin Milner – consultant to ATT and British Telephone) LOTOS (very complex and delicate temporal reasoning problems in the NASA space missions) a foundation for the methodologies for BPM (Business Process Modeling) Pi-C alculus

What is the Pi-Calculus?

mathematical formalisms for describing and analyzing properties of concurrent computation developed by Robin Milner in the 1990s

CCS, CSP, ACP…

widely used in AI (Artificial Intelligence)

major areas that use the Pi-calculus:

ERLANG language (Robin Milner – consultant to ATT and British Telephone)

LOTOS (very complex and delicate temporal reasoning problems in the NASA space missions)

a foundation for the methodologies for BPM (Business Process Modeling)

The core syntax of Pi- C alculus

P rocesses are written using the following syntax (formal model): summation parallel composition process expression process definition transition

P rocesses are written using the following syntax (formal model):

Mapping the DDPO Elementary task to the Pi-Calculus Operator 1. transforming the DDPO Elementary task An elementary task is an atomic task ElementaryTask(x) = df  y. Component(x,y)  Task(y)

1. transforming the DDPO Elementary task

An elementary task is an atomic task

ElementaryTask(x) = df  y. Component(x,y)  Task(y)

2. transforming the DDPO Component A component relation is a proper part relation qualified by a description in which the proper part are involved Component(x,y) = df ProperPart(x,y)   d,z,w. Description(d)  Role(z)  Role(w)  Uses(d,z)  Uses(d,w)  Selects(z,x)  Selects(w,y)

2. transforming the DDPO Component

A component relation is a proper part relation qualified by a description in which the proper part are involved

Component(x,y) = df ProperPart(x,y)   d,z,w. Description(d)  Role(z)  Role(w)  Uses(d,z)  Uses(d,w)  Selects(z,x)  Selects(w,y)

3. transforming the DPPO Task A task is a course defined by a plan in which at least one intentional agentive role or intentional figure has a desire attitude towards task Task(x) = df Course(x)   y,z. Plan(y)   Defines(y,x)   ((IntentionalAgentiveRole(z)  IntentionalFigure(z))   Uses(y,z)  DesireTowards(z,x)

3. transforming the DPPO Task

A task is a course defined by a plan in which at least one intentional agentive role or intentional figure has a desire attitude towards task

Task(x) = df Course(x)   y,z. Plan(y)   Defines(y,x)   ((IntentionalAgentiveRole(z)  IntentionalFigure(z))   Uses(y,z)  DesireTowards(z,x)

OWL2BPEL Metamodels and Transformation Models The main objectives of the MOF specification To support multiple metamodels and models, and To enable their extensibility, integration, and generic model and metamodel management Mapping the source model to the target model Source model : Ontology based on DDPO model Target model : BPEL process that can be deployed to a standalone BPEL workflow engine

The main objectives of the MOF specification

To support multiple metamodels and models, and

To enable their extensibility, integration, and generic model and metamodel management

Mapping the source model to the target model

Source model : Ontology based on DDPO model

Target model : BPEL process that can be deployed to a standalone BPEL workflow engine

Transformation scenario

Transformation scenario

Transformation plan

Transformation plan

Summary and Conclusion ImportNET is trying to bring the Semantic Web technologies to mechatronic engineering Mechatronic engineering is multi disciplinary and therefore needs multiple ontologies The engineering process needs process modeling The engineering artifacts need structural modeling Therefore our ontologies need to capture the dynamic and the static aspects of the domains

ImportNET is trying to bring the Semantic Web technologies to mechatronic engineering

Mechatronic engineering is multi disciplinary and therefore needs multiple ontologies

The engineering process needs process modeling

The engineering artifacts need structural modeling

Therefore our ontologies need to capture the dynamic and the static aspects of the domains

Thank you ! Questions ? Contact : violeta.damjanovic @ salzburgresearch.at http://www.salzburgresearch.at

Thank you !

Questions ?

Contact :

violeta.damjanovic @ salzburgresearch.at

http://www.salzburgresearch.at

Add a comment

Related presentations

Presentación que realice en el Evento Nacional de Gobierno Abierto, realizado los ...

In this presentation we will describe our experience developing with a highly dyna...

Presentation to the LITA Forum 7th November 2014 Albuquerque, NM

Un recorrido por los cambios que nos generará el wearabletech en el futuro

Um paralelo entre as novidades & mercado em Wearable Computing e Tecnologias Assis...

Microsoft finally joins the smartwatch and fitness tracker game by introducing the...

Related pages

DOLCE and Pi-Calculus Rendezvous Semantics for Business ...

Violeta Damjanovic (2008): DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes Proceedings of the 1st International Workshop on ...
Read more

Semantic reengineering of business processes

Semantic reengineering of business processes ... underlying semantics for the BPEL executable processes. 3. Business process trinity: DDPO, Pi-Calculus, ...
Read more

Semantic reengineering of business processes

... non-ontological models of business processes, ... Business process trinity: DDPO, Pi-Calculus, ... DOLCE and Pi-Calculus Rendezvous Semantics for ...
Read more

Damjanovic Violeta - Salzburg Research Forschungsgesellschaft

MSc in Electronic Business. ... DOLCE and Pi-Calculus Rendezvous Semantics for Business Processes Proceedings of the 1st ... Semantics, Social Networking ...
Read more

Semantic reengineering of business processes | DeepDyve

... Semantic reengineering of business processes ... Pi-Calculus as a process theory to provide semantics between the ontological models based on the DOLCE ...
Read more

A Process Calculus of Atomic Commit - ResearchGate

A Process Calculus of Atomic Commit ... A pi calculus rendezvous can be represented diagrammatically. ... Business process modelling notation
Read more

Authorization for Workflow Processes using Pi Calculus

Authorization for Workflow Processes using Pi Calculus www.iosrjen.org 82 | p a g e rendezvous at some channel, and we deploy each packet directly to this ...
Read more

A Process Calculus of Atomic Commit - ScienceDirect

This article points out a strong connection between process calculi and atomic commit. Process calculus rendezvous is an abstract semantics for atomic ...
Read more