Workflow Diagrams Based on Evidence Life Cycles
Authors: 
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi TakahashiAuthors Info & Claims
Abstract
In this paper, we introduce a new language AWL of workflow diagrams for requirement analysis in large scale information system developments. AWL has a merit that one can describe concrete and accurate life cycles of evidences (evidence documents) in workflow diagrams in the language. We also introduce a tool AWDE that supports users to compose consistent workflow diagrams in AWL, by visualizing life cycles of evidences in the workflow diagrams and verifying consistency of the life cycles. As a validation of AWL and AWDE, we report an experiential result in requirement analysis in real large scale information system developments with and without AWDE.
References
[1]
W. M. P. van der Aalst, A. Hirnschall and H. M. W. Verbeek: An Alternative Way to Analyze Workflow Graphs, Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS 2348, Springer (2002), 535-552.
[2]
R. A. Botha and J. H. P. Eloff: Access Control in Document-centric Workflow Systems An Agent-based Approach, Computers and Security, 20(6), (2001), 525-532.
[3]
Business Process Management Initiative (BPMI): Business Process Modeling Notation (BPMN) Version 1.0, (2004).
[4]
P. Dourish, K. K Edwards, A. Lamarca, J. Lamping, K. Petersen, M. Salisbury, D. B Terry and J. Thornton, Extending document management systems with user-specific active properties, ACM Transactions on Information Systems, 18(2), (2000), 140-170.
[5]
M. Dumas and A. H. M. ter Hofstede: UML Activity Diagrams as a Workflow Specification Language, UML 2001, LNCS 2185, Springer, (2001), 76-90.
[6]
H. E. Eriksson and N. Penker: Business Modeling With UML, John Wiley & Sons, Inc, (2000).
[7]
R. Krishnan, L. Munaga and K. Karlapalem: XDoC-WFMS: A Framework for Document Centric Workflow Management System, Conceptual Modeling for New Information Systems Technologies, LNCS 2465, Springer, (2002), 348-362.
[8]
R. Liu, A. Kumar: An Analysis and Taxonomy of Unstructured Workflows, Proceedings of 3rd International Conference on Business Process Management (BPM), LNCS 3649, Springer (2005), 268-284.
[9]
Ministry of Internal Affairs and Communications of Japan: Jichitai EA, Gyomu shisutemu Sasshinka no Tebiki, http://www.soumu.go.jp/denshijiti/eatebiki/index.html, (in Japanese).
[10]
W. Sadiq and M. E. Orlowska: Analyzing Process Models Using Graph Reduction Techniques, Information Systems, 25(2)), (2000), 117-134.
[11]
O. Takaki, T. Seino, I. Takeuti, N. Izumi and K. Takahashi: Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams, Proceedings of The 2nd International Conference on Software Engineering Advances, IEEE Computer Society Press, (2007).
[12]
O. Takaki, T. Seino, I. Takeuti, N. Izumi and K. Takahashi: Algorithms verifying phenomena independence and abstracting phenomena subgraphs of UML activity diagrams, Software Engineering Saizensen 2007, Kindaikagaku-sha, (2007), 153-164, (in Japanese).
[13]
J. Wang and A. Kumar: A Framework for Document-Driven Workflow Systems, Proceedings of 3rd International Conference on Business Process Management (BPM), LNCS 3649, Springer, (2005), 285-301.
[14]
Workflow Management Coalition (WfMC): Workflow Management Coalition Workflow Standard: Workflow Process Definition Interface - XML Process Definition Language (XPDL), (WfMC-TC-1025), Technical report, Workflow Management Coalition, Lighthouse Point, Florida, USA (2002).
Recommendations
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams
ICSEA '07: Proceedings of the International Conference on Software Engineering AdvancesIn this paper, we introduce an algorithm called "EVA” (Evidence Verification Algorithm), which verifies consistency of life cycles of evidence-documents in workflows. As syntax of workflows, we use extended UML activity diagrams, which have additional ...
An ArgoUML metamodel extension for the workflow systems
Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004The Unified Model Language (UML) has nine diagrams. One of them is the activity diagram. This allows the modeling of business processes. A business process is a set of logically related tasks executed to achieve a business result. Workflow systems are ...
Synthesizing object life cycles from business process models
Unified modeling language (UML) activity diagrams can model the flow of stateful business objects among activities, implicitly specifying the life cycles of those objects. The actual object life cycles are typically expressed in UML state machines. The ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
IOS Press
Netherlands
Publication History
Published: 29 June 2008
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 01 Mar 2025