Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dr. Isidro Ramos Salavert / Artur Boronat, Departamento de Sistemas
Informáticos y Computación (DSIC), Universidad Politécnica de Valencia
(UPV), Spain:
Model Management / MOMENT: a formal MOdel manageMENT tool
Beginn: 30.06.2005, 13:15 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 161
Webseite: http://www.cs.tu-bs.de/kolloquium/salavert2.htm
The Model-Driven Engineering considers models as the main assets in
the software development process. Models collect the information that
describes the information system at a high level of abstraction,
which permits the development of the application in an automated
way following generative programming techniques. Traditionally, the
tasks that are involved in this process (such as model integration
or model transformation) have usually been solved in an ad-hoc manner
for a specific context or metamodel: relational databases, XML schemas,
ontologies, aspect-oriented programming, etc. Nowadays, Model Management
is a new emergent discipline that pursues an abstract reusable solution
for problems of this kind. Model management was presented by Bernstein
as an approach to deal with software artifacts by means of generic
operators that do not depend on metamodels by working on mappings between
models. Operators of this kind deal with models as first-class citizens,
increasing the level of abstraction of the solution by avoiding working
at a programming level and improving the reusability of the solution.
Based on our experience in formal model transformation and data migration,
we are working on the application of the Model Management trend to the
context of the Model-Driven Engineering, regarding the guidelines that are
specified in the Model-Driven Architecture initiative. We are developing
a framework, called MOMENT (MOdel manageMENT), which is embedded into
the Eclipse platform and that provides a set of generic operators to
deal with models through the Eclipse Modeling Framework (EMF).
The underlying formalism of our model management approach is the algebraic
language Maude. In this algebraic setting, we have specified a set of
generic operators to manipulate models: model integration (operator
Merge), model difference (operator Diff), model transformation (operator
ModelGen), etc. Our framework also provides support for traceability in
order to trace the specific transformations that have been applied to a
set of models. We have developed a set of bridges between the technical
spaces EMF and Maude by using generative techniques. These technical
bridges provide interoperability between an efficient robust environment
for algebraic specifications (Maude) and a well-known industrial
modeling tool (EMF). On the one hand, the algebraic specifications
formalism provides some desired features: abstraction, modularization,
subtyping, semantic validity, genericity by means of parameterization,
etc. On the other hand, visual modeling tools provide the interface that
is needed to provide usability and industrial application to our model
management approach.
Although we are developing our prototype using a specific modeling
technology, our approach is perfectly applicable to other metamodeling
tools, such as the Domain Specific Languages tools for Visual Studio,
Generic Modeling Environment, etc.
MOMENT is the prototype that reflects the research work that we are
developing in Valencia.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Dr. Jon Whittle:
Simulating Use Cases for Software Requirements Validation
Beginn: 22.06.2005, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.cs.tu-bs.de/kolloquium/whittle.htm
Use cases are now an accepted method for developing software
requirements. However, software errors, budget overruns and delays can
still occur because the use case requirements are not validated at an
early stage. This talk will present a technique for early simulation and
validation of use-case based requirements. The technique is based around
an algorithm for automatically transforming use cases into executable form
and is accompanied by a methodology (SCASP) that provides guidelines for
its use. The method has been piloted on projects at NASA Ames Research
Center and Motorola India.
Speaker Bio:
Jon Whittle has six years experience as a senior researcher and manager
of research projects at NASA Ames Research Center. He has led research
efforts on building knowledge-based systems for NASA applications,
advanced software modeling tools andsoftware verification. Jon also has
worked as a visiting professor in India and in Germany. He has over 35
referreed publications to his credit, was conference chair for the 2003
International Conference on the Unified Modeling Language and is an
editor for the Journal of Software and Systems Modeling. In July, Jon
Whittle will take up a position as Associate Professor of Information
and Software Engineering at George Mason University, Fairfax, VA.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dr. Isidro Ramos Salavert, Departamento de Sistemas Informáticos
y Computación (DSIC), Universidad Politécnica de Valencia (UPV), Spain:
MOMENT: a formal MOdel manageMENT tool
Beginn: 30.06.2005, 13:15 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 161
Webseite: http://www.cs.tu-bs.de/kolloquium/salavert2.htm
The Model-Driven Engineering considers models as the main assets in
the software development process. Models collect the information that
describes the information system at a high level of abstraction,
which permits the development of the application in an automated
way following generative programming techniques. Traditionally, the
tasks that are involved in this process (such as model integration
or model transformation) have usually been solved in an ad-hoc manner
for a specific context or metamodel: relational databases, XML schemas,
ontologies, aspect-oriented programming, etc. Nowadays, Model Management
is a new emergent discipline that pursues an abstract reusable solution
for problems of this kind. Model management was presented by Bernstein
as an approach to deal with software artifacts by means of generic
operators that do not depend on metamodels by working on mappings between
models. Operators of this kind deal with models as first-class citizens,
increasing the level of abstraction of the solution by avoiding working
at a programming level and improving the reusability of the solution.
Based on our experience in formal model transformation and data migration,
we are working on the application of the Model Management trend to the
context of the Model-Driven Engineering, regarding the guidelines that are
specified in the Model-Driven Architecture initiative. We are developing
a framework, called MOMENT (MOdel manageMENT), which is embedded into
the Eclipse platform and that provides a set of generic operators to
deal with models through the Eclipse Modeling Framework (EMF).
The underlying formalism of our model management approach is the algebraic
language Maude. In this algebraic setting, we have specified a set of
generic operators to manipulate models: model integration (operator
Merge), model difference (operator Diff), model transformation (operator
ModelGen), etc. Our framework also provides support for traceability in
order to trace the specific transformations that have been applied to a
set of models. We have developed a set of bridges between the technical
spaces EMF and Maude by using generative techniques. These technical
bridges provide interoperability between an efficient robust environment
for algebraic specifications (Maude) and a well-known industrial
modeling tool (EMF). On the one hand, the algebraic specifications
formalism provides some desired features: abstraction, modularization,
subtyping, semantic validity, genericity by means of parameterization,
etc. On the other hand, visual modeling tools provide the interface that
is needed to provide usability and industrial application to our model
management approach.
Although we are developing our prototype using a specific modeling
technology, our approach is perfectly applicable to other metamodeling
tools, such as the Domain Specific Languages tools for Visual Studio,
Generic Modeling Environment, etc.
MOMENT is the prototype that reflects the research work that we are
developing in Valencia.
