Formalisations and applications of BPMN

Formalisations and applications of BPMN

Taispeáin leaganacha eile (1)

We present two formalisations of the Business Process Modelling Notation (BPMN). In particular, we introduce a semantic model for BPMN in the process algebra CSP; we then study an augmentation of this model in which we introduce relative timing information, allowing one to specify timing constraints...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Wong, P, Gibbons, J
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2011

Míreanna comhchosúla

Formalisations and Applications of BPMN
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2011)

A Process Semantics for BPMN
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2008)

A Process Semantics for BPMN
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2008)

A Process Semantics for BPMN
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2008)

A Relative Timed Semantics for BPMN
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2009)

A Relative Timed Semantics for BPMN
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2008)

A Relative Timed Semantics for BPMN
de réir: Wong, P, et al.
Foilsithe / Cruthaithe: (2008)

Formalisations and applications of business process modelling notation
de réir: Wong, P
Foilsithe / Cruthaithe: (2011)

Formalisations and Applications of Business Process Modelling Notation
de réir: Wong, P
Foilsithe / Cruthaithe: (2008)

Collaboration vs. choreography conformance in BPMN
de réir: Flavio Corradini, et al.
Foilsithe / Cruthaithe: (2020-10-01)

Análisis de requerimientos usando BPMN
de réir: Juan Carlos Molina, et al.
Foilsithe / Cruthaithe: (2010-06-01)

Modelling of validation process with BPMN notation
de réir: Joanna Łabędzka
Foilsithe / Cruthaithe: (2022-06-01)

Entailment : the formalisation of inference
de réir: Copeland, BJ
Foilsithe / Cruthaithe: (1978)

Formalisation of the component specification
de réir: Vaidas Giedrimas, et al.
Foilsithe / Cruthaithe: (2004-12-01)

A formalisation of XMAS
de réir: Bernard van Gastel, et al.
Foilsithe / Cruthaithe: (2013-04-01)

Formalising Confluence in PVS
de réir: Mauricio Ayala-Rincón
Foilsithe / Cruthaithe: (2016-03-01)

Relative Monads Formalised
de réir: Thorsten Altenkirch, et al.
Foilsithe / Cruthaithe: (2014-07-01)

La formalisation du discours savant La formalisation du discours savant
de réir: Jean-Claude Gardin
Foilsithe / Cruthaithe: (1999-11-01)

The role of formalised and non-formalised intentions in legal parent-child relationships in Dutch law
de réir: Machteld Vonk
Foilsithe / Cruthaithe: (2008-06-01)

Measures of quality of process models created in BPMN
de réir: Radek Hronza, et al.
Foilsithe / Cruthaithe: (2015-12-01)

Eligibility of BPMN Models for Business Process Redesign
de réir: George Tsakalidis, et al.
Foilsithe / Cruthaithe: (2019-07-01)

Generating BPMN diagram from textual requirements
de réir: Sholiq Sholiq, et al.
Foilsithe / Cruthaithe: (2022-11-01)

Liveness and Reachability Analysis of BPMN Process Models
de réir: Anass Rachdi, et al.
Foilsithe / Cruthaithe: (2016-06-01)

Ontology as a Term System of BPMN Notation
de réir: Natalya V. Bogoslovskaya, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Using LOTOS for FormalisingWireless Sensor Network Applications
de réir: Paulo Roberto Freire Cunha, et al.
Foilsithe / Cruthaithe: (2007-08-01)

Organisation management tasks formalisation
de réir: A. V. Raychenko
Foilsithe / Cruthaithe: (2022-07-01)

Formalisation as a judicial claim
de réir: Lorena Poblete
Foilsithe / Cruthaithe: (2020-06-01)

BPMN diagram dataset: Comprehensive collection of functional requirements
de réir: Sholiq Sholiq, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Formalised risk identification and evaluation models application in the conditions of agricultural enterprises
de réir: P. Římovská
Foilsithe / Cruthaithe: (2002-02-01)

Vertrouwen, formalisering en prestaties in interorganisatorische relaties
de réir: Frans A. J. Van Den Bosch, et al.
Foilsithe / Cruthaithe: (2006-01-01)

The formalisation and transformation of access control policies
de réir: Slaymaker, M, et al.
Foilsithe / Cruthaithe: (2011)

Formalisation of the sofware component ontology specification
de réir: Lina Bagušytė, et al.
Foilsithe / Cruthaithe: (2005-12-01)

Business rules formalisation for information systems
de réir: Ivana Rábová
Foilsithe / Cruthaithe: (2010-01-01)

Formalising the Continuous/Discrete Modeling Step
de réir: Wen Su, et al.
Foilsithe / Cruthaithe: (2011-06-01)

Formalising Sensor Topologies for Target Counting
de réir: Sven Linker, et al.
Foilsithe / Cruthaithe: (2018-02-01)

Research on Smart Contract Verification and Generation Method Based on BPMN
de réir: Jun Jin, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Quality Evaluation of EPC to BPMN Business Process Model Transformation
de réir: Ahsanun Naseh Khudori, et al.
Foilsithe / Cruthaithe: (2020-07-01)

Plug-in for Annotating Semantic Effect on BPMN Business Process Models
de réir: Hilman Nuril Hadi, et al.
Foilsithe / Cruthaithe: (2019-09-01)

Transforming BPMN Processes to SBVR Process Rules with Deontic Modalities
de réir: Tomas Skersys, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Formalization of BPMN Gateways using the DD-LOTOS Formal Language
de réir: Toufik Messaoud Maarouk, et al.
Foilsithe / Cruthaithe: (2023-12-01)