Amanote Research

Amanote Research

    RegisterSign In

Overview of Verification Tools for Business Process Models

doi 10.15439/2017f308
Full Text
Open PDF
Abstract

Available in full text

Date

September 24, 2017

Authors
Anna Suchenia (Mroczek)Piotr WiśniewskiAntoni Ligęza
Publisher

IEEE


Related search

BProVe: Tool Support for Business Process Verification

2017English

Aligning Business Process Models

2009English

A Comparative Assessment of Collaborative Business Process Verification Approaches

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

Synthesizing Data-Centric Models From Business Process Models

Computing (Vienna/New York)
Numerical AnalysisComputational TheoryComputer Science ApplicationsComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
2015English

Process SEER: A Tool for Semantic Effect Annotation of Business Process Models

2009English

Comprehension of Procedural Visual Business Process Models

Wirtschaftsinformatik
Information Systems
2017English

Bisociative Discovery in Business Process Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Correctness-Preserving Configuration of Business Process Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Models and Tools for Strategic Air Traffic Flow Management: Special Issue Overview

Journal of Aerospace Operations
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy