Work

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations

Year: 2021

Type: article

Source: Information Systems

DOI: 10.1016/j.is.2021.101765

Authors: Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul

Institutions: Centre National de la Recherche Scientifique, University of Biskra, Sorbonne Université, Université Paris Nanterre, Université Paris Lumières, LIP6, Institut National Polytechnique de Toulouse, Institut de Recherche en Informatique de Toulouse, Université de Toulouse

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: bronze

Funders: Agence Nationale de la Recherche, CHIST-ERA

Award: PARameterized DIstributed Systems Verification

OpenAlex ID: W3139325201

FWCI: 2.224

Cites: 68

Cited by: 13

Related to: 10