Automatic generation of use cases from workflows: A Petri net based approach

DOI10.1007/3-540-45923-5_19MaRDI QIDQ4738331zbMATH OpenFDO

Authors Oscar A. López, Miguel A. Laguna, F. J. García

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Supporting reusable use cases
• Workflow modeling design based on Petri nets and UML
• Formal specification generation from requirement documents
• Software reuse with use case patterns
• Petri net-based modelling of workflow systems: An overview

This page was built for publication: Automatic generation of use cases from workflows: A Petri net based approach

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