Managing transactions is a key issue in Service Oriented Computing where particular relevance is given to the so called Long Running Transactions (LRT). Here, we show how to apply a formal approach to the specification and refactoring of LRT. Specifically, we consider a methodology arising on process calculi and show how it can be applied to a case study.

When primed with a Black face, people are more likely to misidentify a non-weapon as a weapon. Weapon misidentification may hinge on the distinction between controlled and automatic processes. Various relationships between controlled and automatic processes are cast in the form of five multinomial process models, which are illustrated and compared. It is shown that variants of the traditional P...

Many critical services are necessarily long-running. However, this creates a large temporal surface that is an alluring target for attackers, both in terms of the increased opportunity to find an exploit and the length of time a service is owned once exploited. While in some instances it may be possible to perform periodic restarts to reduce the window of exploitation and return a service to it...

Although WS-BusinessActivity and BPEL4WS Long-Running Transaction (LRT) are conceptually very similar and are both designed to support the execution of complex business transactions, they differ in a large number of aspects. This is particularly true because BPEL4WS, unlike WSBusinessActivity, was not designed to support distributed coordination. This paper comprehensively discusses the similar...

Key Performance Indicator (KPI) is a type of performance measurement that evaluates the success of an organization or a partial activity in which it engages. If during the running process instance the monitoring results show that the KPIs do not reach their target values, then the influential factors should be identified, and the appropriate adaptation strategies should be performed to prevent ...