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.
Semantically annotated process model (SPM) is a process model with semantic annotations, which include the precondition and effect, labeled for its activities based on the domain ontology. Such semantic annotations can increase the model's understanding and reusability, and facilitate its implement as well as compliance analysis. However, SPM analysis is challenging, since its correctness is beyond...
Mismatch patterns capture the possible differences between two service (business) protocols to adapt. For these mismatches, formal definitions are presented in this paper. And a novel technique provides support for adapting two or more services. This technique requires that messages and message dependencies are used to directly model service (business) protocols and form a novel model, called a\emph{protocol...
Service-oriented software development emerges to be popular with the development of Internet and Web service. Web service offers agility and adaptability to rapid changes of userspsila requirements. Goal models depict userspsila desires in terms of goals, namely, why-to-do; BPEL provides means to describe Web service composition using WS-BPEL2.0, namely, how-to-do. However, there exists a gap between...
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.