Relating functional requirements and software architecture: Separation and consistency of concerns

Journal of Software Maintenance and Evolution

Volumn 14, Issue 5, 2002, Pages 371-388

  Heckel, Reiko ^a   Engels, Gregor ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Meta modeling; Model evolution; Typed graph transformation

Indexed keywords

COMPUTER ARCHITECTURE; GRAPH THEORY; PERFORMANCE; SECURITY OF DATA; SEMANTICS;

META MODELING;

SOFTWARE ENGINEERING;

EID: 0036760997     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/smr.261     Document Type: Article

References (28)

1. Finkelstein A., Kramer J., Nuseibeh B., Goedicke M., Finkelstein L. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering 1992; 2(1):31-58.
2. Object Management Group. Meta object facility (MOF) specification. http://www.omg.org [September 1999].
3. Object Management Group. UML specification version 1.4. http://www.celigent.com/omg/umlrtf/ [2001].
4. Hausmann J.H., Heckel R., Taentzer G. Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. Proceedings of the International Conference on Software Engineering (ICSE'2002). ACM/IEEE Computer Society Press, 2002.
5. Löwe M., Korff M., Wagner A. An algebraic framework for the transformation of attributed graphs. Term Graph Rewriting: Theory and Practice, ch. 14, Sleep M.R., Plasmeijer M.J., van Eekelen M.C. (eds.). Wiley: Chichester, 1993; 185-199.
6. Corradini A., Montanari U., Rossi F. Graph processes. Fundamenta Informaticae 1996; 26(3,4):241-266.
7. Ehrig H., Pfender M., Schneider H.J. Graph grammars: An algebraic approach. 14th Annual IEEE Symposium on Switching and Automata Theory. IEEE Press, 1973; 167-180.
8. Schürr A., Winter A.J., Zündorf A. The PROGRES approach: Language and environment. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools, Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. (eds.). World Scientific: Singapore, 1999; 487-550.
9. Coleman D., Arnold P., Bodof S., Dollin C., Gilchrist H., Hayes F., Jeremes P. Object Oriented Development, The Fusion Method. Prentice-Hall: Englewood Cliffs NJ, 1994.
10. D'Souza D., Wills A. Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley: Reading MA, 1998.
11. Köhler H.J., Nickel U., Niere J., Zündorf A. Integrating UML diagrams for production control systems. Proceedings of the 22nd International Conference on Software Engineering (ICSE). ACM Press, 2000.
12. Corradini A., Montanari U., Rossi F., Ehrig H., Heckel R., Löwe M. Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach. Handbook of Graph Grammars and Computing by Graph Transformation, Volume I: Foundations, Rozenberg G. (ed.). World Scientific: Singapore, 1997; 163-245.
13. Große-Rhode S., Parisi-Presicce F., Simeoni M. Refinement of graph transformation systems via rule expressions. Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT'98), Paderborn, November 1998 (Lecture Notes in Computer Science, vol. 1764), Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. (eds.). Springer: Berlin, 2000; 368-382.
14. Shaw M., Garlan D. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall: Englewood Cliffs NJ, 1996.
15. Kramer J., Magee J. Pulling Together. Proceedings of the 19th International Conference on Software Engineering (ICSE '97). ACM Press, 1997.
16. Le Métayer D. Software architecture styles as graph grammars. ACM Software Engineering Notes, 1996; 15-23.
17. Hirsch D., Inverardi P., Montanari U. Modeling software architectures and styles with graph grammars and constraint solving. Proceedings of the First Working IFIP Conference on Software Architecture, San Antonio TX, E.E.U.U., February 1999.
18. Wermelinger M., Fiadero J.L. A graph transformation approach to software architecture reconfiguration. Science of Computer Programming 2002; 44:133-155.
19. Taentzer G., Goedicke M., Meyer T. Dynamic change management by distributed graph transformation: Towards configurable distributed systems. Proceedings TAGT'98 (Lecture Notes in Computer Science, vol. 1764), Ehrig H., Engels G., Kreowsky H.-J., Rozenberg G. (eds.). Springer: Berlin, 2000; 177-190.
20. Hirsch D., Montanari M. Synchronized hyperedge replacement with name mobility. Proceedings of CONCUR 2001, Aarhus, Denmark (Lecture Notes in Computer Science, vol. 2154). Springer: Berlin, 2001; 121-136.
21. Kent A., Akehurst D. A relational approach to defining transformations in a metamodel. Proceedings of UML 2002, Dresden, Germany (Lecture Notes in Computer Science). Springer: Berlin, 2002. To appear.
22. Jacobson I., Booch G., Rumbaugh J. The Unified Software Development Process. Addison-Wesley: Reading MA, 1999.
23. Taentzer G. Parallel and distributed graph transformation: Formal description and application to communication-based systems. PhD Thesis, TU Berlin, 1996.
24. Taentzer G., Fischer I., Koch M., Volle V. Distributed graph transformation with application to visual design of distributed systems. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution, Ehrig H., Kreowski H.-J., Montanari U., Rozenberg G. (eds.). World Scientific: Singapore, 1999.
25. Heckel R., Corradini A., Ehrig H., Löwe M. Horizontal and vertical structuring of typed graph transformation systems. Mathematical Structures in Computer Seience 1996; 6(6):613-648.
26. Heckel R., Sauer St. Strengthening UML collaboration diagrams by state transformations. Proceedings of Fundamental Approaches to Software Engineering (FASE'2001), Genova, Italy (Lecture Notes in Computer Science, vol. 2185), Hußmann H. (ed.). Springer: Berlin, 2001.
27. Löwe M. Evolution patterns. Postdoctoral Thesis, Technical Report 98-4, Department of Computer Science, Technical University of Berlin, 1997.
28. Jahnke J., Zündorf A. Using graph grammars for building the VARLET database reverse engineering environment. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools, Ehrig H., Engels G., Kreowski H.-J., Rozenberg G. (eds.). World Scientific: Singapore, 1999; 267-286.