OCL constraints automatic generation for UML class diagram

As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. To further provide refined description of UML, OCL is primarily and widely employed. Generally, OCL constraints are written manually, which may cause incorrectne...

Full description

Saved in:
Bibliographic Details
Published in2010 IEEE International Conference on Software Engineering and Service Sciences pp. 392 - 395
Main Authors Li Tan, Zongyuan Yang, Jinkui Xie
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2010
Subjects
Algorithm design and analysis
automatic generation
Context
lexical analysis
OCL
Semantics
Software
Software architecture
UML class diagram
Unified modeling language
XMI
XML
Online AccessGet full text
ISBN1424460549
9781424460540
ISSN2327-0586
DOI10.1109/ICSESS.2010.5552361

Cover

Abstract As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. To further provide refined description of UML, OCL is primarily and widely employed. Generally, OCL constraints are written manually, which may cause incorrectness and extra overhead. Therefore, generating OCL constraints template for UML models is a superior solution. The OCL constraints template automatically generated can be used as a reference for software designers. First of all, the significance of automatic generation of OCL constraints was emphasized, and then the application domain of OCL was shown, followed by a lexical analysis of how to extract the target objects in UML models where OCL constraints were needed to build and an algorithm of extraction. Eventually, this extraction algorithm was implemented by Perl. In our way, the overall quality and efficiency of software design is enhanced and thus contributions are made for the automation of Software Engineering.
AbstractList As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. To further provide refined description of UML, OCL is primarily and widely employed. Generally, OCL constraints are written manually, which may cause incorrectness and extra overhead. Therefore, generating OCL constraints template for UML models is a superior solution. The OCL constraints template automatically generated can be used as a reference for software designers. First of all, the significance of automatic generation of OCL constraints was emphasized, and then the application domain of OCL was shown, followed by a lexical analysis of how to extract the target objects in UML models where OCL constraints were needed to build and an algorithm of extraction. Eventually, this extraction algorithm was implemented by Perl. In our way, the overall quality and efficiency of software design is enhanced and thus contributions are made for the automation of Software Engineering.
Author Li Tan
Zongyuan Yang
Jinkui Xie
Author_xml – sequence: 1
  surname: Li Tan
  fullname: Li Tan
  email: darkwhite29@gmail.com
  organization: Dept. of Comput. Sci. & Technol., East China Normal Univ., Shanghai, China
– sequence: 2
  surname: Zongyuan Yang
  fullname: Zongyuan Yang
  email: yzyuan@cs.ecnu.edu.cn
  organization: Dept. of Comput. Sci. & Technol., East China Normal Univ., Shanghai, China
– sequence: 3
  surname: Jinkui Xie
  fullname: Jinkui Xie
  email: jkxie@cs.ecnu.edu.cn
  organization: Dept. of Comput. Sci. & Technol., East China Normal Univ., Shanghai, China
BookMark eNpFj8tKAzEUhiNWsK19gm7yAlNzcpmZuJOhamGki6nrciaTlEibkWRc-PYGLMi_-C8cDnwLMgtjsISsgW0AmH7cNd226zac5UEpxUUJN2QBkktZMqWq2_8i9YzMueBVwVRd3pNVSp-MMQG1ZiDm5GnftNSMIU0RfZgSxe9pvODkDT3ZYGNOY6BujPTjPR-eMSU6eDxFvDyQO4fnZFdXX5LDy_bQvBXt_nXXPLeF12wqQFgALUDLypmBKcyqdaYAiUoNDmpTgelFBT1A6USJEnnPjZMuk-hBLMn676231h6_or9g_DlescUv71tKfA
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ICSESS.2010.5552361
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
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
Discipline Engineering
EISBN 1424460557
9781424460533
9781424460557
1424460530
EndPage 395
ExternalDocumentID 5552361
Genre orig-research
GroupedDBID 6IE
6IF
6IK
6IL
6IN
AAJGR
AAWTH
ABLEC
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
OCL
RIE
RIL
ID FETCH-LOGICAL-i90t-13e11931947fcd05a5a58910914a55df18c71cb371b116f36a4a2b2cf4f5579d3
IEDL.DBID RIE
ISBN 1424460549
9781424460540
ISSN 2327-0586
IngestDate Wed Aug 27 02:56:53 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-13e11931947fcd05a5a58910914a55df18c71cb371b116f36a4a2b2cf4f5579d3
PageCount 4
ParticipantIDs ieee_primary_5552361
PublicationCentury 2000
PublicationDate 2010-July
PublicationDateYYYYMMDD 2010-07-01
PublicationDate_xml – month: 07
  year: 2010
  text: 2010-July
