Computer Science > Software Engineering
[Submitted on 6 Feb 2020 (v1), last revised 26 Oct 2020 (this version, v7)]
Title:Collaboration vs. choreography conformance in BPMN
View PDFAbstract:The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system components without exposing their internal structure. Collaboration diagrams instead permit to depict the internal behaviour of a component, also referred as process, when integrated with others so to represent a possible implementation of the distributed system.
This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. Conformance aspects are proposed through two relations defined on top of the defined semantics. The approach benefits from the availability of a tool we have developed, named C4, that permits to experiment the theoretical framework in practical contexts. The objective here is to make the exploited formal methods transparent to system designers, thus fostering a wider adoption by practitioners.
Submission history
From: Barbara Re [view email] [via Logical Methods In Computer Science as proxy][v1] Thu, 6 Feb 2020 10:31:57 UTC (1,357 KB)
[v2] Wed, 12 Feb 2020 10:53:37 UTC (1,138 KB)
[v3] Mon, 22 Jun 2020 20:23:49 UTC (1,807 KB)
[v4] Sun, 13 Sep 2020 22:07:18 UTC (4,511 KB)
[v5] Mon, 28 Sep 2020 08:28:16 UTC (4,511 KB)
[v6] Thu, 1 Oct 2020 16:29:10 UTC (4,509 KB)
[v7] Mon, 26 Oct 2020 13:26:09 UTC (4,506 KB)
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.