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.
The execution time, an important criterion to measure the quality of a BPEL process, can be influenced by some slow external partner services (i.e., some long-running services). Therefore, it is desirable to specify response time of services into the SLAs (service level agreements). In this way, service consumers could verify whether the candidate services satisfy the expected time requirements before...
The development of service-oriented applications grows rapidly these years and gains more and more attention both from industry and from academe. Service-oriented applications are assembled from building blocks called service components whose profiles are defined by service specifications. When the dynamic changes happen in the service-oriented architectures, the service discovery and substitution...
PSEE (process-centered software engineering environment) can manage and monitor software process. Software process modeling language is a core element in PSEE system. Software process model includes multiple views: activity view, product view and role view. According to the similarity between multi-view software process modeling and object Petri nets, this paper proposes the MOPN-SP-net model which...
With the component-based development becoming the mainstream of software development, original component technologies focusing on describing the static information of components like interfaces and interactions seems to be weak in today's distributed and open software environment. In this paper we propose a new component model with component's behavior introduced in, supporting a flexible and extendable...
Facing changing environments and evolving business rules, composite services ought to be adaptable, even at run-time. Existing mainstream service composition languages and execution engines exhibit insufficient support for variability and adaptability to cater for dynamic changes. Research efforts have been put on the extension of the languages and argumentation of the engines. However, how to ensure...
The value-based software process (VBSP) is gaining more and more attention. However, the quantitative analysis techniques for VBSPs could not closely follow up the fast developing paces of the modeling techniques. In this paper, we proposes a decision-based stochastic extension of object petri nets (OPN) to resolve the issues. OPNs are well suited for modeling VBSPs and stochastic object petri nets...
Business process modeling is an important topic of enterprise modeling. Modeling process can help us to define new process, evaluate and improve existing ones. As the development of Internet and B2B commerce, business partnerships are being fostered in order to broaden the scope of their market. Business process thus has been scatted over multiple organizations. At the same time, each participant...
Composition is an important approach to model larger and more complex workflow system. Task refinement is one kind of workflow composition approaches. Soundness is the important property as correctness criterion for workflow process model. In some times, the state space methods based on the reachability graph of Petri net is an available analysis technique. When the composite system becomes larger,...
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.