loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Osamu Takaki ; Takahiro Seino ; Izumi Takeuti ; Noriaki Izumi and Koichi Takahashi

Affiliation: Research Center for Verification and Semantics, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology, Japan

Keyword(s): Formal Verification, Requirement Analysis, UML Activity Diagrams, Workflow Diagrams.

Related Ontology Subjects/Areas/Topics: CASE Tools for System Development ; Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling Formalisms, Languages and Notations

Abstract: Passback flows are a kind of flows which appear as replays of operations in a workflow diagram. In order to consider consistency of a workflow diagram and to verify the consistency, it needs to deal with passback flows as special ones. In this paper, we formalize a passback flow in a workflow diagram with only graph theoretical properties of the workflow diagram, and we give an algorithm detecting and removing all passback flows in a workflow diagram. Furthermore, with the algorithm, we extend consistency properties of the structure and life cycles of evidences over an acyclic workflow diagram into those over a general workflow diagram. Our methodology enables us to improve quality of a workflow diagram with loops.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.119.126.80

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Takaki, O.; Seino, T.; Takeuti, I.; Izumi, N. and Takahashi, K. (2008). QUALITY IMPROVEMENT OF WORKFLOW DIAGRAMS BASED ON PASSBACK FLOW CONSISTENCY. In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-8111-38-8; ISSN 2184-4992, SciTePress, pages 351-359. DOI: 10.5220/0001709703510359

@conference{iceis08,
author={Osamu Takaki. and Takahiro Seino. and Izumi Takeuti. and Noriaki Izumi. and Koichi Takahashi.},
title={QUALITY IMPROVEMENT OF WORKFLOW DIAGRAMS BASED ON PASSBACK FLOW CONSISTENCY},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2008},
pages={351-359},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001709703510359},
isbn={978-989-8111-38-8},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - QUALITY IMPROVEMENT OF WORKFLOW DIAGRAMS BASED ON PASSBACK FLOW CONSISTENCY
SN - 978-989-8111-38-8
IS - 2184-4992
AU - Takaki, O.
AU - Seino, T.
AU - Takeuti, I.
AU - Izumi, N.
AU - Takahashi, K.
PY - 2008
SP - 351
EP - 359
DO - 10.5220/0001709703510359
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic