Capturing the Behavioural Semantics of Large Scale Systems

Businesses are defined by an interlinked contiguous collection of business systems each of which executes specific sets of business processes. Examples of business systems include financial management, customer relationship management, employee management, product procurement, and facilities management.