Formalisations and applications of BPMN

Formalisations and applications of BPMN

他のバージョン（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...

書誌詳細
主要な著者:	Wong, P, Gibbons, J
フォーマット:	Journal article
言語:	English
出版事項:	2011

類似資料

Formalisations and Applications of BPMN
著者:: Wong, P, 等
出版事項: (2011)

A Process Semantics for BPMN
著者:: Wong, P, 等
出版事項: (2008)

A Process Semantics for BPMN
著者:: Wong, P, 等
出版事項: (2008)

A Process Semantics for BPMN
著者:: Wong, P, 等
出版事項: (2008)

A Relative Timed Semantics for BPMN
著者:: Wong, P, 等
出版事項: (2009)

A Relative Timed Semantics for BPMN
著者:: Wong, P, 等
出版事項: (2008)

A Relative Timed Semantics for BPMN
著者:: Wong, P, 等
出版事項: (2008)

Formalisations and applications of business process modelling notation
著者:: Wong, P
出版事項: (2011)

Formalisations and Applications of Business Process Modelling Notation
著者:: Wong, P
出版事項: (2008)

Collaboration vs. choreography conformance in BPMN
著者:: Flavio Corradini, 等
出版事項: (2020-10-01)

Análisis de requerimientos usando BPMN
著者:: Juan Carlos Molina, 等
出版事項: (2010-06-01)

Modelling of validation process with BPMN notation
著者:: Joanna Łabędzka
出版事項: (2022-06-01)

Entailment : the formalisation of inference
著者:: Copeland, BJ
出版事項: (1978)

Formalisation of the component specification
著者:: Vaidas Giedrimas, 等
出版事項: (2004-12-01)

A formalisation of XMAS
著者:: Bernard van Gastel, 等
出版事項: (2013-04-01)

Formalising Confluence in PVS
著者:: Mauricio Ayala-Rincón
出版事項: (2016-03-01)

Relative Monads Formalised
著者:: Thorsten Altenkirch, 等
出版事項: (2014-07-01)

La formalisation du discours savant La formalisation du discours savant
著者:: Jean-Claude Gardin
出版事項: (1999-11-01)

The role of formalised and non-formalised intentions in legal parent-child relationships in Dutch law
著者:: Machteld Vonk
出版事項: (2008-06-01)

Measures of quality of process models created in BPMN
著者:: Radek Hronza, 等
出版事項: (2015-12-01)

Eligibility of BPMN Models for Business Process Redesign
著者:: George Tsakalidis, 等
出版事項: (2019-07-01)

Generating BPMN diagram from textual requirements
著者:: Sholiq Sholiq, 等
出版事項: (2022-11-01)

Liveness and Reachability Analysis of BPMN Process Models
著者:: Anass Rachdi, 等
出版事項: (2016-06-01)

Ontology as a Term System of BPMN Notation
著者:: Natalya V. Bogoslovskaya, 等
出版事項: (2021-03-01)

Using LOTOS for FormalisingWireless Sensor Network Applications
著者:: Paulo Roberto Freire Cunha, 等
出版事項: (2007-08-01)

Organisation management tasks formalisation
著者:: A. V. Raychenko
出版事項: (2022-07-01)

Formalisation as a judicial claim
著者:: Lorena Poblete
出版事項: (2020-06-01)

BPMN diagram dataset: Comprehensive collection of functional requirements
著者:: Sholiq Sholiq, 等
出版事項: (2024-12-01)

Formalised risk identification and evaluation models application in the conditions of agricultural enterprises
著者:: P. Římovská
出版事項: (2002-02-01)

Vertrouwen, formalisering en prestaties in interorganisatorische relaties
著者:: Frans A. J. Van Den Bosch, 等
出版事項: (2006-01-01)

The formalisation and transformation of access control policies
著者:: Slaymaker, M, 等
出版事項: (2011)

Formalisation of the sofware component ontology specification
著者:: Lina Bagušytė, 等
出版事項: (2005-12-01)

Business rules formalisation for information systems
著者:: Ivana Rábová
出版事項: (2010-01-01)

Formalising the Continuous/Discrete Modeling Step
著者:: Wen Su, 等
出版事項: (2011-06-01)

Formalising Sensor Topologies for Target Counting
著者:: Sven Linker, 等
出版事項: (2018-02-01)

Research on Smart Contract Verification and Generation Method Based on BPMN
著者:: Jun Jin, 等
出版事項: (2024-07-01)

Quality Evaluation of EPC to BPMN Business Process Model Transformation
著者:: Ahsanun Naseh Khudori, 等
出版事項: (2020-07-01)

Plug-in for Annotating Semantic Effect on BPMN Business Process Models
著者:: Hilman Nuril Hadi, 等
出版事項: (2019-09-01)

Transforming BPMN Processes to SBVR Process Rules with Deontic Modalities
著者:: Tomas Skersys, 等
出版事項: (2022-09-01)

Formalization of BPMN Gateways using the DD-LOTOS Formal Language
著者:: Toufik Messaoud Maarouk, 等
出版事項: (2023-12-01)