A Foundational View on Integration Problems

Details A Foundational View on Integration Problems A Foundational View on Integration Problems

2011-05-13

arxiv.org/abs/1105.2725v1

Computer Science

Logic in Computer Science

Scientific paper

10.1007/978-3-642-22673-1_8

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations themselves, this includes integration across logics. We discuss safe and unsafe integration schemes and devise a general form of safe integration.

Affiliated with

Also associated with

No associations

Rating

A Foundational View on Integration Problems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Foundational View on Integration Problems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Foundational View on Integration Problems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-27567