A formal framework for business process modelling and design

DOI10.1016/S0306-4379(01)00055-2MaRDI QIDQ1859984zbMATH OpenFDO

Authors Manolis Koubarakis, Dimitris Plexousakis

Publication date 20 February 2003

Published in Information Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0306-4379(01)00055-2

zbMATH Keywords

business process modellingConGologenterprise modellingformal verificationmethodologysituation calculus

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• A rigorous methodology for specification and verification of business processes
• scientific article; zbMATH DE number 2215868
• BPMN -- a logical model and property analysis
• Formalising Feasibility and Correctness of Distributed Business Processes
• scientific article; zbMATH DE number 2088773

Cited in

(20)

• A rigorous methodology for specification and verification of business processes
• Formal methods to improve public administration business processes
• scientific article; zbMATH DE number 2088773 (Why is no real title available?)
• A formal ontology for business process model TAP: tasks-agents-products
• Business process specification and analysis
• A Formal Model for Organisational Structures behind Process-Aware Information Systems
• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
• Visualising business processes
• A Multi-perspective Methodology for Modelling Inter-enterprise Business Processes
• Formalising Feasibility and Correctness of Distributed Business Processes
• scientific article; zbMATH DE number 1949582 (Why is no real title available?)
• scientific article; zbMATH DE number 1755746 (Why is no real title available?)
• Verification and validation of formal data-centric business models
• Algorithm for formal verification of business process templates
• scientific article; zbMATH DE number 1931724 (Why is no real title available?)
• scientific article; zbMATH DE number 1873235 (Why is no real title available?)
• A Petri-nets based unified modeling approach for Zachman framework cells
• Four Steps Towards Sound Business Process Models
• On expressiveness of a language for describing definitions and process realizations
• Algorithmical approaches to business process design

This page was built for publication: A formal framework for business process modelling and design

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