Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
50
views
26
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,958
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Business Process Management
Classification and Formalization of Instance-Spanning Constraints in Process-Driven Applications
other
Author(s):
Walid Fdhila
,
Manuel Gall
,
Stefanie Rinderle-Ma
,
Juergen Mangler
,
Conrad Indiono
Publication date
(Online):
September 08 2016
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Applications of SAXS
Most cited references
26
Record
: found
Abstract
: not found
Article
: not found
A Design Science Research Methodology for Information Systems Research
Ken Peffers
,
Tuure Tuunanen
,
Marcus A. Rothenberger
…
(2007)
0
comments
Cited
433
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
The temporal logic of programs
Amir Pnueli
(1977)
0
comments
Cited
393
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Modeling in Event-B
Jean-Raymond Abrial
(2010)
0
comments
Cited
101
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2016
Publication date (Online):
September 08 2016
Pages
: 348-364
DOI:
10.1007/978-3-319-45348-4_20
SO-VID:
aa6788bc-b3a0-483e-a025-a07644856b68
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Rethinking BPM in a Cognitive World: Transforming How We Learn and Perform Business Processes
pp. 20
Ontological Considerations About the Representation of Events and Endurants in Business Models
pp. 57
A Stability Assessment Framework for Process Discovery Techniques
pp. 73
Measuring the Quality of Models with Respect to the Underlying System: An Empirical Study
pp. 90
Handling Duplicated Tasks in Process Discovery by Refining Event Labels
pp. 108
Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models
pp. 125
From Low-Level Events to Activities - A Pattern-Based Approach
pp. 142
Discovering and Exploring State-Based Models for Multi-perspective Processes
pp. 158
Semantical Vacuity Detection in Declarative Process Mining
pp. 179
In Log and Model We Trust? A Generalized Conformance Checking Framework
pp. 197
A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models
pp. 217
Semantics and Analysis of DMN Decision Tables
pp. 234
Dynamic Skipping and Blocking and Dead Path Elimination for Cyclic Workflows
pp. 252
The Complexity of Deadline Analysis for Workflow Graphs with Multiple Resources
pp. 271
Dealing with Behavioral Ambiguity in Textual Process Descriptions
pp. 289
The Effect of Modularity Representation and Presentation Medium on the Understandability of Business Process Models in BPMN
pp. 308
Towards Quality-Aware Translations of Activity-Centric Processes to Guard Stage Milestone
pp. 348
Classification and Formalization of Instance-Spanning Constraints in Process-Driven Applications
pp. 365
Value at Risk Within Business Processes: An Automated IT Risk Governance Approach
pp. 383
PRISM – A Predictive Risk Monitoring Approach for Business Processes
pp. 401
Predictive Business Process Monitoring with Structured and Unstructured Data
pp. 418
P $$^3$$ -Folder: Optimal Model Simplification for Improving Accuracy in Process Performance Prediction
Similar content
1,958
Breast Cancer Molecular Subtype Prediction on Pathological Images with Discriminative Patch Selection and Multi-Instance Learning
Authors:
Hong. Liu
,
Wen-Dong Xu
,
Zi-Hao Shang
…
CTVIS: Consistent Training for Online Video Instance Segmentation
Authors:
Kaining Ying
,
Qing Zhong
,
Weian Mao
…
Scale Disparity of Instances in Interactive Point Cloud Segmentation
Authors:
Chenrui Han
,
Xuan Yu
,
Yuxuan Xie
…
See all similar
Cited by
1
Visual Modeling of Instance-Spanning Constraints in Process-Aware Information Systems
Authors:
Manuel Gall
,
Stefanie Rinderle-Ma
See all cited by