Transformation from CIM to PIM: A feature-oriented component-based approach

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

Volumn 3713 LNCS, Issue , 2005, Pages 248-263

  Zhang, Wei ^a   Mei, Hong ^a   Zhao, Haiyan ^a   Yang, Jie ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; QUALITY CONTROL;

1-TO-N RELATIONS; CIM-TO-PIM TRANSFORMATION; MODEL-DRIVEN ARCHITECTURE (MDA);

COMPUTER ARCHITECTURE;

EID: 33646200687     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11557432_18     Document Type: Conference Paper

References (25)

1. Allen, R., Garlan, D.: Formalizing Architectural Connection. In: Proceeding of 16th International Conference on Software Engineering. (1994) 71-80
2. Beck, K., Cunningham, W.: A Laboratory for Teaching Object-Oriented Thinking. In: OOPLSA89, SIGPLAN Notices, Vol. 24. New Orleans, Louisiana (1989) 1-6
3. Buhr, R.J.A.:Use Case Maps as Architectural Entities for Complex Systems. In: IEEE Transactions on Software Engineering, Vol. 24. IEEE Computer Society (1998) 1131-1155
4. Carlshamre, P., Sandahl, K., Lindvall, M., Regnell, B., Natt och Dag, J.: An Industrial Survey of Requirements Interdependencies in Software Product Release Planning. In: Proceedings of 5th IEEE International Symposium on Requirements Engineering. IEEE Computer Society (2001) 84-91.
5. Chastek, G., Donohoe, P., Kang, K.C, Thiel, S.: Product Line Analysis - A Practical Introduction. SEI-2001-TR-001, Software Engineering Institute, Carnegie Mellon University (2001)
6. Garlan, D., Shaw, M.: An Introduction to Software Architecture. In: Ambriola, V., Tortora, G. (eds.): Advances in Software Engineering and Knowledge Engineering. Series on Software Engineering and Knowledge Engineering, Vol. 5. World Scientific Publishing Company, Singapore (1993) 1-39
7. Griss, M.L., Favaro, J., d'Alessandro, M.: Integrating Feature Modeling with the RSEB. In: Proceedings of 5th International Conference on Software Reuse. IEEE Computer Society, Canada (1998) 76-85
8. Griss, M.L.: Implementing Product-Line Features with Component Reuse. In: Proceedings of 6th International Conference on Software Reuse. IEEE Computer Society, 2000.
9. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis Feasibility Study. SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University (1990)
10. Kang, K.C., Kim, S., Lee, J., Kim, K., Shin, E., Huh, M.: FORM - A Feature-Oriented Reuse Method with Domain-Specific Architecture. Annals of Software Engineering, Vol. 5. (1998) 143-168
11. Kleppe, A., Warmer, J., Bast, W.: MDA Explained-The Model Driven Architecture Practice and Promise. Addison Wesley (2003)
12. Larman, C.: Apply UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall (2001)
13. Mehta, A., Heineman, G.T.: Evolving Legacy System Features into Fine-Grained Components. In: Proceedings of the 24th International Conference on Software Engineering, IEEE Computer Society, Florida (2002) 417-427
14. Microsoft: Component Object Model, http://www.microsoft.com/com/.
15. Object Management Group: CORBA Component Model, v3.0. http://www.omg.org/technology/documents/formal/components.htm.
16. Object Management Group: MDA Guide Version 1.0.1. http://www.omg.org/mda/ , (2003)
17. Object Management Group: UML 1.5 Specification, http://www.uml.org/, (2003)
18. Object Management Group: UML 2.0 Superstructure FTP convenience document. http://www.omg.org/cgi-bin/apps/doc?ptc/04-10-02.zip. (2004)
19. Sun Microsystems: EJB 2.1 Specification, http://java.sun.com/products/ ejb/. (2002)
20. Turner, C.R., Fuggetta, A., Lavazza, L., Wolf, A.L.: A Conceptual Basis for Feature Engineering. Journal of Systems and Software, Vol. 49. (1999) 3-15
21. van Lamsweerde, A.: From System Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.): Formal Methods for Software Architectures. LNCS 2804. Springer-Verlag (2003) 25-43
22. Wiegers, K.E.: Software Requirements, Microsoft Press (1999)
23. Wirfs-Brock, R., Wilkerson, B.: Object-Oriented Design: A Responsibility-Driven Approach. In: OOPLSA89, SIGPLAN Notices, Vol. 24. New Orleans, Louisiana (1989) 71-76
24. Wirfs-Brock, R., McKean, A.: Object Design: Roles, Responsibilities, and Collaborations. Addison Wesley (2002)
25. Zhang, W., Zhao, H.Y., Mei, H.: A Propositional Logic-Based Method for Verification of Feature Models. In: Davies, J., Schulte, W., Barnett, M. (eds.): Formal Methods and Software Engineering. LNCS 3308. Springer-Verlag (2004) 115-130