메뉴 건너뛰기




Volumn 33 LNBIP, Issue , 2009, Pages 57-76

Designing design constraints in the uml using join point designation diagrams

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DESIGN; ERRORS; LINGUISTICS;

EID: 68949086619     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-02571-6_5     Document Type: Conference Paper
Times cited : (2)

References (29)
  • 1
    • 84948987134 scopus 로고    scopus 로고
    • Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A Visualization of OCL Using Collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, 2185, pp. 257-271. Springer, Heidelberg (2001)
    • Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A Visualization of OCL Using Collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 257-271. Springer, Heidelberg (2001)
  • 3
    • 33746455176 scopus 로고    scopus 로고
    • Constraint Support in MDA Tools: A Survey
    • Rensink, A, Warmer, J, eds, ECMDA-FA 2006, Springer, Heidelberg
    • Cabot, J., Teniente, E.: Constraint Support in MDA Tools: A Survey. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 256-267. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4066 , pp. 256-267
    • Cabot, J.1    Teniente, E.2
  • 4
    • 23844477998 scopus 로고    scopus 로고
    • Chiorean, D., Paşca, M., Cârcu, A., Botiza, C., Moldovan, S.: Ensuring UML models consistency using the OCL Environment. In: Workshop Proc. on OCL 2.0 - Industry Standard or Scientific Playground?, November 2004. ENTCS, 102, pp. 99-110. Elsevier, Amsterdam (2004)
    • Chiorean, D., Paşca, M., Cârcu, A., Botiza, C., Moldovan, S.: Ensuring UML models consistency using the OCL Environment. In: Workshop Proc. on OCL 2.0 - Industry Standard or Scientific Playground?, November 2004. ENTCS, vol. 102, pp. 99-110. Elsevier, Amsterdam (2004)
  • 6
    • 34548226419 scopus 로고    scopus 로고
    • From aspect-oriented design to aspect-oriented programs: Tool-supported translation of JPDDs into code
    • Vancouver, Canada, March, ACM, New York () 2007
    • Hanenberg, S., Stein, D., Unland, R.: From aspect-oriented design to aspect-oriented programs: tool-supported translation of JPDDs into code. In: Proc. of AOSD 2007, Vancouver, Canada, March 2007, pp. 49-62. ACM, New York (2007)
    • (2007) Proc. of AOSD , pp. 49-62
    • Hanenberg, S.1    Stein, D.2    Unland, R.3
  • 7
    • 0003223217 scopus 로고    scopus 로고
    • UMLAUT: An Extendible UML Transformation Framework
    • Cocoa Beach, Florida, October, IEEE, Los Alamitos () 1999
    • Ho, W.M., Jézéquel, J.M., Le Guennec, A., Pennaneac'h, F.: UMLAUT: An Extendible UML Transformation Framework. In: Proc. of ASE 1999, Cocoa Beach, Florida, October 1999, pp. 275-278. IEEE, Los Alamitos (1999)
    • (1999) Proc. of ASE , pp. 275-278
    • Ho, W.M.1    Jézéquel, J.M.2    Le Guennec, A.3    Pennaneac'h, F.4
  • 9
    • 38049002989 scopus 로고    scopus 로고
    • Model composition in product lines and feature interaction detection using critical pair analysis
    • Engels, G, Opdyke, B, Schmidt, D.C, Weil, F, eds, MODELS 2007, Springer, Heidelberg
    • Jayaraman, P., Whittle, J., Elkhodary, A., Gomaa, H.: Model composition in product lines and feature interaction detection using critical pair analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 151-165. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4735 , pp. 151-165
    • Jayaraman, P.1    Whittle, J.2    Elkhodary, A.3    Gomaa, H.4
  • 10
    • 26844527075 scopus 로고    scopus 로고
    • Model Transformation Language MOLA
    • Aßmann, U, Aksit, M, Rensink, A, eds, MDAFA 2003, Springer, Heidelberg
    • Kalnins, A., Barzdins, J., Celms, E.: Model Transformation Language MOLA. In: Aßmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 62-76. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3599 , pp. 62-76
    • Kalnins, A.1    Barzdins, J.2    Celms, E.3
  • 11
    • 0031251476 scopus 로고    scopus 로고
    • Constraint Diagrams: Visualizing Assertions in Object-Oriented Models
    • Atlanta, Georgia, October, ACM, New York () 1997
    • Kent, S.: Constraint Diagrams: Visualizing Assertions in Object-Oriented Models. In: Proc. of OOPSLA 1997, Atlanta, Georgia, October 1997, pp. 327-341. ACM, New York (1997)
    • (1997) Proc. of OOPSLA , pp. 327-341
    • Kent, S.1
  • 13
    • 0345566461 scopus 로고    scopus 로고
    • A Role-Based Metamodeling Approach to Specifying Design Patterns
    • Dallas, Texas, November, IEEE, Los Alamitos () 2003
    • Kim, D., France, R., Ghosh, S., Song, E.: A Role-Based Metamodeling Approach to Specifying Design Patterns. In: Proc. of COMPSAC 2003, Dallas, Texas, November 2003, pp. 452-459. IEEE, Los Alamitos (2003)
    • (2003) Proc. of COMPSAC , pp. 452-459
    • Kim, D.1    France, R.2    Ghosh, S.3    Song, E.4
  • 14
    • 68949114351 scopus 로고    scopus 로고
    • An approach to evaluating structural pattern conformance of UML Models
    • Seoul, Korea, March, ACM Press, New York () 2007
    • Kim, D.-K., Shen, S.: An approach to evaluating structural pattern conformance of UML Models. In: Proc. of SAC 2007, Seoul, Korea, March 2007, pp. 1204-1208. ACM Press, New York (2007)
    • (2007) Proc. of SAC , pp. 1204-1208
    • Kim, D.-K.1    Shen, S.2
  • 17
    • 33646181776 scopus 로고    scopus 로고
    • Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving executability into object-oriented metalanguages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, 3713, pp. 264-278. Springer, Heidelberg (2005)
    • Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving executability into object-oriented metalanguages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264-278. Springer, Heidelberg (2005)
  • 18
    • 34548288988 scopus 로고    scopus 로고
    • A static aspect language for checking design rules
    • Barry, B.M, de Moor, O, eds, Proceedings of the 6th International Conference on Aspect-Oriented Software Development (AOSD, Vancouver, British Columbia, Canada, March 12-16, ACM, New York () 2007
    • Morgan, C., Volder, K.D., Wohlstadter, E.: A static aspect language for checking design rules. In: Barry, B.M., de Moor, O. (eds.) Proceedings of the 6th International Conference on Aspect-Oriented Software Development (AOSD 2007), Vancouver, British Columbia, Canada, March 12-16, 2007. ACM International Conference Proceeding Series, vol. 208, pp. 63-72. ACM, New York (2007)
    • (2007) ACM International Conference Proceeding Series , vol.208 , pp. 63-72
    • Morgan, C.1    Volder, K.D.2    Wohlstadter, E.3
  • 19
    • 68949127103 scopus 로고    scopus 로고
    • QVT final adopted specification
    • Version 1.0, November
    • OMG, MOF QVT final adopted specification, Version 1.0 beta 2 (OMG Document: ptc/05-11-01) (November 2005)
    • (2005) beta 2 (OMG Document: Ptc/05-11-01)
    • OMG, M.1
  • 21
    • 77955725343 scopus 로고    scopus 로고
    • Unified Modeling Language Specification
    • OMG, Version 1.5, March
    • OMG, Unified Modeling Language Specification, Version 1.5 (OMG Document: formal/03-03-01) (March 2003)
    • (2003) (OMG Document: Formal/03-03-01)
  • 23
    • 84957023982 scopus 로고    scopus 로고
    • Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, 1939, pp. 265-277. Springer, Heidelberg (2000)
    • Richters, M., Gogolla, M.: Validating UML Models and OCL Constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 265-277. Springer, Heidelberg (2000)
  • 24
    • 26844539292 scopus 로고    scopus 로고
    • A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models
    • Aßmann, U, Aksit, M, Rensink, A, eds, MDAFA 2003, Springer, Heidelberg
    • Stein, D., Hanenberg, S., Unland, R.: A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models. In: Aßmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol. 3599, pp. 77-92. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3599 , pp. 77-92
    • Stein, D.1    Hanenberg, S.2    Unland, R.3
  • 25
    • 33646498943 scopus 로고    scopus 로고
    • On relationships between query models
    • Hartman, A, Kreische, D, eds, ECMDA-FA 2005, Springer, Heidelberg
    • Stein, D., Hanenberg, S., Unland, R.: On relationships between query models. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 254-268. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3748 , pp. 254-268
    • Stein, D.1    Hanenberg, S.2    Unland, R.3
  • 26
    • 35048851621 scopus 로고    scopus 로고
    • Stein, D., Hanenberg, S., Unland, R.: Query Models. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, 3273, pp. 98-112. Springer, Heidelberg (2004)
    • Stein, D., Hanenberg, S., Unland, R.: Query Models. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 98-112. Springer, Heidelberg (2004)
  • 28
    • 38048999712 scopus 로고    scopus 로고
    • An expressive aspect composition language for UML state diagrams
    • Engels, G, Opdyke, B, Schmidt, D.C, Weil, F, eds, MODELS 2007, Springer, Heidelberg
    • Whittle, J., Moreira, A., Araújo, J., Rabbi, R., Jayaraman, P., Elkhodary, A.: An expressive aspect composition language for UML state diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 514-528. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4735 , pp. 514-528
    • Whittle, J.1    Moreira, A.2    Araújo, J.3    Rabbi, R.4    Jayaraman, P.5    Elkhodary, A.6
  • 29
    • 0017631608 scopus 로고
    • Query-by-Example: A Data Base Language
    • Zloof, M.: Query-by-Example: A Data Base Language. IBM Systems Journal 16(4), 324-343 (1977)
    • (1977) IBM Systems Journal , vol.16 , Issue.4 , pp. 324-343
    • Zloof, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.