scientific article; zbMATH DE number 2006480

MaRDI QIDQ4435847zbMATH OpenFDO

Authors Marlon Dumas, Arthur H. M. ter Hofstede

Publication date 20 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2185/21850076.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• A formalism for reasoning about UML activity diagrams
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Semantic foundation and validation of live activity diagrams
• Comparing Petri net and activity diagram variants for workflow modelling -- a quest for reactive Petri nets
• scientific article; zbMATH DE number 1693514

Cited in

(9)

• Automatic workflow verification and generation
• Reduction of workflow nets for generalised soundness verification
• Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
• scientific article; zbMATH DE number 2086744 (Why is no real title available?)
• A new approach to development of composite Web Services
• Comparing Petri net and activity diagram variants for workflow modelling -- a quest for reactive Petri nets
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Semantic foundation and validation of live activity diagrams
• Information flow analysis of scientific workflows

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4435847)