Business process specification and analysis

MaRDI QIDQ3614667zbMATH OpenFDO

Authors Uwe Nestmann, Frank Puhlmann

Publication date 9 March 2009

zbMATH Keywords

\(\pi\)-calculus agents

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of organizations, manpower planning in operations research (90B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Look Around the Corner: The Pi-Calculus
• A rigorous methodology for specification and verification of business processes
• BPMN -- a logical model and property analysis
• Formalisations and applications of BPMN
• A formal framework for business process modelling and design

Cited in

(3)

• scientific article; zbMATH DE number 1161433 (Why is no real title available?)
• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
• A rigorous methodology for specification and verification of business processes

This page was built for publication: Business process specification and analysis

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