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-orientation is effective at managing complexity and dynamicity at a programmatic level, but there is still much work to be done in understanding and improving the trust that users place in a system's outputs, and the extent to which they understand the associated risks of decisions recommended by a system. This is crucial if we are to improve the uptake and real-world effectiveness of service-based...
Web services allow organizations to capture their human and software-based capabilities as modular software components that are called remotely over a network. In such service-oriented settings, it is important to establish an agreement that sets the obligations of the service provider and the expectations of the service consumer. Since traditional approaches such as Service Level Agreements (SLAs)...
Research in transactions planning has recognized the evolvement of Web Services as an industry standard to implement transactional business processes. We proposed a data modeling and contracting framework for Web services and in this paper we are exploring how our framework can help formally verify data integrity properties in an ad-hoc transaction.
Web service is a new application model for the data and service integration on the web. Due to insufficient semantic information, dynamic services discovering is difficult to accomplish. Thus, a new discovery method based on concept reasoning is presented, which utilizes the automatic reasoning capability of OWL to construct concept hierarchy and then encodes them for transforming the complex deduction...
Data-centric Web services are services whose behavior is determined by their interactions with a repository of stored data. The lack of data specification in current Web service standards potentially leads to erroneous use of these services by their consumers. In this work, we propose using formal data contracts to decrease ambiguity about a service behavior, to fully verify a composition of services,...
Web services composition design, verification and monitoring are active and widely studied research directions. Little work however has been done in integrating these related dimensions using a unified formalism. In this paper we propose a declarative event-oriented framework, called DISC, that serves as a unified framework to bridge the gap between the process design, verification and monitoring...
Service-oriented architecture (SOA) promotes a paradigm where ad-hoc applications are built by dynamically linking service-based software capabilities. Service providers follow specification standards to advertise their services' capabilities and to enable loosely coupled integration between their services and other businesses over the Web. A major challenge in this domain is interpreting the data...
Executing Semantic Services requires, in contrast to traditional SOAP-based Web Services, frequent read and write accesses to graph-based semantic data stores - for instance, for the evaluation of preconditions or the materialization of service effects. Therefore, the overall performance of semantic service execution, in particular for composite services, is strongly affected by the efficiency of...
The geospatial information is becoming an integral part of many decision making processes, specially related to socio-economic development. Geospatial data are often collected and maintained by different organizations and become a major bottleneck for spatial integration. Further, the spatial relationships between various spatial objects and the influence on each other are often not defined crisply...
Service-oriented architecture (SOA) promotes a paradigm in which enterprise applications are implemented as reusable, interoperable, network-accessible software modules. Ambiguity is introduced when enterprise organizations devise natural language specifications to describe the service capabilities. Consequently, consumers often misinterpret operational details while using these services, resulting...
One of the goals of mobile and ubiquitous computing is to enable ad-hoc interactions between different kinds of entities to help end-users perform different kinds of tasks. These entities, which include devices and services, may either be mobile or situated in the surrounding physical environment. However, these interactions require the use of rich semantic models describing the capabilities of the...
Process modeling and rule modeling languages are both used to document organizational policies and procedures. However, little work has been done to understand their synergies and overlap. Understanding the relationship between the two modeling types would allow organizations to maximize synergies and reduce their modeling effort. In this paper we use the well-established Bunge-Wand-Weber (BWW) representation...
We developed a quality of service (QoS) management system to support service level management (SLM) for global enterprise services. The QoS management system is integrated with one of our enterprise services in a preproduction system, an identical system as the production system but in a test environment. Lab experiments showed that our integrated solution helps global enterprise services to better...
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.