CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Probably one of the most difficult tasks in the development of a Service Oriented Architecture (SOA) is how to obtain well designed Web Services. In this work, we present...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
. This paper aims at proposing a global view of the interoperability problem, independently of any domain. We first describe explicitly the problem, and the context in which it app...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper we present a conceptual model for understanding of semantic and pragmatic interoperability. We use the model to identify and classify the possible semantic ...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
