Verification Support for Workflow Design With UML Activity Graphs

doi 10.1145/581339.581362
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Tracing Software Development With UML—A Pragmatic Workflow

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

GUIDE: Games With UML for Interactive Design Exploration

Knowledge-Based Systems
SoftwareInformation SystemsManagementArtificial IntelligenceManagement Information Systems
2007English

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Workflow and Process Synchronization With Interaction Expressions and Graphs

English

Assignment Workflow Support System

Acta Electrotechnica et Informatica
2012English

Workflow Support for Live Object-Based Broadcasting

2018English

A Validation Technique for UML Activity Model

International Journal of Computer Applications
2015English

Testing From UML Design Using Activity Diagram: A Comparison of Techniques

International Journal of Computer Applications
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy