Formal Requirement Engineering with Xtext and ProR

1,889 views

Published on

A briefly introduction of formal requirements engineering with Eclipse based tooling like Xtext and ProR.

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,889
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
22
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide
  • \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
  • Formal Requirement Engineering with Xtext and ProR

    1. 1. Formal Requirement Specification with Xtext & ProRBreaking the myth: formal requirement specification made easy with Eclipse based tooling Eclipse Indigo DemoCamp Dresden 21.06.2011 @LarsMartinLE
    2. 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. 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. 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. 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. 6. RIF/ReqIF UI - ProR Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    7. 7. CReMa- Editor- Explorer- EPL- Loose Coupling- EMF Serialization Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    8. 8. CReMa- Editor- Explorer- EPL- Loose Coupling- EMF Serialization Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    9. 9. CReMa- Editor- Explorer- EPL- Loose Coupling- EMF Serialization Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    10. 10. Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    11. 11. Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    12. 12. Eclipse - http://www.eclipse.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    13. 13. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/Xtext Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    14. 14. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    15. 15. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.orgYakindu - http://www.yakindu.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    16. 16. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.orgYakindu - http://www.yakindu.orgPapyrus - http://www.eclipse.org/papyrus Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    17. 17. Eclipse - http://www.eclipse.orgXtext - http://www.eclipse.org/XtextProR - http://www.pror.orgYakindu - http://www.yakindu.orgPapyrus - http://www.eclipse.org/papyrusVerde - www.itea-verde.org Formal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE
    18. 18. Questions? Lars Martin Senior Consultant @LarsMartinLEFormal Requirement Specification with Xtext & ProR - Eclipse Indigo DemoCamp Dresden - 21.06.2011 - @LarsMartinLE

    ×