Formalisations and applications of business process modelling notation

Formalisations and applications of business process modelling notation

Čájet eará veršuvnnaid (1)

<p>Business Process Modelling Notation (BPMN) is a standardised diagram notation for modelling interactive workflow processes graphically at the design stage. The primary objective of this thesis is to provide a framework for precise specifications and formal verifications of workflow processe...

Bibliográfalaš dieđut
Váldodahkki:	Wong, P
Eará dahkkit:	Gibbons, J
Materiálatiipa:	Oahppočájánas
Giella:	English
Almmustuhtton:	2011
Fáttát:	Communication Sequential Processing (CSP) Software engineering Computing

Geahča maid

Semantic models for information flow
Dahkki: Lowe, G
Almmustuhtton: (2004)

The timed failures - stability model for CSP
Dahkki: Reed, G, et al.
Almmustuhtton: (1999)

Using data-independence in the analysis of intrusion detection systems
Dahkki: Rohrmair, G, et al.
Almmustuhtton: (2005)

Applications of process-oriented design
Dahkki: Whitehead, J, et al.
Almmustuhtton: (2014)

A mathematical theory of communicating processes
Dahkki: Roscoe, A, et al.
Almmustuhtton: (1982)

Formalisations and Applications of Business Process Modelling Notation
Dahkki: Wong, P
Almmustuhtton: (2008)

Confluence thanks to extensional determinism
Dahkki: Roscoe, A
Almmustuhtton: (2006)

Model Checking Systems with Replicated Components using CSP
Dahkki: Mazur, T
Almmustuhtton: (2011)

A hierarchy of failures-based models: theory and application
Dahkki: Bolton, C, et al.
Almmustuhtton: (2005)

The formal semantics of a domain-specific modelling language
Dahkki: Grealish, C
Almmustuhtton: (2010)

From verified model to executable program: the PAT approach
Dahkki: Zhu, Huiquan, et al.
Almmustuhtton: (2017)

Techniques and tools for the verification of concurrent systems
Dahkki: Palikareva, H
Almmustuhtton: (2012)

The formalisation and transformation of access control policies
Dahkki: Slaymaker, M, et al.
Almmustuhtton: (2011)

Formalisations and applications of BPMN
Dahkki: Wong, P, et al.
Almmustuhtton: (2011)

Formalisations and Applications of BPMN
Dahkki: Wong, P, et al.
Almmustuhtton: (2011)

Sequential methods in statistics /
Dahkki: 247735 Wetherill, G. Barrie
Almmustuhtton: (1975)

Processing and Transmission of Information
Dahkki: Savage, J. E.
Almmustuhtton: (2010)

Color notations
Dahkki: Gardner, Nancy
Almmustuhtton: (2012)

A Business Process Modelling and Notation Meta-Model Approach to Enhance Prioritization for Decision-Making in Requirement Engineering
Dahkki: Muhamad Idaham, Umar Ong, et al.
Almmustuhtton: (2016)

Sequential logic : analysis and synthesis /
Dahkki: 319844 Cavanagh, Joseph J. F.
Almmustuhtton: (2007)

Lectures on linear sequential machines /
Dahkki: 459631 Harrison, Michael A.
Almmustuhtton: (1969)

Analysis and synthesis of decoders employing shift registers /
Dahkki: 254315 Volkov, Yu. I., et al.

Sequencing theory /
Dahkki: 459715 Ashour, Said
Almmustuhtton: (1972)

Computation 1 : finite state machines [kasetvideo]
Almmustuhtton: (1972)

Entailment : the formalisation of inference
Dahkki: Copeland, BJ
Almmustuhtton: (1978)

Processing and Transmission of Information
Dahkki: Elias, Peter, et al.
Almmustuhtton: (2010)

Algorithms : sequential, parallel, and distributed /
Dahkki: 272994 Berman, Kenneth A., et al.
Almmustuhtton: (2005)

Fundamentals of sequential and parallel algorithms /
Dahkki: 272994 Berman, Kenneth A., et al.
Almmustuhtton: (1997)

Noninterference for a practical DIFC-based operating system
Dahkki: Krohn, Maxwell, et al.
Almmustuhtton: (2010)

Standard notations /
Dahkki: 203853 Spratt, B. H., et al.
Almmustuhtton: (1970)

Processing and Transmission of Information
Dahkki: Tretiak, O. J., et al.
Almmustuhtton: (2010)

An architectural approach for reasoning about trust properties
Dahkki: Namiluko, C
Almmustuhtton: (2012)

Efficient Sequential and Parallel Routing Algorithms in Optical Multistage Interconnection Network
Dahkki: Abduh Kaid, Monir Abdullah
Almmustuhtton: (2005)

Finite-state models for logical machines /
Dahkki: 430261 Hennie, Frederick C.
Almmustuhtton: (1968)

A formal refinement framework for the systems modeling language
Dahkki: Jacobs, P
Almmustuhtton: (2015)

Safety through security
Dahkki: Simpson, A, et al.
Almmustuhtton: (1996)

The Z notation : a reference manual /
Dahkki: 201842 Spivey, J. M.
Almmustuhtton: (1989)

Choosing among options presented sequentially or simultaneously
Dahkki: Basu, Shankha, et al.
Almmustuhtton: (2021)

Construction of optimal sequential decision trees,
Dahkki: Martin, William A.
Almmustuhtton: (2009)

Regular algebra and finite machines /
Dahkki: 449141 Conway, John Horton
Almmustuhtton: (1971)