The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper we propose an model driven approach for the specification and the execution of flexible workflows composed from cloud services. Flexibility of workflow means fast reactivity to internal and external changes. The basic challenge for workflow now is the ability to respond dynamic changes. To fulfill, we define functional and behavioral views of the flexible workflow. The first view is...
This paper presents a meta-model transformation based approach to reasoning about sequence diagrams using B event. We present an approach for the specification and the verification of flexible Workflow applications of cloud services. Our approach is based on the semiformal notation of UML sequence diagrams, and the formal method B event. We have developed a tool called SD2EventB supporting the proposed...
Specifying a complex system, such as workflow applications, is a difficult task, which can not be done in one step. The stepwise refinement technique. facilitates the understanding of complex systems by dealing with the major issues before getting involved in the details. This papers presents a refinement based modelling approach of workflow Applications using UML Activity Diagrams. The proposed approach...
In this paper, we propose an UML Activity Diagram (AD) approach based on stepwise refinement technique for modeling and describing workflow applications. Thus, we present a set of UML AD refinement patterns that support the different forms of refining process in a workflow. The workflow application is constructed in a hierarchical fashion. We show that thanks to the hierarchical workflow construction...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.