SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Looking into the Future · Study

WorkLooking into the Future

Michael Westergaard2012

Work2012

Looking into the Future

Michael Westergaard · Fabrizio Maria Maggi

29 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Model-Driven Software Engineering Techniques

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 29 citations exist upstream.

References

2007DECLARE: Full Support for Loosely-Structured Processes 2009Declarative workflows: Balancing between flexibility and support 2010Specification and Verification of Declarative Open Interaction Models 2007DECLARE: Full Support for Loosely-Structured Processes 2011Declare : a tool suite for declarative workflow modeling and enactment

Cited by

2016Do activity lifecycles affect the validity of a business rule in a business process?2018On the relevance of a business constraint to an event log 2014Discovering Metric Temporal Business Constraints from Event Logs 2021DisCoveR: accurate and efficient discovery of declarative process models 2013Generating Multi-objective Optimized Business Process Enactment Plans 2014Discovering Target-Branched Declare Constraints 2017Online and offline classification of traces of event logs on the basis of security risks

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2014Monitoring data-aware business constraints with finite state automataother · 4 shared references 2015The Effect of Noise on Mined Declarative Constraintsother · 4 shared references 2015Generating Event Logs Through the Simulation of Declare Modelsother · 3 shared references 2012An Operational Decision Support Framework for Monitoring Business Constraintsother · 3 shared references 2015Web-Based Modelling and Collaborative Simulation of Declarative Processesother · 3 shared references 2016The Semantics of Hybrid Process Modelsother · 3 shared references

Details

Year2012

Typeother

Published2012-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations29

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-33606-5_16

openalex_workW1575356253

Links

Imported from OpenAlex (CC0) — nothing here is generated.