OCL-Based Automated Validation Method for UML Specifications

OCL-Based Automated Validation Method for UML Specifications

The paper is devoted to the validation of visual software models. The aim of the validation is to verify whether the models match the visual project language, which is a dialect of a standard visual modeling language (UML, SDL, etc.) created with regard to specific features of the particular project...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software 2003-11, Vol.29 (6), p.323-327
Hauptverfasser: Ol'khovich, L., Koznov, D. V.
Format: Artikel
Sprache:eng
Schlagworte:
Metamodels
Programming languages
Software development
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 327
container_issue 6
container_start_page 323
container_title Programming and computer software
container_volume 29
creator Ol'khovich, L.
Koznov, D. V.
description The paper is devoted to the validation of visual software models. The aim of the validation is to verify whether the models match the visual project language, which is a dialect of a standard visual modeling language (UML, SDL, etc.) created with regard to specific features of the particular project on software development. In the paper, an architecture of a validator designed for both interactive and batch modes is suggested. An approach to specifying visual project languages by means of OCL constraints imposed on the UML metamodel with the subsequent automated generation of validators in accordance with the architecture described is suggested. Results of approbation of the validator and the validator generator in the framework of an industry project are presented.
doi_str_mv 10.1023/B:PACS.0000004132.42846.11
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2918607486</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2918607486</sourcerecordid><originalsourceid>FETCH-LOGICAL-c291t-94bf6d32977df8927c6f1428e3a8c236aa70d8a1e78439698afea6fdf049c6953</originalsourceid><addsrcrecordid>eNpFkNtKAzEQhoMoWKvvsOj1rpkk5lC8aZd6gC0Var0NMQfc0jY12V749m5bwbmZgfmYf_gQugVcASb0fjJ6G9eLCh-LASUVI5LxCuAMDYBjWVLC4RwNMOVQCi7lJbrKeYUx9DwboMd53ZQTk70rxvsubkzXTx9m3TrTtXFbzHz3FV0RYiqWs6ZY7LxtQ2uPy3yNLoJZZ3_z14do-TR9r1_KZv78Wo-b0hIFXanYZ-COEiWEC1IRYXmA_k9PjbSEcmMEdtKAF5JRxZU0wRseXMBMWa4e6BDdne7uUvze-9zpVdynbR-p-wDJsWCS99ToRNkUc04-6F1qNyb9aMD6YEtP9MGW_relj7Y0AP0FOr5cPw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2918607486</pqid></control><display><type>article</type><title>OCL-Based Automated Validation Method for UML Specifications</title><source>SpringerLink Journals</source><source>ProQuest Central</source><creator>Ol'khovich, L. ; Koznov, D. V.</creator><creatorcontrib>Ol'khovich, L. ; Koznov, D. V.</creatorcontrib><description>The paper is devoted to the validation of visual software models. The aim of the validation is to verify whether the models match the visual project language, which is a dialect of a standard visual modeling language (UML, SDL, etc.) created with regard to specific features of the particular project on software development. In the paper, an architecture of a validator designed for both interactive and batch modes is suggested. An approach to specifying visual project languages by means of OCL constraints imposed on the UML metamodel with the subsequent automated generation of validators in accordance with the architecture described is suggested. Results of approbation of the validator and the validator generator in the framework of an industry project are presented.</description><identifier>ISSN: 0361-7688</identifier><identifier>EISSN: 1608-3261</identifier><identifier>DOI: 10.1023/B:PACS.0000004132.42846.11</identifier><language>eng</language><publisher>New York: Springer Nature B.V</publisher><subject>Metamodels ; Programming languages ; Software development</subject><ispartof>Programming and computer software, 2003-11, Vol.29 (6), p.323-327</ispartof><rights>MAIK “Nauka/Interperiodica” 2003.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c291t-94bf6d32977df8927c6f1428e3a8c236aa70d8a1e78439698afea6fdf049c6953</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2918607486?pq-origsite=primo$$EHTML$$P50$$Gproquest$$H</linktohtml><link.rule.ids>314,776,780,21367,27901,27902,33721,43781</link.rule.ids></links><search><creatorcontrib>Ol'khovich, L.</creatorcontrib><creatorcontrib>Koznov, D. V.</creatorcontrib><title>OCL-Based Automated Validation Method for UML Specifications</title><title>Programming and computer software</title><description>The paper is devoted to the validation of visual software models. The aim of the validation is to verify whether the models match the visual project language, which is a dialect of a standard visual modeling language (UML, SDL, etc.) created with regard to specific features of the particular project on software development. In the paper, an architecture of a validator designed for both interactive and batch modes is suggested. An approach to specifying visual project languages by means of OCL constraints imposed on the UML metamodel with the subsequent automated generation of validators in accordance with the architecture described is suggested. Results of approbation of the validator and the validator generator in the framework of an industry project are presented.</description><subject>Metamodels</subject><subject>Programming languages</subject><subject>Software development</subject><issn>0361-7688</issn><issn>1608-3261</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2003</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNpFkNtKAzEQhoMoWKvvsOj1rpkk5lC8aZd6gC0Var0NMQfc0jY12V749m5bwbmZgfmYf_gQugVcASb0fjJ6G9eLCh-LASUVI5LxCuAMDYBjWVLC4RwNMOVQCi7lJbrKeYUx9DwboMd53ZQTk70rxvsubkzXTx9m3TrTtXFbzHz3FV0RYiqWs6ZY7LxtQ2uPy3yNLoJZZ3_z14do-TR9r1_KZv78Wo-b0hIFXanYZ-COEiWEC1IRYXmA_k9PjbSEcmMEdtKAF5JRxZU0wRseXMBMWa4e6BDdne7uUvze-9zpVdynbR-p-wDJsWCS99ToRNkUc04-6F1qNyb9aMD6YEtP9MGW_relj7Y0AP0FOr5cPw</recordid><startdate>20031101</startdate><enddate>20031101</enddate><creator>Ol'khovich, L.</creator><creator>Koznov, D. V.</creator><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>8FE</scope><scope>8FG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope></search><sort><creationdate>20031101</creationdate><title>OCL-Based Automated Validation Method for UML Specifications</title><author>Ol'khovich, L. ; Koznov, D. V.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c291t-94bf6d32977df8927c6f1428e3a8c236aa70d8a1e78439698afea6fdf049c6953</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Metamodels</topic><topic>Programming languages</topic><topic>Software development</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Ol'khovich, L.</creatorcontrib><creatorcontrib>Koznov, D. V.</creatorcontrib><collection>CrossRef</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Advanced Technologies &amp; Aerospace Database</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><jtitle>Programming and computer software</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ol'khovich, L.</au><au>Koznov, D. V.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>OCL-Based Automated Validation Method for UML Specifications</atitle><jtitle>Programming and computer software</jtitle><date>2003-11-01</date><risdate>2003</risdate><volume>29</volume><issue>6</issue><spage>323</spage><epage>327</epage><pages>323-327</pages><issn>0361-7688</issn><eissn>1608-3261</eissn><abstract>The paper is devoted to the validation of visual software models. The aim of the validation is to verify whether the models match the visual project language, which is a dialect of a standard visual modeling language (UML, SDL, etc.) created with regard to specific features of the particular project on software development. In the paper, an architecture of a validator designed for both interactive and batch modes is suggested. An approach to specifying visual project languages by means of OCL constraints imposed on the UML metamodel with the subsequent automated generation of validators in accordance with the architecture described is suggested. Results of approbation of the validator and the validator generator in the framework of an industry project are presented.</abstract><cop>New York</cop><pub>Springer Nature B.V</pub><doi>10.1023/B:PACS.0000004132.42846.11</doi><tpages>5</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0361-7688
ispartof Programming and computer software, 2003-11, Vol.29 (6), p.323-327
issn 0361-7688
1608-3261
language eng
recordid cdi_proquest_journals_2918607486
source SpringerLink Journals; ProQuest Central
subjects Metamodels
Programming languages
Software development
title OCL-Based Automated Validation Method for UML Specifications
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T10%3A21%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=OCL-Based%20Automated%20Validation%20Method%20for%20UML%20Specifications&rft.jtitle=Programming%20and%20computer%20software&rft.au=Ol'khovich,%20L.&rft.date=2003-11-01&rft.volume=29&rft.issue=6&rft.spage=323&rft.epage=327&rft.pages=323-327&rft.issn=0361-7688&rft.eissn=1608-3261&rft_id=info:doi/10.1023/B:PACS.0000004132.42846.11&rft_dat=%3Cproquest_cross%3E2918607486%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2918607486&rft_id=info:pmid/&rfr_iscdi=true