Downloaded 26 times
Uploaded byLars Martin
Formal Requirement Engineering with Xtext and ProR
The document presents a formal requirement specification using Xtext and PROR, showcased at the Eclipse Indigo Democamp in Dresden on June 21, 2011. It discusses various topics including the RIF/REQIF standards, ecore models, and tools for XML export and EMF serialization. Key contributors and links to Eclipse resources are also highlighted.
Formal Requirement Engineering with Xtext and ProR
- 1. 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 - EcoreModel - 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 - EcoreModel - 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 - EcoreModel - 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 - EcoreModel - 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
- 10. Formal Requirement Specificationwith Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 11. Formal Requirement Specificationwith Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 12. Eclipse - http://www.eclipse.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
- 13. Eclipse - http://www.eclipse.org Xtext- http://www.eclipse.org/Xtext 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
- #2 \n
- #3 - 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
- #4 - 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
- #5 - 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
- #6 - entwickelt an der Universität Düsseldorf\n- in Zusammenarbeit mit itemis\n- nutzt den RIF/ReqIF Core\n- Xtext Integration !!!!\n
- #7 - 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
- #8 - 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
- #9 \n
- #10 \n
- #11 - Yakindu: Statechart Tools, Damos\n\n
- #12 - Yakindu: Statechart Tools, Damos\n\n
- #13 - Yakindu: Statechart Tools, Damos\n\n
- #14 - Yakindu: Statechart Tools, Damos\n\n
- #15 - Yakindu: Statechart Tools, Damos\n\n
- #16 - Yakindu: Statechart Tools, Damos\n\n
- #17 \n