Transcript
- 1. DOLCE and Pi-CalculusRendezvous SemanticsforBusiness ProcessesVioleta Damjanovi Salzburg Research, Austria 01-05 June, 2008 1 stInternational 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
2. Problem Description
- ImportNET real business domains
- Staticity ofontological modelsvs. dynamicity ofbusiness 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
3. Approaches toBusiness 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
4. Business Process Transformation Trinity
- DDPO OWL
- BPEL, WSDL
- Pi-Calculus
Ontologicalmodels BusinessProcesses Processtheory 5. 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
6. 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
7.
- 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 8. The core syntax ofPi- C alculus 9.
- P rocesses are written using the following syntax (formal model):
summation parallelcomposition processexpression process definition transition 10. Mapping the DDPOElementary taskto the Pi-CalculusOperator
- 1. transforming the DDPO Elementary task
-
- An elementary task is an atomic task
-
- ElementaryTask(x)= df y. Component(x,y)Task(y)
11.
- 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)
12.
- 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)
13. 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
-
14.
- Transformation scenario
15.
- Transformation plan
16. 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
17.
- Thank you !
- Questions ?
- Contact :
-
- violeta.damjanovic @ salzburgresearch.at
-
- http://www.salzburgresearch.at