The authors promote the use of transactional attributes for modeling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBeans (EJB) to decorate the methods published in Java containers. Attributes describe “Modalities” that discipline the reconfiguration of transactional scopes (i.e., of caller and callee) upon method invocation. An original element of ...

The authors define a paper model for the dynamic semantics of the core process modeling concepts in the OMG standard for BPMN 2.0. The UML class diagrams associated therein with each flow element are extended with a rigorous behavior definition, which reflects the inheritance hierarchy structure by refinement steps. The correctness of the resulting precise ...