The semantics of hybrid process models

T. Slaats, D.M.M. Schunselaar, F.M. Maggi, H.A. Reijers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    17 Citations (Scopus)

    Abstract

    In the area of business process modelling, declarative notations have been proposed as alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice between an imperative or declarative style of modelling is not always easy to make. Instead, a mixture of these styles is sometimes preferable. This observation has underpinned recent calls for so-called hybrid process modelling notations. In this paper, we present a formal semantics for these. In our proposal, a hybrid process model is hierarchical, where each of its sub-processes may be specified in either an imperative or declarative fashion. The semantics we provide will allow modelling communities to build on the benefits of existing imperative and declarative modelling notations, instead of spending their energy on inventing new ones.

    Original languageEnglish
    Title of host publicationOn the Move to Meaningful Internet Systems: OTM 2016 Conferences
    Subtitle of host publicationConfederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings
    EditorsC. Debruyne, H. Panetto, R. Meersman, T. Dillon, E. Kuhn, D. O'Sullivan, C. Agostino Ardagna
    PublisherSpringer
    Pages531-551
    Number of pages21
    VolumeDordrecht
    ISBN (Electronic)978-3-319-48472-3
    ISBN (Print)978-3-319-48471-6
    DOIs
    Publication statusPublished - 2016
    EventConfederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016 - Rhodes, Greece
    Duration: 24 Oct 201628 Oct 2016

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume10033 LNCS
    ISSN (Print)03029743
    ISSN (Electronic)16113349

    Conference

    ConferenceConfederated International Conference On the Move to Meaningful Internet Systems, OTM 2016 held in conjunction with Conferences on CoopIS, CandTC and ODBASE 2016
    CountryGreece
    CityRhodes
    Period24/10/1628/10/16

    Keywords

    • Declare
    • Hybrid process model
    • Petri net
    • Semantics

    Fingerprint

    Dive into the research topics of 'The semantics of hybrid process models'. Together they form a unique fingerprint.

    Cite this