OCLPrime - Environment and Language for Model Query, Views and Transformations

Süß, Jörn Guy; Leicher, Andreas; Busse, Susanne

doi:10.1016/j.entcs.2003.09.007

Cited by 3 publications

(3 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Consequently, behavioral specifications are mainly based on the analysis of pre-and post conditions. These conditions can be annotated to components in several specification languages such as Z [129], OCL [107], OCLPrime [133], Larch [59].…”

Section: Compatibility and Substitutabilitymentioning

confidence: 99%

See 1 more Smart Citation

Analysis of Compositional Conflicts in Component-Based Systems

Leicher

Busse

Süß

2005

Software Composition

Self Cite

View full text Add to dashboard Cite

Ein Ziel der komponentenbasierten Softwareentwicklung besteht in der Wiederverwendung bereits entwickelter Komponenten zur Verbesserung der Qualität und zur Verminderung der Kosten des Softwareentwicklungsprozesses. Die Wiederverwendung von bestehenden Komponenten erfordert jedoch die sorgfältige Integration in das zu entwickelnde System und wird erschwert durch unterschiedliche Middlewaretechnologien, unterschiedliche Kommunikationsund Interoperationsmechanismen dieser Technologien sowie durch unterschiedliche und zum Teil unvollständige Komponentenspezifikationen. Das grundlegende Ziel dieser Arbeit ist die Unterstützung der Komponentenintegration durch eine ausführliche Konfliktanalyse, welche bestehende Inkompatibilitäten von zu integrierenden Komponenten aufzeigt. Dazu wird ein Framework bereitgestellt, welches es erlaubt, Komponenten unterschiedlicher Technologien im Rahmen eines UML-basierten Entwicklungsprozesses zu prüfen und die (teil-) automatische Generierung von Konnektoren vorzubereiten. Im Gegensatz zu bisherigen Ansätzen ermöglicht dieses Framework die Prüfung von Komponenten unterschiedlicher Middlewaretechnologien in Hinblick auf strukturelle, semantische und kommunikative Differenzen. Insbesondere die Einbeziehung von Kommunikationseigenschaften, welche die von den beteiligten Komponenten verwendeten Kommunikationsmechanismen der zugrundeliegenden Middlewaretechnologien beschreiben, wird zur Zeit von keinem anderen Integrationsframework angeboten. Das vorgestellte Framework basiert auf einem modellzentrierten Ansatz im Rahmen der Model Driven Architecture (MDA). Dies bedeutet, dass sowohl Komponentenspezifikationen auf verschiedenen Ebenen verwaltet werden können als auch dass Modelltransformationen unterstützt werden. Die Konfliktanalyse basiert auf einem kanonischen plattformunabhängigen Komponentenmodell, welches von Plattformspezifika abstrahiert. Komponenten, die auf Grundlage einer speziellen Middlewaretechnologie definiert wurden, werden durch Modelltransformationen in das kanonische Modell abstrahiert. Umgekehrt können jedoch auch plattformunabhängige Komponentenspezifikationen in Spezifikationen spezieller Middlewaretechnologien spezialisiert werden. Als Besonderheit unterstützt das Framework dabei parametrisierbare Modelltransformationen, so dass sich je nach Nutzervorstellungen optimale Transformationen durchführen lassen. Um die Verwendung des Frameworks in unterschiedlichen Anwendungsszenarien und-domänen zu ermöglichen, wurde es möglichst flexibel definiert. Somit können sowohl unterschiedliche Middlewaretechnologien und Typsysteme als auch unterschiedliche Spezifikationssprachen in das Framework integriert werden. Zudem können zusätzliche Daten als RDF Statements an beliebige Elemente von Komponenten notiert undüber zusätzliche Analyseverfahren ausgewertet werden.

show abstract

Section: Compatibility and Substitutabilitymentioning

confidence: 99%

“…Other model transformation languages are based directly on UML. [133] for example defines an extension of the Object Constraint Language OCL using database manipulation operations of SQL. We use an existing language -TRIPLE -to define mappings.…”

Section: Related Workmentioning

confidence: 99%

Analysis of Compositional Conflicts in Component-Based Systems

Leicher

Busse

Süß

2005

Software Composition

Self Cite

View full text Add to dashboard Cite

show abstract

“…Other model transformation languages are based directly on UML. [18] for example defines an extension of the Object Constraint Language OCL using database manipulation operations of SQL. We use an existing language -Triple -to define mappings.…”

Section: Related Workmentioning

confidence: 99%

Platform Independent Model Transformation Based on Triple

Billig¹,

Busse²,

Leicher³

et al. 2004

Middleware 2004

Self Cite

View full text Add to dashboard Cite

Abstract.Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse of models on an abstract level is more beneficial than on the code level, because these models can be mapped into several technologies and can be adapted according to different requirements. Unfortunately, development tools only provide fixed mappings between abstract models described in a language such as UML and source code for a particular technology. These mappings are based on one-to-one relationships between elements of both levels. As a consequence, it is rarely possible to customize mappings according to specific user requirements. We aim to improve model reuse by providing a framework that generates customized mappings according to specified requirements. The framework is able to handle mappings aimed for several component technologies as it is based on an ADL. It is realized in Triple to represent components on different levels of abstraction and to perform the actual transformation. It uses feature models to describe mapping alternatives.

show abstract

Termination Criteria for Model Transformation

Ehrig

Lara

et al. 2005

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract.Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its transformation to some other domain), optimization, evolution, migration or even code generation. In this work, we show termination criteria for model transformation based on graph transformation. This framework offers visual and formal techniques based on rules, in such a way that model transformations can be subject to analysis. Previous results on graph transformation are extended by proving the termination of a transformation if the rules applied meet certain criteria. We show the suitability of the approach by an example in which we translate a simplified version of Statecharts into Petri nets for functional correctness analysis.

show abstract

OCLPrime - Environment and Language for Model Query, Views and Transformations

Cited by 3 publications

References 16 publications

Analysis of Compositional Conflicts in Component-Based Systems

Analysis of Compositional Conflicts in Component-Based Systems

Platform Independent Model Transformation Based on Triple

Termination Criteria for Model Transformation

Contact Info

Product

Resources

About