Reasoning on semantically annotated processes

  • View
    212

  • Download
    0

Embed Size (px)

Transcript

  • Reasoning on semantically annotated processes

    Chiara Di Francescomarino Chiara GhidiniMarco Rospocher Luciano Serafini Paolo Tonella

    FBK-irst, Trento, Italy

    6th International Conference on Service Oriented Computing(ICSOC 2008)

    December 1-5, 2008University of Technology, Sydney, NSW, Australia

  • Introduction & Motivation

    Annotating business processes with concepts from domainontologies allows to improve the automation of business processmanagement.

    Verifying the presence of critical patterns.

    Searching for crosscutting concerns.

    Marco Rospocher Reasoning on semantically annotated processes

  • Introduction & Motivation

    Annotating business processes with concepts from domainontologies allows to improve the automation of business processmanagement.

    Verifying the presence of critical patterns.

    Searching for crosscutting concerns.

    Marco Rospocher Reasoning on semantically annotated processes

  • Introduction & Motivation

    Annotating business processes with concepts from domainontologies allows to improve the automation of business processmanagement.

    Verifying the presence of critical patterns.

    Searching for crosscutting concerns.

    Marco Rospocher Reasoning on semantically annotated processes

  • Introduction & Motivation

    Annotating business processes with concepts from domainontologies allows to improve the automation of business processmanagement.

    Verifying the presence of critical patterns.

    Searching for crosscutting concerns.

    Marco Rospocher Reasoning on semantically annotated processes

  • Introduction & Motivation

    Annotating business processes with concepts from domainontologies allows to improve the automation of business processmanagement.

    Verifying the presence of critical patterns.

    Searching for crosscutting concerns.

    Marco Rospocher Reasoning on semantically annotated processes

  • Research Problem

    However, semantic annotations will positively affect the creation ofhigh quality process models only if they are correct.

    Marco Rospocher Reasoning on semantically annotated processes

  • Research Problem

    However, semantic annotations will positively affect the creation ofhigh quality process models only if they are correct.

    Marco Rospocher Reasoning on semantically annotated processes

  • Research Problem

    However, semantic annotations will positively affect the creation ofhigh quality process models only if they are correct.

    Marco Rospocher Reasoning on semantically annotated processes

  • Research Problem

    However, semantic annotations will positively affect the creation ofhigh quality process models only if they are correct.

    Marco Rospocher Reasoning on semantically annotated processes

  • Our contribution

    We propose an approach for

    the specification of constraints for correct annotations ofbusiness processes;

    the automatic verification of the correctness of annotatedprocesses;

    the provision of reasoning services on annotated processes.

    Marco Rospocher Reasoning on semantically annotated processes

  • Still to come...

    Marco Rospocher Reasoning on semantically annotated processes

  • Annotation of BPMN Business Process Diagrams

    Business Process Modelling Notation (BPMN) is a languagefor the specification of Business Process Diagrams (BPDs).

    BPMN is extended by allowing annotation of the objects ofbusiness processes with concepts taken from a domainontology.

    The goal is to have correctly annotated business processes.

    Criteria for correct/incorrect annotation are statements thatbridge the semantics of BPMN and the semantics of thedomain ontology.

    Formally, we represent these criteria by inclusion axiomsbetween the concepts of an ontology formalizing BPMN andthe domain ontology.

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • The Business Processes Knowledge Base

    We propose to encode all the information about semanticallyannotated processes into a logical knowledge base, called BusinessProcesses Knowledge Base (BPKB).

    We implemented BPKB using OWL (Web Ontology Language),based on Description Logics (DL).

    Marco Rospocher Reasoning on semantically annotated processes

  • An ontology for BPMN

    The BPMN Ontology provides a formalization of the structuralpart of BPDs:

    it contains all the BPMN elements, organized in an is-ataxonomy;

    it contains attributes and properties which describe how touse these elements to compose business process diagrams.

    A Start Event MUST NOT be a target for Sequence Flow

    sequence flow v has connecting obj target ref.(start event)

    Marco Rospocher Reasoning on semantically annotated processes

  • An ontology for BPMN

    The BPMN Ontology provides a formalization of the structuralpart of BPDs:

    it contains all the BPMN elements, organized in an is-ataxonomy;

    it contains attributes and properties which describe how touse these elements to compose business process diagrams.

    A Start Event MUST NOT be a target for Sequence Flow

    sequence flow v has connecting obj target ref.(start event)

    Marco Rospocher Reasoning on semantically annotated processes

  • An ontology for BPMN

    The BPMN Ontology provides a formalization of the structuralpart of BPDs:

    it contains all the BPMN elements, organized in an is-ataxonomy;

    it contains attributes and properties which describe how touse these elements to compose business process diagrams.

    A Start Event MUST NOT be a target for Sequence Flow

    sequence flow v has connecting obj target ref.(start event)

    Marco Rospocher Reasoning on semantically annotated processes

  • An ontology for BPMN

    The BPMN Ontology provides a formalization of the structuralpart of BPDs:

    it contains all the BPMN elements, organized in an is-ataxonomy;

    it contains attributes and properties which describe how touse these elements to compose business process diagrams.

    A Start Event MUST NOT be a target for Sequence Flow

    sequence flow v has connecting obj target ref.(start event)

    Marco Rospocher Reasoning on semantically annotated processes

  • An ontology for BPMN

    The BPMN Ontology provides a formalization of the structuralpart of BPDs:

    it contains all the BPMN elements, organized in an is-ataxonomy;

    it contains attributes and properties which describe how touse these elements to compose business process diagrams.

    A Start Event MUST NOT be a target for Sequence Flow

    sequence flow v has connecting obj target ref.(start event)

    Marco Rospocher Reasoning on semantically annotated processes

  • An ontology for BPMN

    The BPMN Ontology provides a formalization of the structuralpart of BPDs:

    It is not intended to model the dynamic behaviour of BPDs.

    If there are multiple outgoing Sequence Flow then only oneGate (or the DefaultGate) SHALL be selected during

    performance of the Proc