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.
Much like semantic service specification, semantic specification of tasks in business processes is needed, e.g., for their formal verification. In addition to the specification of the pure effects of some procedural code, however, business context plays a major role for semantic task specification. Open questions are how to include the business context of a task in its semantic specification, and...
Semantic specification of services based on formal logic can be used for automated verification of service composition. In order to make such verifications consistent with validations of service compositions in the context of business processes, more and more knowledge needs to be included in the related specifications. We show using a simple example that after adding such additional knowledge directly...
Monitoring service execution for finding run time errors is of prime interest in achieving resilient service provisioning for users on web. Though the services are modelled and verified for structural errors still behavioural errors may occur for many practical reasons e.g undefined user network malfunctioning and computational errors. This makes a need for run time checking of service behaviour to...
A significant number of current industrial applications rely on web services. A cornerstone task in these applications is discovering a suitable service that meets the threshold of some user needs. Then, those services can be composed to perform specific functionalities. We argue that the prevailing approaches to service composition based on the "all or nothing" paradigm is limiting and...
The following paper proposes a structured, natural language specification of web service behavior based on keywords in context. The advantage of this type of document is that it can be automatically analyzed in order to extract test cases for testing the web service. The test cases define not only what to test, i.e. what operations to invoke in what order, but also how to test, i.e. with what test...
Business Process Modelling (BPM) is a way to support business processes by using several techniques, methods, models, and systems to design, control and analyse business processes, where many resources are used: humans, technologies, organizations, applications etc. The current existing literature describes several BPM techniques; however, these techniques are often hard for IT people to understand...
Assessment process in one of the most important issues in the learning process and in many cases it is the process that define the sequence of the instruction because it measures the performance of the student in the educational process. In last decades the inclusion of TICs in teaching-learning process has facilitated to address the diversity of students and teachers features. Learning technologies...
Today, information systems rely largely on web services and XML as their payloads. Every information system also depends on checking and preserving integrity constraints. In the world of conceptual modeling, they can be expressed using Object Constraint Language (OCL) expressions over class diagrams. However, the expressions defined in the conceptual model of the system must be rewritten to the form...
The development of context-aware applications has been the subject of many research works in ubiquitous computing. As the modern human is getting more and more mobile, carrying an ever increasing amount of computational power around and having access to online services, the need for personalized and adaptive information services is rapidly increasing. Thus, the field of context-aware services has...
Web services run in complex environments where it is desirable to be able to count on mechanisms to adapt them according to contextual changes. Manual adaptations are unfeasible in intricate service compositions that are built with highly dynamic Web services. However, the principles of Autonomic Computing could support their self-adaptation. In this paper, we propose a method for designing and implementing...
Today, there is a huge amount of security services that can be used to implement different security requirements in Web Service based systems. For example, identity management services are required for authentication and authorization whereas message logging services are necessary to achieve non-repudiation. However, the deployment and configuration of these security services usually requires expert...
Context information is characterized by several qualities that make pervasive services challenging compared to conventional Web services. The additional complexities associated with pervasive services require solid software engineering practices. This paper presents a novel approach based on model-driven development for representing complex crosscutting context-dependent functionality in service interfaces...
Spatial concerns of Web Geographical Information Systems (Web-GIS) are inherently crosscutting and volatile: crosscutting because they affect multiple functionalities of Web-GIS systems, such as visualization of a route in a map, volatile because their status may change often (e.g., in a map, a route can be obstructed temporarily due to a car accident or festivity, so alternative routes should be...
In the context of service-oriented architectures, services are expected to fulfill certain service characteristics, such as loose coupling or high autonomy. When designing new services, several decisions have to be made, such as how to group capabilities into services, that influence these characteristics. Existing development processes focus on the description of necessary steps to create services...
In order to provide the services for the users efficiently and select suitable SP and the service automatically according to the user's preference and habits when using the service, the paper apples the context-aware technology to the Service Selection Platform and picks out the Context-aware Service Selection Platform is proposed. The method is using the exiting Context-aware architecture to obtain...
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical foundation to implement this paradigm. Moreover, mechanisms are provided to face the new security challenges raised by SOA. To enable the seamless usage of services, security requirements can be expressed as security policies (e...
Service Oriented Architecture (SOA) is an emerging architectural style for the development of interoperable, agile, large scale and distributed software systems. Such systems are based mainly on services as core building blocks which may interact with several types of service clients. Hence, the central problem is how to deal with the challenge of adaptability of such services. The present paper proposes...
Business documents exchanged in a service-oriented context play a crucial role in the definition of service interfaces. Only if both partners have a common agreement on the data exchanged, automated business interactions are possible. The United Nations Center for Trade Facilitation and Electronic Business (UN/CEFACT) provides a reliable and interoperable solution for conceptual business document...
Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and visual languages for creating mashups. A major challenge that has received limited attention is context-awareness and adaptivity of service mashups. In this paper we focus on two main aspects: First, a service capability model...
The majority of large companies are adopting Service Oriented Architectures, mainly to automate their business processes, both centralized and distributed. This paper will focus on distributed business processes. At the moment there are two interesting ways to implement a distributed business process, via orchestration or choreography. Whereas an orchestration can be thought of as a service composition...
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.