Cost analysis for an actor-based workflow modelling language

DOI10.1007/978-3-030-92137-8_7MaRDI QIDQ2154052zbMATH OpenOpenAlexFDO

Authors Muhammad Rizwan Ali, Violet Ka I. Pun

Publication date 13 July 2022

Full work available at URL https://hdl.handle.net/11250/2799932

zbMATH Keywords

cross-organisational workflowsformal modellingresource planningstatic analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• Cost soundness for priced resource-constrained workflow nets
• Modelling and evaluation of time aspects in business processes
• Time analysis of actor programs
• Enriched workflow modelling and stochastic branch-and-bound
• Safety and Soundness for Priced Resource-Constrained Workflow Nets

Cites work

• Applications and Theory of Petri Nets 2005
• Automatic Static Cost Analysis for Parallel Programs
• Closed-form upper bounds in static cost analysis
• Cost analysis of object-oriented bytecode programs
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• Property specifications for workflow modelling
• Resource analysis of complex programs with cost equations
• Time analysis of actor programs

This page was built for publication: Cost analysis for an actor-based workflow modelling language

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