View article

Existing computer science approaches to business modeling offer low-level abstractions such as data and control flows, which fail to capture the business intent underlying the interactions that are central to real-life business models. In contrast, existing management science approaches are high-level but not only are these semiformal, they are also focused exclusively on managerial concerns such as valuations and profitability.

This paper proposes a novel business metamodel based on commitments that considers additional agent-oriented concepts, specifically, goals and tasks. It proposes a set of business patterns and algorithms for checking model completeness and verification of agent interactions. Unlike traditional models, our approach marries rigor and flexibility, providing a crisp notion of correctness and compliance independent of specific executions.