More Related Content Similar to Formal Requirement Engineering with Xtext and ProR (20) More from Lars Martin (7) Formal Requirement Engineering with Xtext and ProR1. Formal Requirement Specification
with Xtext & ProR
Breaking the myth: formal requirement specification
made easy with Eclipse based tooling
Eclipse Indigo DemoCamp Dresden
21.06.2011
@LarsMartinLE
2. RIF/ReqIF
- OMG
- Ecore Model
- RIF 1.1a
- RIF 1.2
- ReqIF beta2
- XML Export
- EPL / Proposal
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
3. RIF/ReqIF
- OMG
- Ecore Model
- RIF 1.1a
- RIF 1.2
- ReqIF beta2
- XML Export
- EPL / Proposal
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
4. RIF/ReqIF
- OMG
- Ecore Model
- RIF 1.1a
- RIF 1.2
- ReqIF beta2
- XML Export
- EPL / Proposal
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
5. RIF/ReqIF
- OMG
- Ecore Model
- RIF 1.1a
- RIF 1.2
- ReqIF beta2
- XML Export
- EPL / Proposal
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
6. RIF/ReqIF UI - ProR
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
7. CReMa
- Editor
- Explorer
- EPL
- Loose Coupling
- EMF Serialization
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
8. CReMa
- Editor
- Explorer
- EPL
- Loose Coupling
- EMF Serialization
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
9. CReMa
- Editor
- Explorer
- EPL
- Loose Coupling
- EMF Serialization
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
14. Eclipse - http://www.eclipse.org
Xtext - http://www.eclipse.org/Xtext
ProR - http://www.pror.org
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
15. Eclipse - http://www.eclipse.org
Xtext - http://www.eclipse.org/Xtext
ProR - http://www.pror.org
Yakindu - http://www.yakindu.org
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
16. Eclipse - http://www.eclipse.org
Xtext - http://www.eclipse.org/Xtext
ProR - http://www.pror.org
Yakindu - http://www.yakindu.org
Papyrus - http://www.eclipse.org/papyrus
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
17. Eclipse - http://www.eclipse.org
Xtext - http://www.eclipse.org/Xtext
ProR - http://www.pror.org
Yakindu - http://www.yakindu.org
Papyrus - http://www.eclipse.org/papyrus
Verde - www.itea-verde.org
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
18. Questions?
Lars Martin
Senior Consultant
@LarsMartinLE
Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
Editor's Notes \n - SysML oder RIF\n- RIF ist spezialisiert auf Requirements\n- XML Schema basiertes Austauschformat für Requirements\n- standardisiert durch OMG - ReqIF\n- MKS, IBM Doors\n- Ecore Model entwickelt\n- massgeblich vorangetrieben durch itemis\n- VERDE Projekt\n - SysML oder RIF\n- RIF ist spezialisiert auf Requirements\n- XML Schema basiertes Austauschformat für Requirements\n- standardisiert durch OMG - ReqIF\n- MKS, IBM Doors\n- Ecore Model entwickelt\n- massgeblich vorangetrieben durch itemis\n- VERDE Projekt\n - SysML oder RIF\n- RIF ist spezialisiert auf Requirements\n- XML Schema basiertes Austauschformat für Requirements\n- standardisiert durch OMG - ReqIF\n- MKS, IBM Doors\n- Ecore Model entwickelt\n- massgeblich vorangetrieben durch itemis\n- VERDE Projekt\n - entwickelt an der Universität Düsseldorf\n- in Zusammenarbeit mit itemis\n- nutzt den RIF/ReqIF Core\n- Xtext Integration !!!!\n - Cross Relationship Manager\n- Bestandteil der Yakindu Entwicklung\n- Requirement Tracing Tool\n- Tracepoint Provider\n- aktuelle Implementierungen: ProR, Papyrus UML, Yakindu Statechart, Yakindu Damos, Eclipse Project Explorer, Textfile\n\n - Cross Relationship Manager\n- Bestandteil der Yakindu Entwicklung\n- Requirement Tracing Tool\n- Tracepoint Provider\n- aktuelle Implementierungen: ProR, Papyrus UML, Yakindu Statechart, Yakindu Damos, Eclipse Project Explorer, Textfile\n\n \n \n - Yakindu: Statechart Tools, Damos\n\n - Yakindu: Statechart Tools, Damos\n\n - Yakindu: Statechart Tools, Damos\n\n - Yakindu: Statechart Tools, Damos\n\n - Yakindu: Statechart Tools, Damos\n\n - Yakindu: Statechart Tools, Damos\n\n \n