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.
When Web services play more important roles in software development, the corresponding software dedicated for Web services testing has attracted more attention. This paper proposes a new mutation testing method based on the requirement model presented by OWL-S, which not only improves the test efficiency, but also makes the test work undergoing automatically. How to define the mutant operators, generate...
OWL-S plays a key role in describing behaviors of Web services because of potential semantic Web. Although OWL-S has given semantics to concepts by ontology technology, it gives no formal semantic for control-flow and data-flow. Most of previous related research concentrates on model checking instead of providing a precise mathematic semantics for the specification. This gives limitation when properties...
OWL-S is an important standard for semantic web and its process model not formalized complete. There are some researches working on formalizing semantics of OWL-S process model and this paper is one of them. Rewrite logic system Maude is choose to formalize the informal part semantics of OWL-S in our work. Use Maude as a specification language, semantics of a subset of OWL-S process model elements...
As the most attractive realization of component-based software, composite Web service asks a heavy demand for reliability prediction in the early stage for service discovery and service composition. Although it is believed that input should be one of the most important aspects affecting the reliability of a component-based system, research of both giving more details on an operational profile and...
Web Service is widely used nowadays, and whether implementation of Web Service-based System composed of individual services, especially interaction among individual services, meets requirements is an important research area in testing Web Service-based System. This paper presents an approach to test interaction of Web Service-based System based on interaction requirements and extends OWL-S model to...
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.