Abstract
Business process and enterprise activity modelling plays a central role in enterprise modelling in the context of CIM and enterprise integration Business processes model enterprise behaviour while enterprise activities model enterprise functionality In this paper enterprise modelling and integration are first discussed Then, a formalism to specify business processes and enterprise activities is presented The formal ism makes use of behavioural rules derived from process algebra for structured processes and temporal logic for semi-structured processes The paradigm assumes that processes and their activities are executed by human or non-human agents called functional entities performing ele mentary actions, called functional operations

This publication has 10 references indexed in Scilit: