Formalization of UML Composition in OCL

With the increasing use of design models during the development process, developers now face a daunting task to maintain consistency between the design models and their implementation. Consistency maintenance is particularly challenging when a design model language introduces constructs that have no...

Full description

Saved in:
Bibliographic Details
Published in2012 IEEE/ACIS 11th International Conference on Computer and Information Science pp. 675 - 680
Main Authors Chavez, H. M., Wuwei Shen
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2012
Subjects
Companies
composition
Context
Context modeling
Diamond-like carbon
modeling
ownership
Semantics
Testing
uml
Unified modeling language
Online AccessGet full text

Cover

Abstract With the increasing use of design models during the development process, developers now face a daunting task to maintain consistency between the design models and their implementation. Consistency maintenance is particularly challenging when a design model language introduces constructs that have no direct counterpart in programming languages. For example, the UML composition, an important relationship in software development, reflects some important principles in software engineering such as encapsulation. Unfortunately, affected by the ownership model, existing approaches supporting UML composition require the non-accessibility property. However, the composition in the UML specification does not support the ownership model. So, in this paper we present a UML composition formalization using the Object Constraint Language (OCL) that strictly adheres to the UML specification.
AbstractList With the increasing use of design models during the development process, developers now face a daunting task to maintain consistency between the design models and their implementation. Consistency maintenance is particularly challenging when a design model language introduces constructs that have no direct counterpart in programming languages. For example, the UML composition, an important relationship in software development, reflects some important principles in software engineering such as encapsulation. Unfortunately, affected by the ownership model, existing approaches supporting UML composition require the non-accessibility property. However, the composition in the UML specification does not support the ownership model. So, in this paper we present a UML composition formalization using the Object Constraint Language (OCL) that strictly adheres to the UML specification.
Author Chavez, H. M.
Wuwei Shen
Author_xml – sequence: 1
  givenname: H. M.
  surname: Chavez
  fullname: Chavez, H. M.
  email: h6chavezchav@wmich.edu
  organization: Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
– sequence: 2
  surname: Wuwei Shen
  fullname: Wuwei Shen
  email: wuwei.shen@wmich.edu
  organization: Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
BookMark eNotjjtLxEAUhS_ogmbdzs4mnVXivXcyj5QSXA1EtnCtl8lkAiObzJJso7_e-DjNge-Dw0ngcoyjB7glzImwfKir-i1nJM6luICECqUFSaF4BckPLkUhtLqCzTx_4BKNbARfw_02ToM9hi97DnFMY5--vzZpFYdTnMMvCmO6q5obWPX2OPvNf69hv33aVy9Zs3uuq8cmCyWeM2kksyuYJPUGtWUjjetU55RXLbfSya41zhtGiaZAJu-9Lv1y1XrdtSjWcPc3GxZzOE1hsNPnQTERaRTf2ZE_xA
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ICIS.2012.53
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EndPage 680
ExternalDocumentID 6211170
Genre orig-research
GroupedDBID 6IE
6IF
6IK
6IL
6IN
AAJGR
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IEGSK
IERZE
OCL
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-i90t-58522c42151f807a2858cd6dc6e6b2b5c5db8ce8205084021eee79e731ae7db03
IEDL.DBID RIE
ISBN 1467315362
9781467315364
IngestDate Wed Jun 26 19:23:58 EDT 2024
IsPeerReviewed false
IsScholarly false
LCCN 2012934376
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-58522c42151f807a2858cd6dc6e6b2b5c5db8ce8205084021eee79e731ae7db03
PageCount 6
ParticipantIDs ieee_primary_6211170
PublicationCentury 2000
PublicationDate 2012-May
PublicationDateYYYYMMDD 2012-05-01
PublicationDate_xml – month: 05
  year: 2012
  text: 2012-May
PublicationDecade 2010
PublicationTitle 2012 IEEE/ACIS 11th International Conference on Computer and Information Science
PublicationTitleAbbrev icis
PublicationYear 2012
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000702832
Score 1.5286022
Snippet With the increasing use of design models during the development process, developers now face a daunting task to maintain consistency between the design models...
SourceID ieee
SourceType Publisher
StartPage 675
SubjectTerms Companies
composition
Context
Context modeling
Diamond-like carbon
modeling
ownership
Semantics
Testing
uml
Unified modeling language
Title Formalization of UML Composition in OCL
URI https://ieeexplore.ieee.org/document/6211170
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NT4NAEJ1UT57UtMbv7MHEi1BYYIFzY9OaVk1sk96a_ZgmjYYaQy_-emeAojEevAGn2WWXN295bwbghjIhmyljvSgmihKvNJe8xdyLNOqIK9AFiv3O00c1mscPi2TRgbvWC4OIlfgMfb6s_uW7jd3yUVlfEVsJUyLoe1kga69We55CS5e77lTeLZVGtJGV3JV0au7jVvie98eD8QsLu6TPbZF_NFapcGV4CNNdRLWc5NXflsa3n7-KNf435CPofTv4xHOLTcfQwaILt0NOUN8a56XYrMR8OhH8RWiUW2JdiKfBpAez4f1sMPKaRgneOg9KjzJ-KW3M4L3KglTLLMmsU84qVEaaxCbOZBYJ6ykbI74YUpRpjjQpGlNngugE9otNgacgUqtoR1LKInXI5Eo7I3PlYhOy4VWFZ9DlMS7f61IYy2Z4538_voADnuJaH3gJ--XHFq8Iw0tzXb28L-J0lNs
link.rule.ids 310,311,786,790,795,796,802,27958,55109
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NT4NAEJ00etCTmtb47R5MvAiFBRY4NzatQjWxTXpr9qtJo6HG0Iu_3hmgaIwHb8BpdtnlzVvemwG4wUxIJ0JpJwiRooRLSSVvbeoE0sqAKtB5gvzO-USMZuHDPJp34K71wlhrK_GZdemy-pdv1npDR2V9gWzFj5Gg7yLOe2nt1mpPVHDxUt-dyr0l4gC3suDbok7NfdhK39P-eDB-IWkXd6kx8o_WKhWyDA8g38ZUC0pe3U2pXP35q1zjf4M-hN63h489t-h0BB1bdOF2SCnqW-O9ZOslm-UZo29Co91iq4I9DbIeTIf308HIaVolOKvUKx3M-TnXIcH3MvFiyZMo0UYYLaxQXEU6MirRFtEe8zFkjD5GGacWJ0Xa2CgvOIadYl3YE2CxFrgnMWnh0id6JY3iqTCh8snyKvxT6NIYF-91MYxFM7yzvx9fw95ommeLbDx5PId9mu5aLXgBO-XHxl4iopfqqnqRX_rtmDE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2012+IEEE%2FACIS+11th+International+Conference+on+Computer+and+Information+Science&rft.atitle=Formalization+of+UML+Composition+in+OCL&rft.au=Chavez%2C+H.+M.&rft.au=Wuwei+Shen&rft.date=2012-05-01&rft.pub=IEEE&rft.isbn=9781467315364&rft.spage=675&rft.epage=680&rft_id=info:doi/10.1109%2FICIS.2012.53&rft.externalDocID=6211170
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467315364/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467315364/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467315364/sc.gif&client=summon&freeimage=true