A case study in re-engineering to enforce architectural control flow and data sharing

Journal of Systems and Software

Volumn 80, Issue 2, 2007, Pages 240-264

  Abi Antoun, Marwan ^a   Aldrich, Jonathan ^a   Coelho, Wesley ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

AliasJava; ArchJava; Ownership domains; Re engineering

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; DATA REDUCTION; JAVA PROGRAMMING LANGUAGE; LEARNING SYSTEMS;

ALIASJAVA; ARCHJAVA; OWNERSHIP DOMAINS; RE-ENGINEERING;

SOFTWARE ENGINEERING;

EID: 33846117458     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.10.036     Document Type: Article

References (70)

1. Abi-Antoun, M., Aldrich, J., 2006. JavaD: Bringing Ownership Domains to Mainstream Java. Technical Report CMU-ISRI-06-110.
2. Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B., Garlan, D., 2006. Differencing and merging of architectural views. In: Proc. 21st IEEE International Conference on Automated Software Engineering (ASE'06), pp. 47-58.
3. Aldrich, J., Chambers, C., 2004. Ownership domains: separating aliasing policy from mechanism. In: Proc. European Conference on Object-Oriented Programming (ECOOP), pp. 1-25.
4. Aldrich, J., Chambers, C., Notkin, D., 2002a. ArchJava: connecting software architecture to implementation. In: Proc. International Conference on Software Engineering (ICSE), pp. 187-197.
5. Aldrich, J., Chambers, C., Notkin, D., 2002b. Architectural reasoning in ArchJava. In: Proc. European Conference on Object-Oriented Programming (ECOOP), Lecture Notes In Computer Science, vol. 2374, pp. 334-367.
6. Aldrich, J., Kostadinov, V., Chambers, C., 2002c. Alias annotations for program understanding. In: Proc. of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 311-330.
7. Balazinska, M., Merlo, E., Dagenais, M., Lague, B., Kontogiannis, K., 2000. Advanced clone-analysis to support object-oriented system refactoring. In: Proc. IEEE Working Conf. Reverse Engineering (WCRE), p. 98.
8. Bloch J. Effective Java (2001), Addison-Wesley
9. Bokowski, B., Vitek, J., 1999. Confined types. In: Proc. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 82-96.
10. Boyland, J., Noble, J., Retert, W., 2001. Capabilities for sharing: a generalization of uniqueness and read-only. In: Proc. European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science, vol. 2072, pp. 2-27.
11. Britcher R. Re-engineering software: a case study. IBM Systems Journal 29 4 (1990) 551-567
12. Brodie M.L., and Stonebraker M. Migrating Legacy Systems: Gateways, Interfaces and the Incremental Approach (1995), Morgan-Kaufmann Publishers
13. Cha, J.E., Kim, C.H., Yang, Y.J., 2003. Architecture based software reengineering approach for transforming from legacy system to component based system through applying design patterns. In: Software Engineering Research and Applications, Lecture Notes in Computer Science, vol. 3026, pp. 266-278.
14. Chapman, R., 2001. SPARK - a state-of-the-practice approach to the Common Criteria implementation requirements. In: Proc. International Common Criteria Conference, July.
15. Chikofsky E., and Cross J. Reverse engineering and design recovery: a taxonomy. IEEE Software 7 1 (1990) 13-17
16. Chu, W.C., Lu, C.W., Shiu J.P., He, X., 1999. Pattern-based software re-engineering: a case study. In: Proc. Sixth Asia Pacific Software Engineering Conference (APSEC '99), pp. 300-308.
17. CISpace: Tools for learning Computational Intelligence. Available from: .
18. Clarke, D.G., Wrigstad, T., 2003. External uniqueness is unique enough. In: Proc. European Conference on Object-Oriented Programming (ECOOP), pp. 176-200.
19. Clements P., Bachman F., Bass L., Garlan D., Ivers J., Little R., Nord R., and Stafford J. Documenting Software Architecture: View and Beyond (2003), Addison-Wesley
20. Cordy J.R. The TXL source transformation language. Science of Computer Programming 61 3 (2006) 190-210
21. Demeyer S., Ducasse S., and Nierstrasz O. Object-Oriented Reengineering Patterns (2002), Morgan Kaufmann Publishers
22. Eclipse Java Development Tooling (JDT) core. Available from: .
23. van Emden, E., Moonen, L., 2000. Java quality assurance by detecting code smells. In: Proc. Working Conference on Reverse Engineering (WCRE), pp. 97-106.
24. Fowler M. Who needs an architect. IEEE Software 20 5 (2003) 11-13
25. Fowler M., Beck K., Brant J., Opdyke W., and Roberts D. Refactoring: Improving the Design of Existing Programs (1999), Addison-Wesley
26. Gamma E., Helm R., Johnson R., and Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (1994), Addison-Wesley
27. Gannod, G.C., Sudindranath, G., Fagnani, M.E., Cheng, B.H.C., 1998. PACKRAT: a software reengineering case study. In: Proc. Working Conference on Reverse Engineering (WCRE), pp. 125-134.
28. Garlan D., and Shaw M. An introduction to software architecture. In: Ambriola V., and Tortora G. (Eds). Advances in Software Engineering and Knowledge Engineering I (1993), World Scientific Publishing Company
29. Garlan D., Monroe R., and Wile D. Acme: architectural description of component-based systems. Foundations of Component-Based Systems (2000), Cambridge University Press 47-67
30. Goedicke M., and Zdun U. Piecemeal legacy migrating with an architectural pattern language: a case study. Journal of Software Maintenance: Research and Practice 14 1 (2002) 1-30
31. Griswold W.G., and Notkin D. Architectural tradeoffs for a meaning-preserving program restructuring tool. IEEE Transactions of Software Engineering 21 4 (1995) 275-287
32. Haechler, Thomas. Applying the Universe type system to an industrial application: case study. Master Project Report, Department of Computer Science, Swiss Federal Institute of Technology, 2005.
33. IBM alphaWorks, Structural Analysis for Java tool 2004. Available from: .
34. Instantiations, Inc. 2006. EclipsePro Audit tool. Available from: .
35. ITU-T. 1999. Recommendation Z.100, Specification and Description Language (SDL). Geneva, Switzerland, November.
36. Jacobson, I., Lindström, F., 1991. Reengineering of old systems to an object-oriented architecture. In: Proc. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 340-350.
37. Jaktman, C.B., Leaney, J., Liu, M., 1999. Structural analysis of the software architecture - a maintenance assessment case study. In: Proc. TC2 First Working IFIP Conference on Software Architecture (WICSA1), pp. 455-470.
38. Kataoka, Y., Imai, T. Andou, H., Fukaya, T., 2002. A quantitative evaluation of maintainability enhancement by refactoring. In: Proc. International Conference on Software Maintenance (ICSM), pp. 576-585.
39. Krasner G.E., and Pope S.T. A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80. Journal of Object-Oriented Programming 1 3 (1988) 26-49
40. Krikhaar, R., Postma, A., Sellink, A., Stroucken, M., Verhoef, C.A., 1999. Two-phase process for software architecture improvement. In: Proc. IEEE International Conference on Software Maintenance (ICSM), pp. 371-380.
41. Lam, P., Rinard, M.A., 2003. Type system and analysis for the automatic extraction and enforcement of design information. In: Proc. European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science, vol. 2743, pp. 275-302.
42. LaToza, T.D., Venolia, G., DeLine, R., 2006. Maintaining mental models: a study of developer work habits. In: Proc. IEEE International Conference on Software Engineering (ICSE), pp. 492-501.
43. Lattix Inc's Dependency Manager (LDM) tool. Available from: .
44. Lieberherr K., and Holland I. Assuring good style for object-oriented programs. IEEE Software 6 5 (1989) 38-48
45. Lieberherr, K., Lorenz, D.H., Wu, P., 2003. A case for statically executable advice: checking the law of demeter with AspectJ. In: Proc. 2nd International Conference on Aspect-Oriented Software Development (AOSD '03), pp. 40-49.
46. Luckham D.C., and Vera J. An event based architecture definition language. IEEE Transactions of Software Engineering 21 9 (1995) 717-734
47. MacKenzie D., Eggert P., and Stallman R. Comparing and Merging Files with GNU Diff and Patch (2003), Network Theory Ltd
48. Madhav, N., 1996. Testing Ada 95 programs for conformance to rapid architectures. In: Proc. Reliable Software Technologies - Ada Europe 96.
49. Medvidovic N., and Taylor R.N. A classification and comparison framework for software architecture description languages. IEEE Transactions of Software Engineering 26 1 (2000) 70-93
50. Medvidovic, N., Oreizy, P., Robbins, J.E., Taylor, R.N., 1996. Using object-oriented typing to support architectural design in the C2 style. In: Proc. Fourth ACM Symposium on the Foundations of Software Engineering, pp. 24-32.
51. Mens T., and Tourwé T. A survey of software refactoring. IEEE Transactions on Software Engineering 30 2 (2004) 126-139
52. Microsoft Active Template Library (ATL) for COM. Available from: .
53. Moriconi M., Qian X., and Riemenschneider R.A. Correct architecture refinement. IEEE Transactions on Software Engineering 21 4 (1995) 356-372
54. Müller, Peter, Poetzsch-Heffter, Arnd, 2000. Universes: a type system for controlling representation exposure. In: Poetzsch-Heffter, A., Meyer, J. (Hrsg.): Programmiersprachen und Grundlagen der Programmierung, 10. Kolloquium, Informatik Berichte 263, 1999/2000.
55. Murphy G.C., Notkin D., and Sullivan K.J. Software reflexion models: bridging the gap between design and implementation. IEEE Transactions on Software Engineering 27 4 (2001) 364-380
56. Object Technology International, Inc. Eclipse Platform Technical Overview, 2003. Available from: .
57. O'Cinneide, M., Nixon, P., 1999. A methodology for the automated introduction of design patterns. In: Proc. IEEE International Conference on Software Maintenance (ICSM), pp. 463-472.
58. Omondo EclipseUML. Available from: .
59. Perry D.E., and Wolf A.L. Foundations for the study of architecture. ACM SIGSOFT Software Engineering Notes 17 4 (1992) 40-52
60. Ping, Y., Kontogiannis, K., Lau, T.C., 2003. Transforming legacy Web applications to the MVC architecture. In Proc. Eleventh Annual International Workshop on Software Technology and Engineering Practice (STEP'04), pp. 133-142.
61. Prieto-Diaz R., and Neighbors J. Module interconnection languages. Journal of Systems and Software 6 4 (1986) 307-334
62. Riva, C., Selonen, P., Systa, T., Xu, J., 2004. UML-based reverse engineering and model analysis approaches for software architecture maintenance. In: Proc. IEEE International Conference on Software Maintenance (ICSM), pp. 50-59.
63. Sangal, N., Jordan, E., Sinha, V., Jackson, D., 2005. Using dependency models to manage complex software architecture. In: Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 167-176.
64. Schmerl, B., Garlan, D., 2004. AcmeStudio: supporting style-centered architecture development. In: Proc. IEEE International Conference on Software Engineering (ICSE), pp. 704-705.
65. Schwanke, R.W., Platoff, M.A., 1993. Cross references are features. In: Machine Learning: From Theory to Applications, pp. 107-123.
66. Simon, F., Steinbrückner, F., Lewerentz, C., 2001. Metrics based refactoring. In: Proc. 5th European Conference on Software Maintenance and Reengineering (CSMR 2001), pp. 30-38.
67. Stevens, P., Pooley, R., 1998. Systems reengineering patterns. In: Proc. 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998, pp. 17-23.
68. Sun Microsystems. 2006. Enterprise JavaBeans. Available from: .
69. Tran, J.B., Godfrey, M.W., Lee, E.H.S., Holt, R.C., 2000. Architectural repair of open source software. In: Proc. 8th International Workshop on Program Comprehension (IWPC), pp. 48-59.
70. Wiltamuth, S., Hejlsberg, A. C# Language Specification. Standard ECMA-334, 2nd edition, 2002.