Tool support for refinement of non-functional specifications

Software and Systems Modeling

Volumn 6, Issue 2, 2007, Pages 185-204

  Röttger, Simone ^a   Zschaler, Steffen ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

CASE tool support; Model transformation; Non functional properties; Refinement

Indexed keywords

CONTEXT SENSITIVE LANGUAGES; SOFTWARE DESIGN; SPECIFICATION LANGUAGES; TERMINOLOGY;

MODEL DRIVEN ARCHITECTURE; MODEL TRANSFORMATION; NON-FUNCTIONAL SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34250029440     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-006-0024-x     Document Type: Conference Paper

References (40)

1. Aagedal J.O. Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)
2. Aigner, R., Pohlack, M., Röttger, S., Zschaler, S.: Towards pervasive treatment of non-functional properties at design and run-time. In: 16th International Conference on Software and Systems Engineering and their Applications (ICSSEA'03). Paris, CNAM-CMSL, 2-4 December 2003
3. ArgoUML website. http://argouml.tigris.org/
4. + -Basisbibliothek(in German) Diplomarbeit. Department of Computer Science, Technische Universität Dresden (2004)
5. Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E.: Extensible markup language (XML) 1.0 (2nd edition). W3C Recommendation (2000)
6. Bruel, J.-M. (ed) Proc Leading of the 1st international Workshop on Quality of Service in Component-Based Software Engineering, Toulouse, France. Cépaduès-Éditions (2003)
7. Chung L., Nixon B.A., Yu E., Mylopoulos J. (2000) Non-Functional Requirements In Software Engineering. Kluwer, Dordrecht
8. Clark, T., Evans, A., Sammut, P., Willans, J.: Applied Metamodelling - A Foundation for Language Driven Development. version 0.1, published on-line at http://www.xactium.com/ (2004)
9. Demairy, E., Anceaume, E., Issarny, V.: On the correctness of multimedia applications. In: 11th EuroMicro Conference. on Real Time Systems. IEEE, June 1999
10. Dirckze, R.: Java metadata interface(JMI) specification, version 1.0. Java Community Process JSR 040 Final Specification, June 2002. http://www.jcp.org/
11. Gamma E., Helm R., Johnson R., Vlissides J. (1995) Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading
12. Gokhale, A., Natarajan, B., Schmidt, D.C., Nechypurenko, A., Gray, J., WaAg, N., Neema, S., Bapty, T., Parsons, J.: Cosmic: an MDA generative tool for distributed real-time and embedded component middleware and applications. In: Proceedings. ACM OOPSLA 2002 Workshop on Generative Techniques in the Context of MDA. Seattle, WA, November 2002
13. Härtig, H., Zschaler, S., Aigner, R., Göbel, S., Pohlack, M., Pohl, C., Röttger, S.: Enforceable component-based realtime contracts - supporting realtime properties from software development to execution. Real Time Systems (to appear)
14. Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds) Proceedings of. 3rd International UML Conference. 2000 - The Unified Modeling Language. Advancing the Standard. volume 1939 of LNCS, pp. 278-293. Springer, Berlin Heidelberg Newyork (2000)
15. Information technology - Quality of Service: Framework. ISO/IEC 13236:1998, ITU-T X.641, 1998
16. IAsarny, V., Bidan, C.: Aster: a framework for sound customization of distributed runtime systems. In: International Conference on Distributed Computing Systems. pp. 586-593. IEEE Computer Society, 1996
17. Jézéquel, J.-M., Plouzeau, N., Weis, T., Geihs, K.: From contracts to aspects in UML designs. In: AOSD Workshop on Aspect-Oriented Modeling with UML. Enschede, The Netherlands (2002)
18. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Akşit, M., Matsuoka, S. (eds.) 11th European Conference. on Object-Oriented Programming, vol. 1241 of LNCS, pp. 220-242. Springer, Berlin Heidelberg Newyork (1997)
19. Kleppe A., Warmer J., Bast W.(2003) MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley, Reading
20. Malan, R., Bredemeyer, D., Defining non-functional requirements. Bredemeyer Consulting, White Paper. http://www.bredemeyer.com/ papers.htm, 2001
21. Matula, M.: Netbeans metadata repository, March 2003. http://mdr.netbeans.org/MDR-whitepaper.pdf
22. Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. In: Proceedings of. 6th European Software Engineering Conf. together with 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE97). pp. 60-76, Zurich, Switzerland, September 1997
23. Meyer, L.: Werkzeugunterstützung für Verfeinerungen nicht-funktionaler Eigenschaften In German. Groβer Beleg, Department of Computer Science, Technische Universität Dresden, August 2004.
24. Meyerhöfer, M., Neumann, C.: TESTEJB - a measurement framework for EJBs. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) Proceedings. 7th International Symposium on Component-Based Software Engineering (CBSE'04). number 3054 in LNCS, pp. 294-301. Springer, Berlin Heidelberg New York (2004)
25. NSUML and NSMDF website. http://nsuml.sourceforge.net/
26. Object Management Group. MOF 2.0 query, views, transformations request for proposals. OMG Document, April 2002. URL http://www.omg.org/docs/ad/ 02-04-10.pdf
27. Object Management Group. UML 2.0 OCL specification. OMG Document, October 2003. URL http://www.omg.org/cgi-bin/doc?ptc/03-10-14
28. Object Management Group. Meta object facility specification. OMG Document, October 2003. URL http://www.omg.org/cgi-bin/doc?ptc/03-10-04
29. Object Management Group. Unified modeling language: Superstructure version 2.0. OMG Document, July 2003. URL http://www.omg.org/cgi-bin/ doc?ptc/03-07-06.pdf
30. Object Management Group. UML profile for modeling quality of service and fault tolerance characteristics and mechanisms. OMG Document, June 2004 URL http://www.omg.org/docs/ptc/04-06-01.pdf.
31. +: Enhancements to CQML. In Bruel [6], pp. 43-56
32. Röttger, S., Zschaler, S.: A software development process supporting non-functional properties. In: Proceedings of. IASTED International Conference. on Software Engineering (IASTED SE 2004). ACTA Press (2004)
33. Röttger, S., Zschaler, S.: Model-driven development for non-functional properties: Refinement through model transformation. In: Proceedings of. < < UML > > Conference, Lisbon, Portugal, 2004. volume 3273 of LNCS, pp. 275-289. Springer, Berlin heidelberg Newyork (2004)
34. Sassen, A.-M., Amorós, G., Donth, P., Geihs, K., Jézéquel, J.-M., Odent, K., Plouzeau, N., Weis, T.: QCCS: a methodology for the development of contract-aware components based on aspect oriented design. In: AOSD Early Aspects Workshop. Enschede, The Netherlands, (2002)
35. Shaw, M., DeLine, R., Zelesnik, G.: Abstractions and implementations for architectural connections. In: 3rd International Conference. on Configurable Distributed Systems. IEEE Press (1996)
36. Simmonds, D.M., Ghosh, S., France, R.: An MDA framework for middleware transparent software development & quality of service. In Bruel [6], pp. 1-7
37. Sommerville I. (2001) Software Engineering. Addison-Wesley, Reading
38. Stankovic, J.A., Zhu, R., Poornalingam, R., Lu, C.: Yu, Z., Humphrey, M., Ellis, B.: VEST: An aspect-based composition tool for real-time systems. In: Proceedings of the. 9th Real-Time and Embedded Technology and Applications Symposium (RTAS'03), Toronto, Canada, pp. 58-69. IEEE Press (2003)
39. Tannhäuser, F.: Konzeption und prototypische Umsetzung eines Spezifikationswerkzeugs für CQML + -Spezifikationen. Diplomarbeit, Department of Computer Science, Technische Universität Dresden, December 2003 (In German)
40. Zschaler, S.: Towards a semantic framework for non-functional specifications of component-based systems. In: Steinmetz, R., Mauthe, A. (eds) Proceedings of. EUROMICRO Conference. 2004, Rennes IEEE Computer Society (2004)