"The Business Process Modeling Language (BPML) specification provides an abstract model for expressing business processes and supporting entities. BPML defines a formal model for expressing abstract and executable processes that address all aspects of enterprise business processes, including activities of varying complexity, transactions and their compensation, data management, concurrency, exception handling and operational semantics. BPML also provides a grammar in the form of an XML Schema for enabling the persistence and interchange of definitions across heterogeneous systems and modeling tools." (from the specification)
Formalism
transactional finite-state machine
State Transitions
Related
Links
BPMN
b_bprimal