SZodixStudyAcademic Library

Shelves Open access

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

Checking business process evolution · Study

ArticleShelves

ArticleChecking business process evolution

Ajay Krishna2018

OA

Articlebronze2018

Checking business process evolution

Ajay Krishna · Pascal Poizat · Gwen Salaün

36 citations·0/0 files stored·Science of Computer Programming

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2003Workflow Patterns 2014Business Process Model and Notation—BPMN 2008Semantics and analysis of business process models in BPMN 2012Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies 2008Measuring Similarity between Business Process Models 2008A Process Semantics for BPMN 2009Instantaneous Soundness Checking of Industrial Business Process Models

Cited by

2020Towards FAIR protocols and workflows: the OpenPREDICT use case 2019Development of Collaborative Business Processes: A Correctness Enforcement Approach 2021Resource provisioning strategies for BPMN processes: Specification and analysis using Maude

Related works

Explore the map →

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

2017Checking Business Process Evolutionother · 10 shared references 2017Verifying Timed BPMN Processes Using Maudeother · 6 shared references 2019A rewriting logic approach to resource allocation analysis in business process modelsarticle · 5 shared references 2009Petri Net Transformations for Business Processes – A Surveyother · 4 shared references 2012A Decade of Business Process Management Conferences: Personal Reflections on a Developing Disciplineother · 4 shared references 2009Change Propagation in Process Models Using Behavioural Profilesother · 4 shared references

Details

Year2018

Typearticle

Published2018-11-06

VenueScience of Computer Programming

ISSN-L0167-6423

Languageen

Citations36

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1016/j.scico.2018.09.007

openalex_workW2900200025

Links

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