Not listed below are my blog posts. I write every week at SE-Trends (German) and roughly ever month in the Formal Mind Blog (English).
Please find my complete CV here: Curriculum Vitae (CV) English
List of Publications
Hallerstede, Stefan; Jastram, Michael; Ladenberger, Lukas
A Method and Tool for Tracing Requirements into Specifications Journal Article
In: pp. 36 p, 2014.
@article{HalJasLad2014,
title = {A Method and Tool for Tracing Requirements into Specifications},
author = {Stefan Hallerstede and Michael Jastram and Lukas Ladenberger},
year = {2014},
date = {2014-01-01},
pages = {36 p},
publisher = {Science of Computer Programming},
abstract = {The creation of a consistent system description is a challenging problem of requirements engineering.
Formal and informal reasoning can greatly contribute to meet this challenge.
However, this demands that formal and informal reasoning and the system description are
connected in such way that the reasoning permits drawing conclusions about the system description.
We describe an incremental approach to requirements modelling and validation
that incorporates formal and informal reasoning.
Our main contribution is an approach to requirements tracing that delivers the necessary connection
that links the reasoning to the system description.
Formal refinement is used in order to deal with large and complex system descriptions.
We discuss tool support for our approach of requirements tracing that combines informal requirements modelling
},
with formal modelling and verification while tracing requirements among each other and into the formal model.
keywords = {},
pubstate = {published},
tppubtype = {article}
}
Formal and informal reasoning can greatly contribute to meet this challenge.
However, this demands that formal and informal reasoning and the system description are
connected in such way that the reasoning permits drawing conclusions about the system description.</p>
<p>We describe an incremental approach to requirements modelling and validation
that incorporates formal and informal reasoning.
Our main contribution is an approach to requirements tracing that delivers the necessary connection
that links the reasoning to the system description.
Formal refinement is used in order to deal with large and complex system descriptions.</p>
<p>We discuss tool support for our approach of requirements tracing that combines informal requirements modelling
with formal modelling and verification while tracing requirements among each other and into the formal model.</p>
Jastram, Michael; Herrmann, Andrea
Eclipse for Teaching Systems Engineering Conference
EclipseCon 2014.
BibTeX | Tags:
@conference{2014_eclipsecon,
title = {Eclipse for Teaching Systems Engineering},
author = {Michael Jastram and Andrea Herrmann},
year = {2014},
date = {2014-01-01},
series = {EclipseCon},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Jastram, Michael
The Eclipse Requirements Modeling Framework Proceedings Article
In: Maalej, Walid; Thurimella, Anil (Ed.): Managing Requirements Knowledge, Springer, 2013.
Abstract | BibTeX | Tags: ReqIF
@inproceedings{RMF_Mark_Book_Jastram_2013,
title = {The Eclipse Requirements Modeling Framework},
author = {Michael Jastram},
editor = {Walid Maalej and Anil Thurimella},
year = {2013},
date = {2013-03-01},
booktitle = {Managing Requirements Knowledge},
publisher = {Springer},
abstract = {This chapter presents the the Requirements Modeling Framework (RMF), an Eclipse-based open source platform for requirements engineering. The core of RMF is based on the emerging Requirements Interchange Format (ReqIF), which is an OMG standard. The project uses ReqIF as the central data model. At the time of this writing, RMF was the only open source implementation of the ReqIF data model.
By being based on an open standard that is currently gaining industry support, RMF can act as an interface to existing requirements management tools. Further, by based on the Eclipse platform, integration with existing Eclipse-based offerings is possible.},
In this chapter, we will describe the architecture of the RMF project, as well as the underlying ReqIF standard. Further, we give an overview of the GUI, which is called ProR. A key strength of RMF and ProR is the extensibility, and we present the integration ProR with Rodin, which allows traceability between natural language requirements and Event-B formal models.
keywords = {ReqIF},
pubstate = {published},
tppubtype = {inproceedings}
}
By being based on an open standard that is currently gaining industry support, RMF can act as an interface to existing requirements management tools. Further, by based on the Eclipse platform, integration with existing Eclipse-based offerings is possible.</p><p>
In this chapter, we will describe the architecture of the RMF project, as well as the underlying ReqIF standard. Further, we give an overview of the GUI, which is called ProR. A key strength of RMF and ProR is the extensibility, and we present the integration ProR with Rodin, which allows traceability between natural language requirements and Event-B formal models.</p>
Jastram, Michael
ReqIF-OLUTION: Mit Eclipse und ReqIF zur Open-Source ALM-Werkzeugkette Journal Article
In: ObjektSpektrum, vol. 3, 2013.
Abstract | BibTeX | Tags: ReqIF
@article{reqif_ObjektSpektrum_2013,
title = {ReqIF-OLUTION: Mit Eclipse und ReqIF zur Open-Source ALM-Werkzeugkette},
author = {Michael Jastram},
year = {2013},
date = {2013-01-01},
journal = {ObjektSpektrum},
volume = {3},
abstract = {Der Austausch von Anforderungen war bisher entweder mit Datenverlust oder verlustfrei nur über proprietäre Wege zu realisieren. Aber letztes Jahr wurde mit ReqIF ein internationaler Standard von der OMG verabschiedet, der dieses Problem löst. Dies hat eine Lawine von Aktivitäten ausgelöst, einschließlich der Entwicklung einer OpenSource Referenzimplementierung (Eclipse RMF). In diesem Artikel zeigen wir, wie mit ReqIF, Eclipse und RMF mit wenig Aufwand eine ALM-Werkzeugkette realisiert werden kann, und wo die Reise hingeht.},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {article}
}
Jastram, Michael
Werkzeuggestützte Konsistenz zwischen Anforderungen und Spezifikation Conference
ReConf 2013.
@conference{2013_reconf_wissenschaft,
title = {Werkzeuggestützte Konsistenz zwischen Anforderungen und Spezifikation},
author = {Michael Jastram},
year = {2013},
date = {2013-01-01},
series = {ReConf},
abstract = {Anforderungen beschreiben, was ein System tun soll, während die Spezifikation das "wie" (die Umsetzung) beschreibt. Beide zusammen stellen die Systembeschreibung dar. Diese konsistent zu halten ist eine große Herausforderung, mit der sich dieser Vortrag beschäftigt. Es geht dabei primär um zwei Aspekte: Strukturierung der Systembeschreibung und Werkzeugunterstützung.
Durch ein auch nachträglich anwendbares Klassifizierungssystem, das auf dem WRSPM-Ansatz beruht, können eine Anzahl von Konsistenzkriterien der Systembeschreibung systematisch überprüft werden. Dabei wird auch eine Nachverfolgbarkeit hergestellt. In einem weiteren Schritt kann diese Nachverfolgbarkeit in einem formalen Modell fortgeführt werden (optional).
Wir haben die Open Source-Werkzeuge ProR (Anforderungen) und Rodin (Formale Modellierung) integriert, um die hier vorgestellte Methode zu unterstützen.
In diesem Vortrag wird anhand eines Beispiels die Methode und deren Anwendung mit dem Werkzeug vorgestellt.},
keywords = {},
pubstate = {published},
tppubtype = {conference}
}
Durch ein auch nachträglich anwendbares Klassifizierungssystem, das auf dem WRSPM-Ansatz beruht, können eine Anzahl von Konsistenzkriterien der Systembeschreibung systematisch überprüft werden. Dabei wird auch eine Nachverfolgbarkeit hergestellt. In einem weiteren Schritt kann diese Nachverfolgbarkeit in einem formalen Modell fortgeführt werden (optional).<p>
Wir haben die Open Source-Werkzeuge ProR (Anforderungen) und Rodin (Formale Modellierung) integriert, um die hier vorgestellte Methode zu unterstützen.<p>
In diesem Vortrag wird anhand eines Beispiels die Methode und deren Anwendung mit dem Werkzeug vorgestellt.
Jastram, Andreas Graf Michael
Eclipse RMF in Action Conference
ReConf 2013.
Abstract | BibTeX | Tags: ReqIF
@conference{2013_reconf_rmf,
title = {Eclipse RMF in Action},
author = {Andreas Graf Michael Jastram},
year = {2013},
date = {2013-01-01},
series = {ReConf},
abstract = {RMF ist ein Framework, welches das modellbasierte Arbeiten mit Anforderungen, denen die Datenstruktur des Requirements Interchange Formats (ReqIF) zugrunde liegt, ermöglicht. Teil des Frameworks ist die GUI ProR, mit der ReqIF-basierte Daten direkt inspiziert und bearbeitet werden können.
In diesem Vortrag werden wir eine kurze Einführung zu RMF und ProR geben. Weiterhin stellen wir einige Nutzungsszenarien vor, die bereits heute mit RMF möglich sind. Zu einigen dieser Szenarien werden wir kurze Life-Demos geben.
Wir schließen mit einem Ausblick auf die Zukunftspläne von RMF.
Dieser Vortrag wurde als einer der 5 besten der ReConf bewertet.},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {conference}
}
In diesem Vortrag werden wir eine kurze Einführung zu RMF und ProR geben. Weiterhin stellen wir einige Nutzungsszenarien vor, die bereits heute mit RMF möglich sind. Zu einigen dieser Szenarien werden wir kurze Life-Demos geben.<p>
Wir schließen mit einem Ausblick auf die Zukunftspläne von RMF. <p>
Dieser Vortrag wurde als <a href=”http://www.hood-group.com/reconf/reconf-2013/programm/top-5-referenten-der-reconf-2013/”>einer der 5 besten der ReConf</a> bewertet.
Jastram, Michael
Openness in Systems Engineering with Eclipse Conference
ProStep Symposium 2013.
Abstract | BibTeX | Tags: ReqIF
@conference{2013_prostep,
title = {Openness in Systems Engineering with Eclipse},
author = {Michael Jastram},
year = {2013},
date = {2013-01-01},
series = {ProStep Symposium},
abstract = {Eclipse is an open source framework for building platform-independent GUI applications. It is managed by the Eclipse Foundation (a non-profit organization), which ensures that official Eclipse projects are interoperable and follow certain intellectual property guidelines.
Open Source in general allows organizations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
Eclipse in particular provides a solid, mature and open platform for desktop applications with a rich ecosystem. Many Eclipse offerings are ready to be used “as is”, thereby offering great cost savings. <>p
In this talk, we demonstrate how Eclipse can be used as an integration platform for systems engineering. We focus on RMF (Requirements Modeling Framework) as a case study on how the Eclipse ecosystem can be leveraged in a business environment. RMF is a clean-room implementation of the open ReqIF standard, which is currently being adopted by various tool vendors: The currently ongoing ReqIF Implementor Forum , which is organized by ProSTEP iViP, will ensure that the various ReqIF implementations will properly function together. We will look at both the technical and business implications.
From a business point of view, this approach promises cost savings and prevents vendor lock-in. To understand the value, we will look at the openETCS project , which is an ITEA2 EU-funded project. The purpose of this project is the development of an integrated modeling, development, validation and testing framework for leveraging the cost-efficient and reliable implementation of the European Train Control System (ETCS), based on open source technologies. While the technology choice has not yet been fi¬nalized, Eclipse is a strong candidate for realizing this project, and it being open source is a core requirement. We will present the implications of such an open platform from a business point of view for the parties involved, which are customers (e.g. Deutsche Bahn), equipment manufacturers (e.g. Siemens) service providers (e.g. Formal Mind) and, of course, the EU and its citizens.},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {conference}
}
Open Source in general allows organizations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
Eclipse in particular provides a solid, mature and open platform for desktop applications with a rich ecosystem. Many Eclipse offerings are ready to be used “as is”, thereby offering great cost savings. <>p
In this talk, we demonstrate how Eclipse can be used as an integration platform for systems engineering. We focus on RMF (Requirements Modeling Framework) as a case study on how the Eclipse ecosystem can be leveraged in a business environment. RMF is a clean-room implementation of the open ReqIF standard, which is currently being adopted by various tool vendors: The currently ongoing ReqIF Implementor Forum , which is organized by ProSTEP iViP, will ensure that the various ReqIF implementations will properly function together. We will look at both the technical and business implications.<p>
From a business point of view, this approach promises cost savings and prevents vendor lock-in. To understand the value, we will look at the openETCS project , which is an ITEA2 EU-funded project. The purpose of this project is the development of an integrated modeling, development, validation and testing framework for leveraging the cost-efficient and reliable implementation of the European Train Control System (ETCS), based on open source technologies. While the technology choice has not yet been fi¬nalized, Eclipse is a strong candidate for realizing this project, and it being open source is a core requirement. We will present the implications of such an open platform from a business point of view for the parties involved, which are customers (e.g. Deutsche Bahn), equipment manufacturers (e.g. Siemens) service providers (e.g. Formal Mind) and, of course, the EU and its citizens.
Jastram, Michael
A Systems Engineering Tool Chain Based on Eclipse and Rodin Proceedings Article
In: Forms/Format, 2012.
Abstract | BibTeX | Tags: ReqIF
@inproceedings{jastram_forms_2012,
title = {A Systems Engineering Tool Chain Based on Eclipse and Rodin},
author = {Michael Jastram},
year = {2012},
date = {2012-11-01},
booktitle = {Forms/Format},
abstract = {Formal methods are experiencing a renaissance, especially in the development of safety-critical systems. An indicator for this is the fact that more and more standards either recommend or prescribe the use of formal methods.
Using formal methods on an industrial scale requires their integration into the system engineering process. This paper is exploring how an integrated tool chain that supports formal methods may look like. It thereby focusses on our experience with tool chains that are based on the open source Eclipse platform in general, and the Rodin formal modeling environment in particular.
Open Source allows organisations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
We see industrial interest in open source for systems engineering in general, and Eclipse in particular. Eclipse is attractive, because its license is business-friendly. Further, its modular architecture makes it easy to seamlessly integrate the various Eclipse-based tools for systems engineering.
},
This paper focuses on an ecosystem that is accumulated around two Eclipse-based platforms, First, the Rodin platform is an open source modeling environment for the Event-B formalism. Second, the Requirements Modeling Framework (RMF) is a platform for working with natural language requirements, supporting the international ReqIF standard.
keywords = {ReqIF},
pubstate = {published},
tppubtype = {inproceedings}
}
</p><p>
Using formal methods on an industrial scale requires their integration into the system engineering process. This paper is exploring how an integrated tool chain that supports formal methods may look like. It thereby focusses on our experience with tool chains that are based on the open source Eclipse platform in general, and the Rodin formal modeling environment in particular.
</p><p>
Open Source allows organisations to remedy the risk of being dependent on one single vendor. This includes the risk of the feature set provided: users can add missing features themselves or commission their inclusion to any competent party, rather than having to rely on the vendor to implement it. It further includes the risk of maintenance and long-term support.
</p><p>
We see industrial interest in open source for systems engineering in general, and Eclipse in particular. Eclipse is attractive, because its license is business-friendly. Further, its modular architecture makes it easy to seamlessly integrate the various Eclipse-based tools for systems engineering.
</p><p>
This paper focuses on an ecosystem that is accumulated around two Eclipse-based platforms, First, the Rodin platform is an open source modeling environment for the Event-B formalism. Second, the Requirements Modeling Framework (RMF) is a platform for working with natural language requirements, supporting the international ReqIF standard.</p>
Ebert, Michael Jastram Christof
ReqIF: Seamless Requirements Interchange Format between Business Partners Proceedings Article
In: IEEE Software, pp. 82–87, 2012.
Abstract | BibTeX | Tags: ReqIF
@inproceedings{ebert_jastram_reqif_2012,
title = {ReqIF: Seamless Requirements Interchange Format between Business Partners},
author = {Michael Jastram Christof Ebert},
year = {2012},
date = {2012-10-01},
booktitle = {IEEE Software},
pages = {82--87},
abstract = {The primary sources of project risks and product problems are poor,
missing, or changing requirements. Often, the underlying root cause
is insufficient collaboration between business partners. This article
provides insight into how to effectively collaborate in requirements
engineering. We describe the Requirements Interchange Format
(ReqIF) standard and technologies for seamless requirements
development and management. We look forward to hearing from
both readers and prospective column authors about this and the
technologies and tools you want to know more about.},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {inproceedings}
}
missing, or changing requirements. Often, the underlying root cause
is insufficient collaboration between business partners. This article
provides insight into how to effectively collaborate in requirements
engineering. We describe the Requirements Interchange Format
(ReqIF) standard and technologies for seamless requirements
development and management. We look forward to hearing from
both readers and prospective column authors about this and the
technologies and tools you want to know more about.
Ladenberger, Lukas; Jastram, Michael
Requirements Traceability between Textual Requirements and Formal Models Using ProR Unpublished
2012, (Accepted for iFM’2012).
@unpublished{LadenbergerJastram_iFMABZ2012,
title = {Requirements Traceability between Textual Requirements and Formal Models Using ProR},
author = {Lukas Ladenberger and Michael Jastram},
year = {2012},
date = {2012-06-01},
abstract = {Traceability within a system description is a challenging problem of requirements engineering. In particular, formal models of the system are often based on informal requirements, but creating and maintaining the traceability between the two can be challenging. Previously, we presented an incremental approach for producing a system description from an initial set of requirements. The foundation of the approach is a classification of requirements into artefacts W (domain properties), R (requirements) and S (specification). In addition, the approach uses designated phenomena as the vocabulary employed by the artefacts. The central idea is that adequacy of the system description must be justified, meaning that W / S => R. The approach establishes a traceability, and the resulting system description may consist of formal and informal artefacts.
We created tool support for this approach by integrating Rodin and ProR ...
},
note = {Accepted for iFM'2012},
keywords = {},
pubstate = {published},
tppubtype = {unpublished}
}
Jastram, Michael; Graf, Andreas
ReqIF – the new Requirements Standard and its Open Source implementation Eclipse RMF Technical Report
Commercial Vehicle Technology Symposium 2012.
@techreport{tr-JaGr2012,
title = {ReqIF – the new Requirements Standard and its Open Source implementation Eclipse RMF},
author = {Michael Jastram and Andreas Graf},
year = {2012},
date = {2012-01-01},
institution = {Commercial Vehicle Technology Symposium},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {techreport}
}
Jastram, Michael
The ProR Approach: Traceability of Requirements and System Descriptions Book
CreateSpace, 2012.
Abstract | BibTeX | Tags: ReqIF
@book{jastram-thesis-2012,
title = {The ProR Approach: Traceability of Requirements and System Descriptions},
author = {Michael Jastram},
year = {2012},
date = {2012-01-01},
publisher = {CreateSpace},
institution = {Heinrich-Heine University Dusseldorf},
series = {Inaugural-Dissertation},
abstract = {Creating a system description of high quality is still a challenging problem in the field of requirements engineering. Creating a formal system description addresses some issues. However, the relationship of the formal model to the user requirements is rarely clear, or documented satisfactorily.
This work presents the ProR approach, an approach for the creation of a consistent system description from an initial set of requirements. The resulting system description is a mixture of formal and informal artefacts. Formal and informal reasoning is employed to aid in the process. To achieve this, the artefacts must be connected by traces to support formal and informal reasoning, so that conclusions about the system description can be drawn.
The ProR approach enables the incremental creation of the system description, alternating between modelling (both formal and informal) and validation. During this process, the necessary traceability for reasoning about the system description is established. The formal model employs refinement for further structuring of large and complex system descriptions. The development of the ProR approach is the first contribution of this work.
This work also presents ProR, a tool platform for requirements engineering, that supports the ProR approach. ProR has been integrated with Rodin, a tool for Event-B modelling, to provide a number of features that allow the ProR approach to scale.
The core features of ProR are independent from the ProR approach. The data model of ProR builds on the international ReqIF standard, which provides interoperability with industrial tools for requirements engineering. The development of ProR created enough interest to justify the creation of the Requirements Modeling Framework (RMF), a new Eclipse Foundation project, which is the open source host for ProR. RMF attracted an active community, and ProR development continues. The development of ProR is the second contribution of this work.
This work is accompanied by a case study of a traffic light system, which demonstrates the application of both the ProR approach and ProR.
},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {book}
}
<p>This work presents the ProR approach, an approach for the creation of a consistent system description from an initial set of requirements. The resulting system description is a mixture of formal and informal artefacts. Formal and informal reasoning is employed to aid in the process. To achieve this, the artefacts must be connected by traces to support formal and informal reasoning, so that conclusions about the system description can be drawn.</p>
<p>The ProR approach enables the incremental creation of the system description, alternating between modelling (both formal and informal) and validation. During this process, the necessary traceability for reasoning about the system description is established. The formal model employs refinement for further structuring of large and complex system descriptions. The development of the ProR approach is the first contribution of this work.</p>
<p>This work also presents ProR, a tool platform for requirements engineering, that supports the ProR approach. ProR has been integrated with Rodin, a tool for Event-B modelling, to provide a number of features that allow the ProR approach to scale.</p>
<p>The core features of ProR are independent from the ProR approach. The data model of ProR builds on the international ReqIF standard, which provides interoperability with industrial tools for requirements engineering. The development of ProR created enough interest to justify the creation of the Requirements Modeling Framework (RMF), a new Eclipse Foundation project, which is the open source host for ProR. RMF attracted an active community, and ProR development continues. The development of ProR is the second contribution of this work.</p>
<p>This work is accompanied by a case study of a traffic light system, which demonstrates the application of both the ProR approach and ProR.</p>
Jastram, Michael; Brörkens, Mark
ReqIF in der Open Source: Das Eclipse Requirements Modeling Framework (RMF) Conference
ReConf 2012.
Abstract | Links | BibTeX | Tags: ReqIF
@conference{2012_reconf_rmf,
title = {ReqIF in der Open Source: Das Eclipse Requirements Modeling Framework (RMF)},
author = {Michael Jastram and Mark Brörkens},
url = {http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/},
year = {2012},
date = {2012-01-01},
series = {ReConf},
abstract = {Durch die Freigabe des ReqIF-Standards im April 2011 durch die OMG gibt es nun einen internationalen Standard, der das verteilte Arbeiten mit komplexen Anforderungen ermöglicht. Damit könnte ReqIF für Anforderungen das werden, was die UML in der Modellierung geleistet hat: Einen gemeinsamen Standard bereitstellen, auf den die Gemeinschaft konvergieren kann.
In diesem Vortrag stellen wir das Requirements Modeling Framework (RMF) vor. RMF ist ein neues Eclipse Foundation Projekt, das aus einem RIF/ReqIF-Kern und einer ReqIF-GUI besteht. RMF ist aus den zwei europäischen Forschungsprojekten Deploy und Verde entstanden.
RMF stellt drei Kerne für RIF 1.1a, RIF 1.2 und ReqIF 1.0.1 zu Verfügung. Diese sind mit dem Eclipse Modeling Framework realisiert und ermöglichen das effektive programmatische Arbeiten mit RIF- und ReqIF-Daten.
ProR ist der Name der GUI, mit der ReqIF-Daten komfortabel bearbeitet werden können. Dabei werden Anforderungen intuitiv tabellarisch dargestellt. ProR stellt Erweiterungspunkte zur Verfügung, über die andere Eclipse-basierte Werkzeuge integriert werden können.
In diesem Vortrag werden wir das Projekt vorstellen, die Architektur beschreiben, die Möglichkeiten einer Eclipse-basierten Plattform demonstrieren und eine Demo von ProR geben.
Online unter http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/
},
keywords = {ReqIF},
pubstate = {published},
tppubtype = {conference}
}
In diesem Vortrag stellen wir das Requirements Modeling Framework (RMF) vor. RMF ist ein neues Eclipse Foundation Projekt, das aus einem RIF/ReqIF-Kern und einer ReqIF-GUI besteht. RMF ist aus den zwei europäischen Forschungsprojekten Deploy und Verde entstanden.
RMF stellt drei Kerne für RIF 1.1a, RIF 1.2 und ReqIF 1.0.1 zu Verfügung. Diese sind mit dem Eclipse Modeling Framework realisiert und ermöglichen das effektive programmatische Arbeiten mit RIF- und ReqIF-Daten.
ProR ist der Name der GUI, mit der ReqIF-Daten komfortabel bearbeitet werden können. Dabei werden Anforderungen intuitiv tabellarisch dargestellt. ProR stellt Erweiterungspunkte zur Verfügung, über die andere Eclipse-basierte Werkzeuge integriert werden können.
In diesem Vortrag werden wir das Projekt vorstellen, die Architektur beschreiben, die Möglichkeiten einer Eclipse-basierten Plattform demonstrieren und eine Demo von ProR geben.
<p>Online unter <a href=”http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/”>http://2012.reconf.de/methodenvortrge1/reqif-in-der-open-source-das-eclipse-requirements-modeling-framework-rmf/</a></p>
Jastram, Michael
Strukturierung von Anforderungen für eine enge Integration mit Modellen Conference
ReConf 2012.
Abstract | Links | BibTeX | Tags: formal methods, ReqIF, traceability
@conference{2012_reconf_tracing,
title = {Strukturierung von Anforderungen für eine enge Integration mit Modellen},
author = {Michael Jastram},
url = {http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010},
year = {2012},
date = {2012-01-01},
series = {ReConf},
abstract = {Anforderungsmanagement und Modellierung - schon lange ist bekannt, dass sich diese beiden Ansätze gut ergänzen, aber wie verzahnt sind sie in der Praxis wirklich? Schauen wir uns doch mal einen Ansatz wie SysML an: Zwar können damit Anforderungen mit Modellelementen verknüpft werden; aber die Anforderungen sind nach wie vor einfach nur Textblöcke.
In diesem Vortrag stellen wir einen Ansatz vor, bei dem die natürlichsprachigen Anforderungen umstrukturiert werden, um die Nachverfolgbarkeit zu Modellen zu vereinfachen. Wir basieren unsere Arbeit auf dem WRSPM-Referenzmodell von Gunter. Diese Strukturierung allein verbessert bereits die Qualität der Anforderungen. Aber noch wichtiger, sie ermöglicht eine wesentlich tiefere Verknüpfung mit einem Modell.
Unser Ansatz kann mit verschiedenen Modellen umgesetzt werden. In unserer Forschungsarbeit arbeiten wir mit der formalen Event-B-Methode. In diesem Vortrag werden wir aber auch zeigen, wie der Ansatz mit leichtgewichtigen Modellen genutzt werden kann, zum Beispiel SysML.
Einer der Hauptvorteile unseres Ansatzes ist es, dass nicht alle Anforderungen mit dem Modell verknüpft werden müssen. Denn nicht alle Anforderungen eignen sich für die Modellierung.
Neben der theoretischen Arbeit zeigen wir auch das von uns entwickelte Werkzeug ProR, das das Arbeiten mit diesem Ansatz ermöglicht. ProR ist Teil des Eclipse Foundation Projekts RMF (Requirements Modeling Framework). Mit entsprechenden Erweiterungen ist eine Integration von ReqIF-basierten Anforderungen mit Event-B oder SysML prototypisch umgesetzt worden.
Online unter http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010/
},
keywords = {formal methods, ReqIF, traceability},
pubstate = {published},
tppubtype = {conference}
}
In diesem Vortrag stellen wir einen Ansatz vor, bei dem die natürlichsprachigen Anforderungen umstrukturiert werden, um die Nachverfolgbarkeit zu Modellen zu vereinfachen. Wir basieren unsere Arbeit auf dem WRSPM-Referenzmodell von Gunter. Diese Strukturierung allein verbessert bereits die Qualität der Anforderungen. Aber noch wichtiger, sie ermöglicht eine wesentlich tiefere Verknüpfung mit einem Modell.
Unser Ansatz kann mit verschiedenen Modellen umgesetzt werden. In unserer Forschungsarbeit arbeiten wir mit der formalen Event-B-Methode. In diesem Vortrag werden wir aber auch zeigen, wie der Ansatz mit leichtgewichtigen Modellen genutzt werden kann, zum Beispiel SysML.
Einer der Hauptvorteile unseres Ansatzes ist es, dass nicht alle Anforderungen mit dem Modell verknüpft werden müssen. Denn nicht alle Anforderungen eignen sich für die Modellierung.
Neben der theoretischen Arbeit zeigen wir auch das von uns entwickelte Werkzeug ProR, das das Arbeiten mit diesem Ansatz ermöglicht. ProR ist Teil des Eclipse Foundation Projekts RMF (Requirements Modeling Framework). Mit entsprechenden Erweiterungen ist eine Integration von ReqIF-basierten Anforderungen mit Event-B oder SysML prototypisch umgesetzt worden.
<p>Online unter <a href=”http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010/”>http://2012.reconf.de/wissenschaftstrack01/christian-albrechts-universit010/</a></p>
Bendisposto, Jens; Fritz, Fabian; Jastram, Michael; Leuschel, Michael; Weigelt, Ingo
Developing Camille, a text editor for Rodin Journal Article
In: Software: Practice and Experience, vol. 41, no. 2, pp. 189–198, 2011, ISSN: 1097-024X.
Abstract | Links | BibTeX | Tags: Event-B, formal methods, Rodin, tools
@article{SPE1016,
title = {Developing Camille, a text editor for Rodin},
author = {Jens Bendisposto and Fabian Fritz and Michael Jastram and Michael Leuschel and Ingo Weigelt},
url = {http://dx.doi.org/10.1002/spe.1016},
doi = {10.1002/spe.1016},
issn = {1097-024X},
year = {2011},
date = {2011-01-01},
journal = {Software: Practice and Experience},
volume = {41},
number = {2},
pages = {189--198},
publisher = {John Wiley & Sons, Ltd.},
abstract = {Initially, the Rodin platform for Event-B did away with a textual representation for models. In this paper, we explain why a textual representation was required after all and we present the semantic-aware text editor Camille for Rodin. We explain the design choices of Camille, such as splitting the syntax into two-levels for machine and formula syntax. We also describe the challenges, such as synchronizing the textual representation with the Rodin database, and how they were overcome using an EMF abstraction layer.},
keywords = {Event-B, formal methods, Rodin, tools},
pubstate = {published},
tppubtype = {article}
}
Sorry, no publications matched your criteria.