Cost analysis for an actor-based workflow modelling language

DOI10.1007/978-3-030-92137-8_7zbMath1498.68069OpenAlexW3205159201MaRDI QIDQ2154052

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

static analysisresource planningformal modellingcross-organisational workflows

Mathematics Subject Classification ID

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

Cites Work

• Property specifications for workflow modelling
• Cost analysis of object-oriented bytecode programs
• Time analysis of actor programs
• Closed-form upper bounds in static cost analysis
• Resource Analysis of Complex Programs with Cost Equations
• Automatic Static Cost Analysis for Parallel Programs
• KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
• Applications and Theory of Petri Nets 2005

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