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.
Virtualization is fundamental to cloud computing. It allows abstraction centred on services and isolation of lower level functionalities and underlying hardware. Modeling, analyzing and verifying cloud systems necessarily involve virtualization and services. However, there exist few efforts to effectively formalizing virtualization in cloud computing. In this paper, based on services we present an...
The importance of bridging the gap between the connectionist and symbolic paradigms has been widely recognized. In this paper, we present a new connectionist model called CML2 for 2-dimensional modal logic program. After proposing a fix-point semantics of the logic program, we put forward an algorithm to build the CML2, which encodes the background knowledge represented by a 2-dimensional modal logic...
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...
In SOA, adaptation techniques aim to automatically generate adapters. However, the generation of the adapter is a complicated task and requires extra knowledge to resolve all kinds of mismatches. We propose a novel model, called a protocol structure, which is used to model services and adapters and detect the mismatches among services. Once developers present interface mappings among services, adapters...
Most research works related to FCA depend on the hypothesis of that the possession of an attribute by an object is crisp: either an object has an attribute, or not. When facing the complex real world, it is impractical to expect any individual has complete knowledge, so it makes more sense to admit uncertain formal concept analysis is a more powerful tool from a more realistic perspective. In this...
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.