In this paper, we describe a compiler framework to enable the automated generation of compiler components for the Lucid family of intensional programminglanguages.
ISBN:
(纸本)1581138334
In this paper, we describe a compiler framework to enable the automated generation of compiler components for the Lucid family of intensional programminglanguages.
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inconsistency management for the multitude ...
详细信息
ISBN:
(纸本)9781595938657
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inconsistency management for the multitude of new metamodels and models. Specifically, there is a need to offer guidance on 1) valid editing operations, 2) ensuring consistency among models, 3) bridging the gap between models and custom code, and 4) managing the evolution of domain-specific languages. Based on two empirical case studies, we propose a new unirepresentational modeling tool - SmartEMF - which provides guidance and inconsistency management when developing enterprise systems with multiple domain-specific languages.
This research explores the synergies between object-oriented application frameworks and model-driven engineering. We propose Framework-Specific Modeling languages (FSMLs) which are domain-specific modeling languages d...
详细信息
ISBN:
(纸本)9781595938657
This research explores the synergies between object-oriented application frameworks and model-driven engineering. We propose Framework-Specific Modeling languages (FSMLs) which are domain-specific modeling languages designed for areas of concern to object-oriented frameworks. A frameworkspecific model expressed using an FSML describes how an application built on top of a framework is using the framework. The semantics of FSMLs can be precisely defined based on framework-completion knowledge: the prescribed steps and rules of writing the framework-completion code for the given framework. The mapping between the abstract syntax of an FSML and its base framework's API enables automatic forward-, reverse-, and round-trip engineering of the completion code.
This paper shows that inheritance and subtyping can be introduced advantrgeously into a parallel object-oriented language, POOL-I. These concepts are clearly distinguished, because they deal with different aspects of ...
详细信息
This poster presentation illustrates the use of SOM (the IBM System object Model) for interfacing, different object-orientedprogramming (OOP) languages. Our approach allows classes defined in one OOP language to be u...
详细信息
oopsla has held previous sessions on the roles of domain analysis and architectures in domain / product line engineering. These have tended to focus on analysis methods or on object technology for domain analysis. Thi...
详细信息
ISBN:
(纸本)1581130376
oopsla has held previous sessions on the roles of domain analysis and architectures in domain / product line engineering. These have tended to focus on analysis methods or on object technology for domain analysis. This workshop wants to look the other way: what can domain analysis bring to object technology and how does architecture connect? It hopes to build on previous work at the recent Workshop in Software Reuse.
We study a novel approach to typestate-orientedprogramming based on the chemical metaphor: state and operations on objects are molecules of messages and state transformations are chemical reactions. This approach all...
详细信息
ISBN:
(纸本)9781450336895
We study a novel approach to typestate-orientedprogramming based on the chemical metaphor: state and operations on objects are molecules of messages and state transformations are chemical reactions. This approach allows us to investigate typestate in an inherently concurrent setting, whereby objects can be accessed and modified concurrently by several processes, each potentially changing only part of their state. We introduce a simple behavioral type theory to express in a uniform way both the private and the public interfaces of objects, to describe and enforce structured object protocols consisting of possibilities, prohibitions, and obligations, and to control object sharing.
This is a report on the oopsla '94 "object Model Patterns" workshop. The goal of the workshop was to further each of our understanding of object model patterns. The discussions were lively, challenging, ...
详细信息
ISBN:
(纸本)0897917499
This is a report on the oopsla '94 "object Model Patterns" workshop. The goal of the workshop was to further each of our understanding of object model patterns. The discussions were lively, challenging, and very stimulating. This report expresses our perspective of this invigorating time together.
暂无评论