SZodixStudyAcademic Library

Shelves Open access

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

Modeling and Formally Checking Workflow Properties Using UML and OCL · Study

WorkModeling and Formally Checking Workflow Properties Using UML and OCL

Jens Brüning2010

Work2010

Modeling and Formally Checking Workflow Properties Using UML and OCL

Jens Brüning · Martin Gogolla · Peter Forbrig

13 citations·0/0 files stored·Lecture notes in business information processing

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 — 13 citations exist upstream.

References

2003Workflow Patterns 2004YAWL: yet another workflow language 1999ARIS — Business Process Modeling 2009Declarative workflows: Balancing between flexibility and support 2001UML Activity Diagrams as a Workflow Specification Language 2008Oryx – An Open Modeling Platform for the BPM Community 2026Evaluation of Workflow Management Systems - A Meta Model Approach 2007Verification of Business Process Quality Constraints Based on Visual Process Patterns

Cited by

2011UML Metamodel-based Workflow Modeling and Execution 2012A Formal Diagrammatic Approach to Timed Workflow Modelling

Related works

Explore the map →

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

2014Research Challenges for Business Process Models at Run-Timeother · 4 shared references 2005Workflow Data Patterns: Identification, Representation and Tool Supportother · 3 shared references 2004Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Managementother · 3 shared references 2006On the suitability of UML 2.0 activity diagrams for business process modellingarticle · 3 shared references 2007Deadline-based escalation in process-aware information systemsarticle · 3 shared references 2012Enterprise Modelling and Information Systems Architecturesarticle · 3 shared references

Details

Year2010

Typeother

Published2010-01-01

VenueLecture notes in business information processing

ISSN-L1865-1348

Languageen

Citations13

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-16101-8_11

openalex_workW1523329153

Links

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