Joinpoint inference from behavioral specification to implementation

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

Volumn 4609 LNCS, Issue , 2007, Pages 476-500

  Cottenier, Thomas ^a,b   Van Den Berg, Aswin ^a   Elrad, Tzilla ^b  

^a MOTOROLA INC   (United States)

^b ILLINOIS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Aspect oriented software development; Model driven software engineering; Modules and interfaces

Indexed keywords

MODEL CHECKING; SOFTWARE ENGINEERING; SPECIFICATIONS;

ASPECT-ORIENTED SOFTWARE DEVELOPMENT; JOINPOINT INFERENCE; MUTUAL COUPLING;

OBJECT ORIENTED PROGRAMMING;

EID: 38149109937     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73589-2_23     Document Type: Conference Paper

References (29)

1. Aldrich, J.: Open Modules: Modular Reasoning about Advice. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 144-168. Springer, Heidelberg (2005)
2. Griswold, W.G., Shonle, M., Sullivan, K., Song, T.N., Cai, Y., Rajan, H.: Modular Software Design with Crosscutting Interfaces. IEEE Software 23(1), 51-60 (2006)
3. Gybels, K., Brichau, J.: Arranging Language Features for More Robust Pattern-Based Crosscuts. In: proceedings of the International Conference on Aspect-Oriented Software Development, Boston, USA, pp. 60-69. ACM Press, New York (2003)
4. Kiczales, G., Mezini, M.: Aspect-Oriented Programming and Modular Reasoning. In: proceedings of the International Conference on Software Engineering, St. Louis, USA, pp. 49-58. ACM Press, New York (2005)
5. Ostermann, K., Mezini, M., Bockisch, C.: Expressive Pointcuts for Increased Modularity. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, pp. 214-240. Springer, Heidelberg (2005)
6. DeLine, R., Fähndrich, M.: Typestates for Objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol. 3086, pp. 465-490. Springer, Heidelberg (2004)
7. Kienzle, J., Gelineau, S.: AO challenge - implementing the ACID properties for transactional objects. In: proceedings of the International Conference on Aspect-Oriented Software Development, Bohn, Germany, pp. 202-213. ACM Press, New York (2006)
8. Mellor, S.J., Balcer, M.J.: Executable UML: A Foundation for Model Driven Architecture. Addison-Wesley, Reading (2002)
9. ITU, Z. 100: Specification and Description Language (SDL), International Telecommunication Union (2000)
10. Telelogic. TAU G2 homepage (2005), http://www.telelogic.com/products/tau/ index.cfm
11. Baker, P., Weil, F., Liou, S.: Model-Driven Engineering in a Large Industrial Context. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 100-109. Springer, Heidelberg (2006)
12. ETSI: Test and Test Conformance Notation, version 3, TTCN-3 Homepage (2005), http://www.ttcn-3.org
13. Cottenier, T., van den Berg, A., Elrad, T.: Modeling Aspect-Oriented Compositions. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 100-109. Springer, Heidelberg (2006)
14. Cottenier, T., van den Berg, A., Elrad, T.: Model Weaving: Bridging the Divide between Translationists and Elaborationists. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. ENOS, vol. 4199, Springer, Heidelberg (2006)
15. Gray, J., Bapty, T., Neema, S., Tuck, J.: Handling crosscutting constraints in domain-specific modeling. Communications of the ACM 44(10), 87-93 (2001)
16. Bast, W., Kleppe, A., Warmer, J.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)
17. Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, Chichester (2003)
18. OMG: MOF QVT Final Adopted Specification, Specification ptc/05-11-01, Object Management Group (2005)
19. Bézivin, J., Jouault, F., Valduriez, P.: First Experiments with a ModelWeaver. In: Workshop on Best Practices for Model Driven Software Development held in conjunction with the 19th Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, Canada (2004)
20. Clarke, S., Baniassad, E.: Aspect-Oriented Analysis and Design. Addison-Wesley, Reading (2005)
21. Jacobson, I., Ng, P.-W.: Aspect-Oriented Software Development with Use Cases. Addison-Wesley, Reading (2004)
22. Elrad, T., Aldawud, O., Bader, A.: Aspect-Oriented Modeling - Bridging the Gap Between Design and Implementation. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol. 2487, pp. 189-201. Springer, Heidelberg (2002)
23. Mahoney, M., Bader, A., Aldawud, O., Elrad, T.: Using Aspects to Abstract and Modularize Statecharts. In: The 5th Internation Workshop on Aspect-Oriented Modeling, in Conjunction with the UML Conference (2004)
24. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231-274 (1987)
25. Vanderperren, W., Suvee, D., Cibrán, M.A., De Fraine, B.: Stateful Aspects in JAsCo. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 167-181. Springer, Heidelberg (2005)
26. Douence, R., Fradet, P., Sudholt, M.: Composition, Reuse and Interaction Analysis of Stateful Aspects. In: proceedings of the 3rd International Conference on Aspect-Oriented Software Development, Lancaster, UK, pp. 141-150. ACM Press, New York (2004)
27. Kiczales, G.: Keynote talk at the 2d International Conference on Aspect-Oriented Software Development (2003)
28. Cottenier, T., van den Berg, A., Elrad, T.: The Motorola WEAVR: Model Weaving in a Large Industrial Context. In: Proceedings of the Industry Track of the 6th International Conference on Aspect-Oriented Software Development, Vancouver, Canada (2006)
29. Zhang, J., Cottenier, T., van den Berg, A., Gray, J.: Aspect Interference and Composition in the Motorola Aspect-Oriented Modeling Weaver. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, Springer, Heidelberg (2006)