Process Modelling (PM) is a software engineering discipline that aims at supporting the development of large and complex software systems. Therefore, PM focusses on study, de nition, enaction, and possibly improvement of software process models. Traditional transaction management (TM) protects data against unexpected system failures, con icts or inconsistencies. TM is also used in other areas, ...

The paper deals with the paradigm of factbased modelling and its relation to value-oriented business process modelling. Fact-based modelling is a conceptual approach for information systems modelling. It can be also considered as a synonym for object-role modelling (ORM). Value-oriented business process modelling represents resource-event-agent (REA) ontology and its REA value model. Analysing ...

We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditions, it becomes easy to model preferential choices. A preferential choice of a process is a choice whereby certain alternatives are excluded if at least one of the other alternatives is permitted by the context in whi...