PublicationDecade 2010
PublicationTitle 2010 IEEE International Conference on Software Engineering and Service Sciences
PublicationTitleAbbrev ICSESS
PublicationYear 2010
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0003189013
ssj0000452665
Score 1.4853114
Snippet As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. To further provide...
SourceID ieee
SourceType Publisher
StartPage 392
SubjectTerms Algorithm design and analysis
automatic generation
Context
lexical analysis
OCL
Semantics
Software
Software architecture
UML class diagram
Unified modeling language
XMI
XML
Title OCL constraints automatic generation for UML class diagram
URI https://ieeexplore.ieee.org/document/5552361
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ07T8MwEMetthMsPFrEWx4YSRvXduywVlQFUWBopW6V7dgIIbUIkoVPz10e5SEGlCWJEiXOnXJ_2Xe_I-RCMSu94VkEsSqLhA46MioLIORADThwMKOxwHl6n0zm4nYhFy1yuamF8d6XyWe-j7vlWn62dgVOlQ2klMgKaZO20klVq7WZT0E0eINuw2PwVQh1vOwtN1RRLHXS1HWBghdpg3uqj-OaSMTidHAzwl9ZlfZVP_JH75Uy9Ix3yLR56Srj5KVf5LbvPn7xHP87ql3S-yryo4-b8LVHWn61T7a_8Qm75OphdEcdKkhsJJG_U1Pk65LxSp9KXDValYLspfMpXIhCnIK_YcJXj8zG17PRJKqbLUTPaYwd6T0DLcdSoYLLwESw6RSpocKAFQPTTjFnOdiWsSTwxAgztEMXRJBSpRk_IJ3VeuUPCU11UNxobbUTQlm4wUgvE-8M54xLe0S6-BGWrxVOY1mP__jv0ydkq1qwxwzZU9LJ3wp_Bjogt-elA3wC1ImowA
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjZ07T8MwEMetUgZg4dEi3nhgJG1c27HDWlG10BSGVupW2Y6NEFKLIFn49JzzKA8xoCxJlChx7pT7y777HUJXgmhuFU0DiFVpwKSTgRKpAyEHasCAgynpC5yTSTScsbs5nzfQ9boWxlpbJJ_Zjt8t1vLTlcn9VFmXc-5ZIRtokzPGeFmttZ5R8XDwGt7mj8FbIdjRortcTwQhl1Fd2QUansU18Kk6DismEQnj7qjvf2Zl4lf10B_dV4rgM9hFSf3aZc7JSyfPdMd8_CI6_ndce6j9VeaHH9cBbB817PIA7XwjFLbQzUN_jI3XkL6VRPaOVZ6tCsorfiqA1d6uGIQvniVwoZfiGDzOp3y10XRwO-0Pg6rdQvAch74nvSWg5kjMhDMpGAk2GXtuKFNgR0ekEcRoCtYlJHI0Ukz1dM845jgXcUoPUXO5WtojhGPpBFVSamkYExpuUNzyyBpFKaFcH6OW_wiL1xKosajGf_L36Uu0NZwm48V4NLk_Rdvl8r3Plz1Dzewtt-egCjJ9UTjDJ-ZGrA0
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=2010+IEEE+International+Conference+on+Software+Engineering+and+Service+Sciences&rft.atitle=OCL+constraints+automatic+generation+for+UML+class+diagram&rft.au=Li+Tan&rft.au=Zongyuan+Yang&rft.au=Jinkui+Xie&rft.date=2010-07-01&rft.pub=IEEE&rft.isbn=9781424460540&rft.issn=2327-0586&rft.spage=392&rft.epage=395&rft_id=info:doi/10.1109%2FICSESS.2010.5552361&rft.externalDocID=5552361
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2327-0586&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2327-0586&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2327-0586&client=summon