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.
Service composition, which provides a more effective way to combine several single services into a composite service, is a kind of software reuse techniques. However, one of the most important problems is how to perform service composition correctly and effectively so as to produce high-quality source codes for describing the resulted composite service. In this paper, we propose a model-driven method...
We investigate the mapping of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker tailored to the verification of multi agent systems. In our approach, services are viewed as agents, and service compositions as multi agent systems. We show how various composition constructs defined in OWL-S can be encoded into ISPL by using the proposed mapping rules...
In this work we explain how to perform the design and verification of a Web services composition with time restrictions using the Web services translation tool, WST for short. We pay special attention to Web services systems with timing restrictions. As illustration, we use a case study called ldquoform generator servicerdquo, a system that allows developers to manage a form repository by means of...
Web services behavior is the key aspect to consistency of Web services, which can ensure correctness and reliability in Web services choreography. But few methods can conduct the trade-off between expressiveness and amenability of efficient verification, this paper gives a better answer to solve the problem. It constructs service-behavioral type discipline based on extended the Martin-Lofpsilas Type...
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.