Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Related Work





Research from several communities has similarities to this work, and this work is heavily influenced by a wide range of work in programming languages and semantics (see the extensive bibliography of the aforementioned dissertation for details). In its most simplified form, straightforward structural subtyping can be used as a theoretical framework for semantic composition, especially in strongly typed languages. An example is found in Muckelbauer’s work in distributed object-based systems [23]. The problem with this approach is that only renaming and reordering operations are possible, and little theoretical infrastructure supports reasoning about the full semantics of components. Stronger theoretical formalisms exists for specifying and reasoning about such compositional systems.

Some of the earilest and most influential work is from Goguen [14], as it formalized and popularized the notion of parametric modules as a means of reuse. The recent work of Molina-Bravo and Pimentel shows promise as well. This latter work is far from being practically applicable in the near future as there is

no strong connection with real programming languages, software engineering methods, and no tool support. Other expressive formalisms for compositionality exist, primarily in the category theoretic domain. Feature logic has also been used to specify component properties and detect mismatches during composition.

Unsurprisingly, the composition properties in Fiadeiro’s work match those of kind theory due to the latter’s categorical basis. Feature logic is a submodel of kind theory—use a first-order foundation, eliminate beliefs, and map subkinding to subsumption. Work at CMU by Yellin and Strom, inspired by the problems with the Aesop system, has covered this territory before in the context of object protocols and weak, non-formal, semi-automatic adapter construction. The work has a very ad hoc feel, even after the development of a formal model for such

architectures [2]. In a Java context, Wang et al proposed an service-event model with an ontology of ports and links, extending the JavaBeans descriptor model [30]. Other related work comes from the areas of: domain-specific languages, especially for component specification and reuse [5, 26]; the automatic programming community, e.g, early work by Barstow [3, 4] and Cleveland [8]; conceptual reuse such as Castano and De Antonellis [6]; and last but certainly not

least, the software transformation systems community, including the voluminous works of Biggerstaff and Batory. Much of this work is reviewed nicely in [9, 25, 27]. The primary difference between all of these formalisms and systems and ours is that our system has a broad, firm theoretic foundation. That foundation, kind theory, was specifically designed to reason about reusable assets in an open collaborative context. Thus, our work is not tied to a specific language or realization, integrates the domains of reuse, knowledge representation, automatic programming, and program transformation, and does so in a theoretical and systematic framework that supports global collaboration among many participants.

 

 







Дата добавления: 2015-09-07; просмотров: 539. Нарушение авторских прав; Мы поможем в написании вашей работы!




Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...


Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...


Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...


Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

Анализ микросреды предприятия Анализ микросреды направлен на анализ состояния тех со­ставляющих внешней среды, с которыми предприятие нахо­дится в непосредственном взаимодействии...

Типы конфликтных личностей (Дж. Скотт) Дж. Г. Скотт опирается на типологию Р. М. Брансом, но дополняет её. Они убеждены в своей абсолютной правоте и хотят, чтобы...

Гносеологический оптимизм, скептицизм, агностицизм.разновидности агностицизма Позицию Агностицизм защищает и критический реализм. Один из главных представителей этого направления...

Потенциометрия. Потенциометрическое определение рН растворов Потенциометрия - это электрохимический метод иссле­дования и анализа веществ, основанный на зависимости равновесного электродного потенциала Е от активности (концентрации) определяемого вещества в исследуемом рас­творе...

Гальванического элемента При контакте двух любых фаз на границе их раздела возникает двойной электрический слой (ДЭС), состоящий из равных по величине, но противоположных по знаку электрических зарядов...

Сущность, виды и функции маркетинга персонала Перснал-маркетинг является новым понятием. В мировой практике маркетинга и управления персоналом он выделился в отдельное направление лишь в начале 90-х гг.XX века...

Studopedia.info - Студопедия - 2014-2025 год . (0.009 сек.) русская версия | украинская версия