Correctness of aspect-oriented business process modeling

Correctness of aspect-oriented business process modeling

Bibliographic Details
Main Authors:	Xu, Wang, Xuan, Zhang, Tong, Li, Junhui, Liu, Qingyi, Chen
Format:	text
Language:	eng
Published:	Emerald 2018
Subjects:	Aspect-oriented modelling,Business process modelling,Correctness,Petri nets

Similar Items

Ownership relevance in aspect-oriented business process models
by: Julio Cesar Sampaio do Prado, Leite, et al.
Published: (2016)

A Petri net model of process platform‐based production configuration
by: Linda L., Zhang, et al.
Published: (2013)

Synthesis of Petri Net based Model of a Discrete Event Manufacturing System for Nonlinear Process Plan
by: Słota Adam, et al.
Published: (2016-06-01)

Creating Model for Technological Process of Inertisation / Modelování Technologického Procesu Inertizace
by: Otte Lukáš, et al.
Published: (2012-09-01)

Aspect‐oriented business process modeling: analyzing open issues
by: Fabiana, Jack Nogueira Santos, et al.
Published: (2012)

Correction of spectral radiance of optical satellite image for mountainous terrain for studying land surface cover changes
by: Ke Luong Chinh, et al.
Published: (2014-06-01)

Analysis of Using Resources in Business Process Modeling and Simulation
by: Vasilecas Olegas, et al.
Published: (2014-12-01)

Formal Framework to improve the reliability of concurrent and collaborative learning games
by: Mounier, et al.
Published: (2014-05-01)

Snoopy’s hybrid simulator: a tool to construct and simulate hybrid biological models
by: Mostafa Herajy, et al.
Published: (2017-07-01)

Collaborative workflow modelling based on activity diagrams, coloured petri-nets and system dynamics
by: Pudhota, Leo
Published: (2012)

The effect of cigarette smoking on endothelial damage and atherosclerosis development – modeled and analyzed using Petri nets
by: Chmielewska Kaja, et al.
Published: (2017-06-01)

Failures in discrete-event systems and dealing with them by means of Petri nets
by: František Čapkovič
Published: (2018-05-01)

Business process orientation in the Slovenian power supply
by: Rajko, Novak, et al.
Published: ()

Achieving higher supply chain performance via business process orientation
by: Kayvan, Miri-Lavassani, et al.
Published: (2018)

The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model
by: Rżosińska Katarzyna, et al.
Published: (2017-06-01)

A knowledge‐based system for process family planning
by: Linda L., Zhang, et al.
Published: (2013)

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets
by: Asnina Erika, et al.
Published: (2014-12-01)

Diagnosis of Technological Systems Based On the Structural Decomposition of Their Coloured Petri Net Model
by: Pózna Anna I., et al.
Published: (2016-12-01)

Tools and Methods for RTCP-Nets Modeling and Verification
by: Szpyrka Marcin, et al.
Published: (2016-09-01)

Market orientation and performance: modelling a neural network
by: Manuela, Silva, et al.
Published: (2009)

TimeNET Optimization Environment
by: Christoph Bodenstein, et al.
Published: (2015-12-01)

Adoption of Business Process Orientation Practices: Slovenian and Croatian Survey
by: Rok Škrinjar, et al.
Published: (2010-01-01)

Towards an Aspect-Oriented Design and Modelling Framework for Synthetic Biology
by: Philipp Boeing, et al.
Published: (2018-09-01)

Manatee invariants reveal functional pathways in signaling networks
by: Leonie Amstein, et al.
Published: (2017-07-01)

Programming by demonstration of the sequence of tightening a nut allowing variations in tool position
by: José G. Hoyos-Gutiérrez, et al.
Published: (2016-01-01)

Comprehensive architecture for intelligent adaptive interface in the field of single‐human multiple‐robot interaction
by: Mahdi Ilbeygi, et al.
Published: (2018-07-01)

Supply chain conflict detection with coloured petri nets
by: Franklin R., John, et al.
Published: (2012)

Modelling and Simulation of Biochemical Processes Using Petri Nets
by: Safae Cherdal, et al.
Published: (2018-07-01)

An analytical method for well-formed workflow/Petri net verification of classical soundness
by: Clempner Julio
Published: (2014-12-01)

Entrepreneurially oriented in what? A business model approach to entrepreneurship
by: Jim, Andersén, et al.
Published: (2015)

The Application of Automation Theory to Railway Signaling Systems: Turkish National Railway Signaling Project
by: Mustafa Seçkin Durmuş, et al.
Published: (2013-05-01)

Modelling an Interactive Road Signs System, Using Petri Nets
by: Kombe Timothee, et al.
Published: (2017-03-01)

Preparation and scheduling system of emergency supplies in disasters
by: Liu, Jia, et al.
Published: (2015)

Extraction of elementary siphons in a class of generalized Petri nets using graph theory
by: YiFan, Hou, et al.
Published: (2014)

A framework for the alignment of business model and business processes
by: Sam, Solaimani, et al.
Published: (2012)

Towards a formal definition of goal‐oriented business process patterns
by: Birger, Andersson, et al.
Published: (2005)

TERMINOLOGY IN PROCESS MANAGEMENT
by: Igor G. Fedorov
Published: (2013-01-01)

Inward Processing Regime and Current Account Balance: A Sectoral Analysis for Turkey
by: Emrullah Mete, et al.
Published: (2017-12-01)

Business process orientated holonic (PrOH) modeling
by: Ben, Clegg
Published: (2006)

Operational excellence through business process orientation
by: Bahar, Movahedi, et al.
Published: (2016)