Domain analysis of dynamic system reconfiguration

Software and Systems Modeling

Volumn 6, Issue 4, 2007, Pages 355-380

  Walsh, James D'Arcy ^a   Bordeleau, Francis ^a   Selic, Bran ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

Alloy; Based systems; Component; Driven development; Dynamic reconfiguration; Feature modeling; Model ; Software evolution; System integrity; UML

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; DYNAMICAL SYSTEMS; FINANCIAL DATA PROCESSING; TIME DOMAIN ANALYSIS;

DYNAMIC RECONFIGURATION; SOFTWARE EVOLUTION; SYSTEM INTEGRITY;

SOFTWARE ENGINEERING;

EID: 36549080154     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-006-0038-4     Document Type: Conference Paper

References (45)

1. Jarke, M.: Meta models for requirements engineering. 1996
2. Jarke, M.: Requirements tracing (Introduction). Commun. ACM 41(12), pp. 32-36 (1998)
3. Georgiadis, I., Magee, J., Kramer, J.: Self-organising software Architectures for distributed systems. In: ACM WOSS '02. ACM Charleston, SC (2002)
4. Robertson, P., Shrobe, H., Ladaga, R. (eds.): Self-Adaptive software. Lecture Notes in Computer Science, In: Goos, G., Hartmanis, J., van Leeuwen, J (eds.) vol. 1936. p. 247 Springer-Verlag, New York (2000)
5. Karsai, G., et al.: An Approach to self-adaptive software based on supervisory control. Springer-Verlag Lecture Notes in Computer Science, 2614/2003, pp. 24-38 (2001)
6. Walsh, D., Bordeleau, F., Selic, B.: A Domain model for dynamic system reconfiguration. in ACM/IEEE 8th International Conference on model driven engineering languages and systems. Springer, Montego Bay, Jamaica (2005)
7. Szyperski, C.:BComponent Software: beyond object-oriented programming second edition. Component software series. Addison-Wesley, New York (2002)
8. Deployment-and-Configuration-Draft-Adopted-Specification: Deployment and configuration draft adopted specification.OMG: Needham (2003)
9. Oreizy, P., et al.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. pp. 54-62 (1999)
10. Appavoo J. (2003). Enabling automatic behavior in systems software with hot swapping. IBM Syst. J. 42(1): 60-76
11. Lopes, A., Wermelinger M., Fiadeiro, J.L.: Higher-Order Architectural Connectors. ACM Trans. Software Eng. Methodol. 12(1), 64-104 (2003)
12. Whisnant, K., Kalbarczyk, Z.T., Iyer, R.K.: A system model for dynamically reconfigurable software. IBM Syst. J. 42(1), pp. 45-59 (2003)
13. Oreizy, P.: Issues in modeling and analyzing dynamic software architectures. Information and Computer Science, University of California, Irvine, Irvine, California (1999)
14. Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Proceedings of the International Conference on Software Engineering. (1998)
15. Czarnecki, K., EisMnnecker, U.W.: Generative programming: methods, tools, and applications. Addison-Wesley, New York (2000)
16. Gomaa, H.: Designing Software Product Lines with UML From Use Cases to Pattern-Based Software Architectures. In: Booch, G., Jacobson, I., Rumbaugh, J.(eds.) Object Technology Series, Addison-Wesley, New York, (2004)
17. JTckson, D., Schechter, I., Shlyakhter, I.: Alcoa: the alloy constraint analyzer. Massachusetts Institute of Technology, Cambridge, Massachusetts (1999)
18. Jackson, D.: Alloy: A Lightweight Object Modelling Notation. Massachusetts Institute of Technology, Cambridge, Massachusetts. pp. 32 (2001)
19. Jackson, D.: MicromLdels of Software: lightweight modelling and analysis with alloy. MIT Lab for Computer Science, Cambridge, Mass. pp. 1-58 (2002)
20. Vaziri, M., Jackson, D.: Some shortcomings of OCL, the Object Constraint Language of UML. MIT Laboratory for Computer Science, Cambridge, Mass. pp. 1-17 (1999)
21. Marriott, K., Stuckey, P.J.: Programming with Constraints An Introduction. MIT Press, Cambridge Mass (1998)
22. Duffy D.J. (2004). Domain architectures models and architectures for UML applications. Wiley, Hoboken
23. Fowler M. (2004). UML distilled third edition a brief guide to the standard object modeling language. Object Technology Series. Addison-Wesley, New York
24. Warmer J. and Kleppe A. (2003). The object constraint language second edition getting your models ready for MDA. Object Technology Series. Addison-Wesley, New York
25. Lee, M.A., Smith, M.H.: Handling uncertainty in finance applications using soft computing. in 3rd International Symposium on Uncertainty Modelling and Analysis (ISUMA '95). IEEE Press. (1995)
26. Helfert E.A. (2001). Financial analysis tools and techniques a guide for managers. McGraw-Hill, New York
27. Buhr R.J.A. and Casselman R.S. (1996). Use case maps for object-oriented systems. Prentice Hall, New York
28. Walsh, D., Bordeleau, F., Selic, B.: Change types of dynamic system reconfiguration. in 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). IEEE Potsdam, Germany (2006)
29. Kiczales G., des Rivieres J. and Bobrow D.G. (1991). The art of the metaobject protocol. MIT Press, Cambridge
30. Medvidovic, N., Taylor, R.N.: A Classification and comparison framework for software architecture desiption languages. IEEE Trans. Software Eng. 26(1), pp. 70-93 (2000)
31. Walsh, D.: Dynamic system reconfiguration Ph.D. Supporting technical reports, in school of computer science, Carleton University. Ottawa-Carleton Institute for Computer Science, Ottawa, Canada (2006)
32. Frankel, D.: Model driven architecture Applying MDA to enterprise computing. In: Press, O.(ed.) Wiley Publishing, Indianapolis, Indiana (2003)
33. Kramer, J., Magee, J.: Dynamic configuration for distributed systems. IEEE Trans. Software Eng. SE-11(4), pp. 424-435 (1985)
34. Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: ACM SIGSOFT '96. ACM, San Francisco (1996)
35. Kramer, J., Magee, J.: Analysing dynamic Change in Software Architectures: A case study. in IEEE 4th International Conference on Configurable Distributed Systems. Anapolis, Maryland: IEEE (1998)
36. Bialek, R.P.: The architecture of a dynamically updatable, component-based system. in 26th Annual International Computer Software and Applications Conference (COMPSAC '02). IEEE Computer Society (2002)
37. Warren, I., Sommerville, I.: A model for dynamic configuration which preserves application integrity. In: IEEE 3rd International Conference on Configurable Distributed Systems (ICCDS '96). IEEE (1996)
38. Guo, J.: Software Components Adaptive Integration. in Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS '01). IEEE Computer Society (2001)
39. Minsky, N.H., et al.: Building reconfiguration primitives into the law of a system. in 3rd IEEE International Conference on Configurable Distributed Systems (ICCDS '96). IEEE (1996)
40. Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A Graph based architectural (Re)configuration Language. in ACM ESE/FSE 2001. ACM, Vienna, Austria (2001)
41. Wermelinger, M.: Specification of software architecture Reconfiguration, in departmento de informatica. Universidade Nove de Lisboa: Lisbon, Portugal (1999)
42. Lopes, A., Wermelinger, M., Fiadeiro, J.L.: A Compositional Approach to connector construction. in 5th International Workshop on Algebraic Development Techniques. Springer, Heidelberg (2001)
43. Birman, K., Schiper, A., Stephenson, P.: Lightweight causal and atomic group multicast. ACM Transactions on Computer Systems, 9(3), pp. 271-314 (1991)
44. IBM, The K42 Project. 2003, IBM Corporation Research Division
45. Yellin, D.M.: Competitive algorithms for the dynamic selection of component implementations. IBM Syst. J. 42(3), pp. 85-97 (2003)