RolEnact is a formal process modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are equivalent to Role Activity Diagrams (RADs). This allows the modeller to describe processes in a notation (RADs); which can be understood both by process consultants and process users; whilst retaining the ability to generate enacta...

This paper describes RolEnact: a process-modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are equivalent to role activity diagrams (RADs). This allows the modeller to describe processes in a notation (RADs); which can be understood both by process consultants and process users, whilst retaining the ability to gen...

The main focus of this paper is on services involving sessions among dynamically linked objects. It is argued that session initiation in many cases can be generalized and separated from session behaviour. In general, session initiation depends on the state of the actor that is requested to participate in a session. If the actor can handle the requested session in its current state, then it may ...

Parallel Simulation has presented the possibility of performing higk speed simulation. However, when attempting to make a link between the requirenzents of Parallel Simulation and Discrete Event Simulation wed in commercial areas such as manufacturing a major problem a r k s . This lies in the decomposition of the simulation into a series of concurrently executing objects. Using the activity cy...

To enhance trustworthiness, UML (unified modeling language) activity diagrams are transformed into Petri nets for verification and analysis. Data concerned Petri net (DCPN) is proposed for activity diagrams’ modeling. Mapping rules for transforming elements in an activity diagram into DCPNs are proposed in both graphical and formal forms. Weaving method is used to compose DCPNs. This paper prov...

Small momentum expansion of the ”sunset” diagram with three different masses is obtained. Coefficients at powers of p2 are evaluated explicitly in terms of dilogarithms and elementary functions. Also some power expansions of ”sunset” diagram in terms of different sets of variables are given. The ”sunset” diagram (see Fig. 1) was the object of investigation in several recent works [1, 2, 3, 4, 5...

We explore adhesive loose packings of small dry spherical particles of micrometer size using 3D discrete-element simulations with adhesive contact mechanics and statistical ensemble theory. A dimensionless adhesion parameter (Ad) successfully combines the effects of particle velocities, sizes and the work of adhesion, identifying a universal regime of adhesive packings for Ad > 1. The structura...

The UML 2 Activity Diagram is designed for modelling business processes, but does not yet include any concepts for modelling process goals and their measures. We extend the UML 2 Activity Diagram with process goals and performance measures to make them conceptually visible. Additionally, we provide a mapping to BPEL to make the measures available for execution and monitoring. This profile and i...