Taming the Shrew -Resolving Structural Heterogeneities with Hierarchical CPNs *

Abstract. Model transformations play a key role in the vision of ModelDriven Engineering (MDE) whereby the overcoming of structural heterogeneities, being a result of applying different meta-modeling constructs for the same semantic concept, is a challenging, recurring problem, urgently demanding for reuse of transformations. In this respect, an approach is required which (i) abstracts from the concrete execution language allowing to focus on the resolution of structural heterogeneities, (ii) keeps the impedance mismatch between specification and execution low enabling seamless debuggability, and (iii) provides formal underpinnings enabling model checking. Therefore, we propose to specify model transformations by applying a set of abstract mapping operators (MOPs), each resolving a certain kind of structural heterogeneity. For specifying the operational semantics of the MOPs, we propose to use Transformation Nets (TNs), a DSL on top of Colored Petri Nets (CPNs), since it allows (i) to keep the impedance mismatch between specification and execution low and (ii) to analyze model transformations by evaluating behavioral properties of CPNs

Ready for Prime Time - Pre-Generation of Web Pages in TIScover

. In large data- and access-intensive web sites, performant and reliable access is hard to achieve. This situation gets even worse for web sites providing precise structured query facilities and requiring actuality of the presented information even in face of a highly dynamic content. The achievement of these partly conflicting goals is strongly influenced by the approach chosen for page generation, ranging from composing a web page upon a user's request to its generation in advance. The official Austrian web-based tourism information and booking system TIScover tries to reconcile these goals by employing a hybrid approach of page generation. In TIScover, web pages are not only generated on request in order to support precise structured queries on the content managed by a database system. Rather, the whole web site is also pre-generated out of the extremely dynamic content and synchronized with the database on the basis of metadata. Thus, actuality of information is guaranteed, while e..

Schwinger: ModelCVS - A Semantic Infrastructure for Model-based Tool Integration

With the rise of model-driven software development, more and more development tasks are being performed on models. A rich variety of modeling tools is available supporting different tasks, such as model creation, model simulation, model checking, and code generation. Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for effective software development processes. Due to lack of interoperability, however, it is often difficult to use tools in combination, thus the potential of model-driven software development cannot be fully utilized – unless we find some scalable way of integration. We are aiming at providing a semantic infrastructure for model-based tool integration, enabling to facilitate any tool appropriate for the modeling task at hand. The key innovations provided are a set of scalable architectural model integration patterns supported by a highlevel metamodel integration language, thus going beyond existing low-level model transformation approaches. Ontology-based metamodel integration considerably lowers the manual effort required for tool integration, enabling a novel synergic use of technologie

Proactive Object Modeling - What can we Learn from Components and Interfaces?

Introduction Distributed Computing is concerned with communication among different self-standing programs and processes usually residing on different machines [Lea96]. Interest in the use of objectoriented techniques as the basic programming paradigm for realizing distributed systems has became significant in recent years. As argued by [Rasm96], however, the majority of work has been done at the implementation level. Several distributed object-oriented programming languages and distributed operating systems have been developed [Agha93], [Chin91], [Toko87], as well as systems for providing distribution services to object-oriented applications [Orfa97]. Unfortunately, only a limited amount of work has been reported on the incorporation of distribution issues into object-oriented design methods [Kapp96], [Mühl93], [Kruch95], [Rasm96] and on the development of design guidelines for achieving "good" designs in distributed/concurrent environments [Lea96], [Schm95].