A metamodeling approach for reasoning about requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5095 LNCS, Issue , 2008, Pages 310-325

  Goknil, Arda ^a   Kurtev, Ivan ^a   Van Den Berg, Klaas ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Model customization; Reasoning; Requirements metamodels

Indexed keywords

REQUIREMENTS ENGINEERING; SEMANTICS; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN;

GOAL-ORIENTED; META MODEL; METAMODELING; MOBILE SERVICE; REASONING; REQUIREMENTS METAMODEL; REQUIREMENTS MODELS; SYSTEM REQUIREMENTS;

CASE BASED REASONING;

EID: 70349862228     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69100-6_21     Document Type: Conference Paper

References (29)

1. Baudry, B., Nebut, C., Le Traon, Y.: Model-Driven Engineering for Requirements Analysis. In: EDOC 2007, pp. 459-466. IEEE, Annapolis (2007)
2. Brottier, E., Baudry, B., Le Traon, Y., Touzet, D., Nicolas, B.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: EDOC 2007, pp. 390- 404. IEEE Computer Society Press, Annapolis (2007)
3. Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2000)
4. Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.A.: OWL Web Ontology Language Reference W3C Recommendation (2004)
5. Duffy, D., MacHish, C., McDermid, J., Morris, P.: A Framework for Requirements Analysis Using Automated Reasoning. In: Iivari, J., Rossi, M., Lyytinen, K. (eds.) CAiSE 1995. LNCS, vol.932. Springer, Heidelberg (1995)
6. Gennari, J., Musen, A., Fergerson, R.W., Grosso, W.E., Crubezy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The Evolution of Protégé: An Environment for Knowledge-Based Systems Development. International Journal of Human-Computer Studies 58(1), 89-123 (2003)
7. Guide to Software Engineering Body of Knowledge. IEEE Computer Society, Los Alamitos (last visit 06.02.2008), http://www.swebok.org/
8. Heaven, W., Finkelstein, A.: UML Profile to Support Requirements Engineering with KAOS. IEE Proceedings - Software 151(1) (February 2004)
9. Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: Semantic Web Rule Language - Combining OWL and RuleML. W3C (May 2004)
10. Jess, the Rule Engine for the Java Platform, http://herzberg.ca.sandia. gov/
11. Kent, S.: Model Driven Engineering. In: Proceedings of the 3rd International Conference on Integrated Formal Methods, London, UK, pp. 286-298 (2002)
12. Koch, N., Kraus, A.: Towards a Common Metamodel for the Development of Web Applications. In: Cueva Lovelle, J.M., Rodríguez, B.M.G., Gayo, J.E.L., Ruiz, M.d.P.P., Aguilar, L.J. (eds.) ICWE 2003. LNCS, vol.2722, pp. 497-506. Springer, Heidelberg (2003)
13. Lopez, O., Laguna, M.A., Garcia, F.J.: Metamodeling for Requirements Reuse. In: Anais do WER 2002 - Workshop em Engenharia de Requisitos, Valencia, Spain (2002)
14. Meyer, J.J.C., Wieringa, R., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems, 71-115 (1998)
15. Moon, M., Yeom, K., Chae, H.S.: An Approach to Developing Domain Requirements as a Core Asset Based on Commonality and Variability Analysis in a Product Line. IEEE Transactions on Software Engineering 31(7) (2005)
16. Mylopoulos, J., Chung, L., Yu, E.: From Object-Oriented to Goal Oriented Requirements Analysis. Communications of the ACM 42(1) (1999)
17. Navarro, E., Mocholi, J.A., Letelier, P., Ramos, I.: A Metamodeling Approach for Requirements Specification. The Journal of Computer Information Systems 46(5), 67-77 (2006)
18. OMG: SysML Specification OMG ptc/06-05-104, http://www.sysml.org/specs. htm
19. Ramesh, B., Jarke, M.: Toward Reference Models for Requirements Traceability. IEEE Transactions on Software Engineering 27(1) (2007)
20. Rashid, A., Moreira, A., Araujo, J.: Modularization and Composition of Aspectual Requirements. In: AOSD 2003, Boston, United States, pp. 11-20 (2003)
21. Requirements for the WASP application Framework, https://doc.telin.nl/ dsweb/Get/Document-27861/WASP-D2.1-version-1.0-Final.pdf
22. Requirements Interchange Format (RIF), http://www.automotive-his.de/rif/ doku.php
23. Rodrigues, O., Garcez, A., Russo, A.: Reasoning about Requirements Evolution using Clustered Belief Revision. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol.3171. Springer, Heidelberg (2004)
24. SPARQL Query Language for RDF. W3C (January 2008), http://www.w3.org/TR/ rdfsparql- query/
25. Supakkul, S., Chung, L.: A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs. In: SERA 2005 (2005)
26. van Lamswerdee, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering 24(11) (November 1998)
27. van Lamswerdee, A.: Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice. In: Invited Minitutorial, Proceedings RE 2001 - 5th International Symposium Requirements Engineering, Toronto, pp. 249-263 (2001)
28. Vicente-Chicote, C., Moros, B., Toval, A.: REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting. Journal of Object Technology, Special Issue TOOLS Europe 2007 6(9), 437-454 (2007)
29. Zowghi, D., Offen, R.: A Logical Framework for Modeling and Reasoning about the Evolution of Requirements. In: RE 1997, Annapolis, USA (January 1997)