Heterogeneous Logical Environments for Distributed Specifications
نویسندگان
چکیده
We use the theory of institutions to capture the concept of a heterogeneous logical environment as a number of institutions linked by institution morphisms and comorphisms. We discuss heterogeneous specifications built in such environments, with inter-institutional specification morphisms based on both institution morphisms and comorphisms. We distinguish three kinds of heterogeneity: (1) specifications in logical environments with universal logic (2) heterogeneous specifications focused at a particular logic, and (3) heterogeneous specifications distributed over
منابع مشابه
Adaptive Dynamic Data Placement Algorithm for Hadoop in Heterogeneous Environments
Hadoop MapReduce framework is an important distributed processing model for large-scale data intensive applications. The current Hadoop and the existing Hadoop distributed file system’s rack-aware data placement strategy in MapReduce in the homogeneous Hadoop cluster assume that each node in a cluster has the same computing capacity and a same workload is assigned to each node. Default Hadoop d...
متن کاملOntology Based Resource Management of Real and Emulated Telecom Systems
Because recent heterogeneous telecom networks have developed into complex distributed systems, the management of these systems is more elaborated and resource consuming. Self-organization of network resource colonies based on semantic associations with logical relations can provide a solution. This paper presents a method for resource management in telecom distributed testing environments with ...
متن کاملA Relatively Complete Calculus for Structured Heterogeneous Specifications
Proof calculi for structured specifications have been developed independently of the underlying logical system (formalised as institution). Typically, completeness of these calculi requires interpolation properties of the underlying logic. We develop a relatively complete calculus for structured heterogeneous specifications that does not need interpolation.
متن کاملTowards an AI-Specification of Intelligent Distributed Learning Environments
This paper reflects on the possibilities to specify IDLEs (Intelligent Distributed Learning Environments). These are distributed multi-party eLearning environments with AI-components (generative expert systems, learner models, etc). IDLEs offer intelligent, learner adapted, anytime services to learners (eg. e-diagnosis of solution proposals, e-consulting in the case of errors). Specifications s...
متن کاملA Resource Description Environment for Distributed Computing Systems
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments. It has three major components: a graphical resource editor, a compiler system for translating textual specifications, and an application programming interface. In this paper we focus on the language definition and the...
متن کامل