Property Specifications for Workflow Modelling

Property Specifications for Workflow Modelling

Show other versions (3)

Previously we provided two formal behavioural semantics for the Business Process Modelling Notation (BPMN) in the process algebra CSP. By exploiting CSP's refinement orderings, developers may formally compare their BPMN models. However, BPMN is not a specification language, and it is difficult...

書目詳細資料
Main Authors:	Wong, P, Gibbons, J
格式:	Journal article
出版:	2010

相似書籍

Property specifications for workflow modelling
由: Wong, P, et al.
出版: (2011)

Property Specifications for Workflow Modelling
由: Wong, P, et al.
出版: (2009)

Property Specifications for Workflow Modelling
由: Wong, P, et al.
出版: (2009)

A process-algebraic approach to workflow specification and refinement
由: Wong, P, et al.
出版: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
由: Wong, P, et al.
出版: (2007)

A Process−Algebraic Approach to Workflow Specification and Refinement
由: Wong, P, et al.
出版: (2007)

Formal Trust Specification in Service Workflows
由: Viriyasitavat, W, et al.
出版: (2015)

Towards A Unified Model for Workflow Processes
由: Wong, P
出版: (2006)

SWSpec: The Requirements Specification Language in Service Workflow Environments
由: Viriyasitavat, W, et al.
出版: (2012)

SWSpec: The Requirements Specification Language in Service Workflow Environments
由: Viriyasitavat, W, et al.
出版: (2012)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
由: Viriyasitavat, W, et al.
出版: (2011)

Workflows for e-science : scientific workflows for grids /
由: Taylor, Ian J., 1968-
出版: (2007)

Workflow: success or failure.
由: Tan, Tian Leng., et al.
出版: (2008)

A Linked Data Approach to Sharing Workflows and Workflow Results.
由: Roos, M, et al.
出版: (2010)

The reviews and analysis of the state-of-the-art service workflow specification languages
由: Viriyasitavat, W, et al.
出版: (2017)

In the Relation of Workflow and Trust Characteristics‚ and Requirements in Service Workflows
由: Viriyasitavat, W, et al.
出版: (2011)

Workflow scheduling
由: Agarwal, Kanika
出版: (2013)

Why workflows break - Understanding and combating decay in Taverna workflows.
由: Zhao, J, et al.
出版: (2012)

Model for the evaluation of usability of scientific workflows
由: Amelia, Abd Rahman
出版: (2019)

Workflow management : models, methods, and systems /
由: 436006 Aalst, Wil van der, et al.
出版: (2004)

Formal and Model−Based Testing of Concurrent Workflows
由: Wang, C, et al.
出版: (2011)

Formal and Model−Based Testing of Concurrent Workflows
由: Wang, C, et al.
出版: (2011)

Bayesian workflow for disease transmission modeling in Stan
由: Grinsztajn, L, et al.
出版: (2021)

Comparative genomic workflow
由: Rajapakse, Jagath, et al.
出版: (2010)

Workflow in collaborative learning
由: Abdullah, Rusli
出版: (2000)

Distributed execution of workflow
由: Khademi Hedayat, Maryam
出版: (2009)

Workflow in imaging systems /
由: D'Alleyrand, Marc R.
出版: (1992)

Taverna Workflows: Syntax and Semantics.
由: Turi, D, et al.
出版: (2007)

Workflow modeling : tools for process improvement and application development /
由: 186959 Sharp, Alec, et al.
出版: (2009)

Active rule support for workflows
由: Liu, Shuzhou.
出版: (2008)

Collaborative business workflow management
由: Palamalai Natarajan
出版: (2008)

Essential Windows workflow foundation /
由: 445225 Shukla, Dharma, et al.
出版: (2007)

Production workflow : concepts and techniques /
由: 306950 Leymann, Frank, et al.
出版: (2000)

Comparing Workflows: A Matter of Views
由: Abiteboul, S, et al.
出版: (2011)

Comparing Workflows: A Matter of Views
由: Abiteboul, S, et al.
出版: (2012)

Reuse, Remix, Repeat: the Workflows of MIR.
由: Page, K, et al.
出版: (2012)

MyExperimentalScience, extending the 'workflow'
由: Frey, J, et al.
出版: (2013)

Sensitivity analysis of environmental models: A systematic review with practical workflow
由: Pianosi, F, et al.
出版: (2016)

Scalable workflows and reproducible data analysis for genomics
由: Strozzi, F, et al.
出版: (2019)

CMS distributed computing workflow experience
由: Adelman-McCarthy, Jennifer, et al.
出版: (2013)