메뉴 건너뛰기




Volumn 8824, Issue , 2014, Pages 232-245

Fixing up non-executable operations in UML/OCL conceptual schemas

Author keywords

Conceptual schema; Operations; UML

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84910674178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-12206-9_19     Document Type: Conference Paper
Times cited : (4)

References (17)
  • 3
    • 67650498720 scopus 로고    scopus 로고
    • Verifying UML/OCL operation contracts
    • In: Leuschel, M., Wehrheim, H. (eds.), Springer, Heidelberg
    • Cabot, J., Clarisó, R., Riera, D.: Verifying UML/OCL operation contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 40-55. Springer, Heidelberg (2009)
    • (2009) IFM 2009. LNCS , vol.5423 , pp. 40-55
    • Cabot, J.1    Clarisó, R.2    Riera, D.3
  • 5
    • 84867640832 scopus 로고    scopus 로고
    • On integrating structure and behavior modeling with OCL
    • In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.), Springer, Heidelberg
    • Hamann, L., Hofrichter, O., Gogolla, M.: On integrating structure and behavior modeling with OCL. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 235-251. Springer, Heidelberg (2012)
    • (2012) MODELS 2012. LNCS , vol.7590 , pp. 235-251
    • Hamann, L.1    Hofrichter, O.2    Gogolla, M.3
  • 7
    • 84910685279 scopus 로고    scopus 로고
    • Dynamic validation of OCL constraints with mOdCL
    • Rold´an, M., Dur´an, F
    • Rold´an, M., Dur´an, F.: Dynamic validation of OCL constraints with mOdCL. In: International Workshop on OCL and Textual Modelling (2011)
    • (2011) International Workshop on OCL and Textual Modelling
  • 8
    • 69849112713 scopus 로고    scopus 로고
    • Reasoning on UML conceptual schemas with operations
    • In: van Eck, P., Gordijn, J., Wieringa, R. (eds.), Springer, Heidelberg
    • Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 47-62. Springer, Heidelberg (2009)
    • (2009) Caise 2009. LNCS , vol.5565 , pp. 47-62
    • Queralt, A.1    Teniente, E.2
  • 9
    • 47249144817 scopus 로고    scopus 로고
    • HOL-OCL: A formal proof environment for UML/OCL
    • In: Fiadeiro, J.L., Inverardi, P. (eds.), Springer, Heidelberg
    • Brucker, A.D., Wolff, B.: HOL-OCL: A formal proof environment for UML/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97-100. Springer, Heidelberg (2008)
    • (2008) FASE 2008. LNCS , vol.4961 , pp. 97-100
    • Brucker, A.D.1    Wolff, B.2
  • 10
    • 25144468787 scopus 로고    scopus 로고
    • Conceptual schema-centric development: A grand challenge for information systems research
    • Pastor, Ó., Falcão e Cunha, J. (eds.), Springer, Heidelberg
    • Olivé, A.: Conceptual schema-centric development: A grand challenge for information systems research. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 1-15. Springer, Heidelberg (2005)
    • (2005) Caise 2005. LNCS , vol.3520 , pp. 1-15
    • Olivé, A.1
  • 11
    • 84859400920 scopus 로고    scopus 로고
    • Verification and validation of UML conceptual schemas with OCL constraints
    • Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM TOSEM 21(2), 13 (2012)
    • (2012) ACM TOSEM , vol.21 , Issue.2 , pp. 13
    • Queralt, A.1    Teniente, E.2
  • 17
    • 79952190506 scopus 로고    scopus 로고
    • Generating operation specifications from UML class diagrams: A model transformation approach
    • Albert, M., Cabot, J., Gómez, C., Pelechano, V.: Generating operation specifications from UML class diagrams: A model transformation approach. Data & Knowledge Engineering 70(4), 365-389 (2011)
    • (2011) Data &Amp; Knowledge Engineering , vol.70 , Issue.4 , pp. 365-389
    • Albert, M.1    Cabot, J.2    Gómez, C.3    Pelechano, V.4


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