Assurance of System Consistency During Independent Creation of UML Diagrams

Assurance of System Consistency During Independent Creation of UML Diagrams

Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both para...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Fryz, L., Kotulski, L.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Hardware
Object oriented modeling
Production systems
Risk management
Robustness
Standards development
System analysis and design
Timing
Unified modeling language
Visualization
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 58
container_issue
container_start_page 51
container_title
container_volume
creator Fryz, L.
Kotulski, L.
description Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both parallel activity of local graph transformation systems and their cooperation for the assurance of the systems consistency. In the paper, the concept of conjugated graphs is introduced for this purpose. Next, the implementation of this concept with the help of aedNLC graph grammar is presented.
doi_str_mv 10.1109/DEPCOS-RELCOMEX.2007.11
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_4272891</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4272891</ieee_id><sourcerecordid>4272891</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-b8e16271243318b1d9b3a37048945d5ecb191099be4024ebe4f41a86417877ea3</originalsourceid><addsrcrecordid>eNotT19LwzAcDIigzn0CH8wX6My_NsnjSKsbdlScA99G2v46IjYdTffQb29E7-Hu4LiDQ-iRkhWlRD_lxZup9sl7UZpqV3yuGCEyJlfojshMp0ylhN-gZQhfJELwlBNyi17XIVxG6xvAQ4f3c5igx2bwwUXnmxnnl9H5E976Fs4QyU_YjGAnN_jfxmFX4tzZ02j7cI-uO_sdYPmvC3R4Lj7MJimrl61Zl4mjMp2SWgHNmKRMcE5VTVtdc8slEUqLtE2hqamOh3QNgjABUTpBrcoElUpKsHyBHv52HQAcz6Pr7TgfBZNMacp_AEfvTGc</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Assurance of System Consistency During Independent Creation of UML Diagrams</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Fryz, L. ; Kotulski, L.</creator><creatorcontrib>Fryz, L. ; Kotulski, L.</creatorcontrib><description>Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both parallel activity of local graph transformation systems and their cooperation for the assurance of the systems consistency. In the paper, the concept of conjugated graphs is introduced for this purpose. Next, the implementation of this concept with the help of aedNLC graph grammar is presented.</description><identifier>ISBN: 0769528503</identifier><identifier>ISBN: 9780769528502</identifier><identifier>DOI: 10.1109/DEPCOS-RELCOMEX.2007.11</identifier><language>eng</language><publisher>IEEE</publisher><subject>Hardware ; Object oriented modeling ; Production systems ; Risk management ; Robustness ; Standards development ; System analysis and design ; Timing ; Unified modeling language ; Visualization</subject><ispartof>2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007, p.51-58</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4272891$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>310,311,782,786,791,792,2062,27934,54929</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4272891$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Fryz, L.</creatorcontrib><creatorcontrib>Kotulski, L.</creatorcontrib><title>Assurance of System Consistency During Independent Creation of UML Diagrams</title><title>2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07)</title><addtitle>DEPCOSRELCOMEX</addtitle><description>Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both parallel activity of local graph transformation systems and their cooperation for the assurance of the systems consistency. In the paper, the concept of conjugated graphs is introduced for this purpose. Next, the implementation of this concept with the help of aedNLC graph grammar is presented.</description><subject>Hardware</subject><subject>Object oriented modeling</subject><subject>Production systems</subject><subject>Risk management</subject><subject>Robustness</subject><subject>Standards development</subject><subject>System analysis and design</subject><subject>Timing</subject><subject>Unified modeling language</subject><subject>Visualization</subject><isbn>0769528503</isbn><isbn>9780769528502</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2007</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotT19LwzAcDIigzn0CH8wX6My_NsnjSKsbdlScA99G2v46IjYdTffQb29E7-Hu4LiDQ-iRkhWlRD_lxZup9sl7UZpqV3yuGCEyJlfojshMp0ylhN-gZQhfJELwlBNyi17XIVxG6xvAQ4f3c5igx2bwwUXnmxnnl9H5E976Fs4QyU_YjGAnN_jfxmFX4tzZ02j7cI-uO_sdYPmvC3R4Lj7MJimrl61Zl4mjMp2SWgHNmKRMcE5VTVtdc8slEUqLtE2hqamOh3QNgjABUTpBrcoElUpKsHyBHv52HQAcz6Pr7TgfBZNMacp_AEfvTGc</recordid><startdate>200706</startdate><enddate>200706</enddate><creator>Fryz, L.</creator><creator>Kotulski, L.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>200706</creationdate><title>Assurance of System Consistency During Independent Creation of UML Diagrams</title><author>Fryz, L. ; Kotulski, L.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-b8e16271243318b1d9b3a37048945d5ecb191099be4024ebe4f41a86417877ea3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Hardware</topic><topic>Object oriented modeling</topic><topic>Production systems</topic><topic>Risk management</topic><topic>Robustness</topic><topic>Standards development</topic><topic>System analysis and design</topic><topic>Timing</topic><topic>Unified modeling language</topic><topic>Visualization</topic><toplevel>online_resources</toplevel><creatorcontrib>Fryz, L.</creatorcontrib><creatorcontrib>Kotulski, L.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Fryz, L.</au><au>Kotulski, L.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Assurance of System Consistency During Independent Creation of UML Diagrams</atitle><btitle>2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07)</btitle><stitle>DEPCOSRELCOMEX</stitle><date>2007-06</date><risdate>2007</risdate><spage>51</spage><epage>58</epage><pages>51-58</pages><isbn>0769528503</isbn><isbn>9780769528502</isbn><abstract>Graph transformations are a very intuitive formalism used in visualization, modelling of distributed systems or in support its allocation. The formal description the modelling process (both UML diagram and the trace of designer decisions) complicate its structure; we should be able support both parallel activity of local graph transformation systems and their cooperation for the assurance of the systems consistency. In the paper, the concept of conjugated graphs is introduced for this purpose. Next, the implementation of this concept with the help of aedNLC graph grammar is presented.</abstract><pub>IEEE</pub><doi>10.1109/DEPCOS-RELCOMEX.2007.11</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 0769528503
ispartof 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 2007, p.51-58
issn
language eng
recordid cdi_ieee_primary_4272891
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Hardware
Object oriented modeling
Production systems
Risk management
Robustness
Standards development
System analysis and design
Timing
Unified modeling language
Visualization
title Assurance of System Consistency During Independent Creation of UML Diagrams
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-11-30T06%3A53%3A08IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Assurance%20of%20System%20Consistency%20During%20Independent%20Creation%20of%20UML%20Diagrams&rft.btitle=2nd%20International%20Conference%20on%20Dependability%20of%20Computer%20Systems%20(DepCoS-RELCOMEX%20'07)&rft.au=Fryz,%20L.&rft.date=2007-06&rft.spage=51&rft.epage=58&rft.pages=51-58&rft.isbn=0769528503&rft.isbn_list=9780769528502&rft_id=info:doi/10.1109/DEPCOS-RELCOMEX.2007.11&rft_dat=%3Cieee_6IE%3E4272891%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4272891&rfr_iscdi=true