Loading…
Semantic Adaptation for Models of Computation
In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computatio...
Saved in:
Main Authors: | , , , |
---|---|
Format: | Conference Proceeding |
Language: | English |
Subjects: | |
Online Access: | Request full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
cited_by | |
---|---|
cites | |
container_end_page | 162 |
container_issue | |
container_start_page | 153 |
container_title | |
container_volume | |
creator | Boulanger, F. Hardebolle, C. Jacquet, C. Marcadet, D. |
description | In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computation used for modeling the subsystems. Through the example of a power window system, this article presents an approach to the specification of the semantic adaptation of data, time and control between models of computation. The approach is supported by ModHel'X, a heterogeneous modeling and simulation environment. The example is simple enough to be completely described in the article, but rich enough to illustrate the matters of (a) defining models of computation, and (b) specifying the semantic adaptation between models of computation. |
doi_str_mv | 10.1109/ACSD.2011.17 |
format | conference_proceeding |
fullrecord | <record><control><sourceid>ieee_CHZPO</sourceid><recordid>TN_cdi_ieee_primary_5988902</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5988902</ieee_id><sourcerecordid>5988902</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-9a544d2b4a7405012a7a323c4b157a3b623e90c5d8c198f86a4939187633dec13</originalsourceid><addsrcrecordid>eNotjLtOw0AQRVdAJJKQjo7GP2Azszu7O1Na5ikFUSR9tLbXklEcW7Yp-HuCQnWudHSPUvcIGSLIY17snjINiBn6K7XUxlPK1vlrtRHP6FAziSe6UUu0FlJi4IVa_T1Enx3cqtU0fQEYRyxLle5iF05zWyV5HYY5zG1_Spp-TD76Oh6npG-Sou-G74u5U4smHKe4-eda7V-e98Vbuv18fS_ybdoKzKkES1TrkoInsIA6-GC0qahEe16l0yYKVLbmCoUbdoHECLJ3xtSxQrNWD5dsG2M8DGPbhfHnYIVZQJtfG_9EDQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Semantic Adaptation for Models of Computation</title><source>IEEE Xplore All Conference Series</source><creator>Boulanger, F. ; Hardebolle, C. ; Jacquet, C. ; Marcadet, D.</creator><creatorcontrib>Boulanger, F. ; Hardebolle, C. ; Jacquet, C. ; Marcadet, D.</creatorcontrib><description>In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computation used for modeling the subsystems. Through the example of a power window system, this article presents an approach to the specification of the semantic adaptation of data, time and control between models of computation. The approach is supported by ModHel'X, a heterogeneous modeling and simulation environment. The example is simple enough to be completely described in the article, but rich enough to illustrate the matters of (a) defining models of computation, and (b) specifying the semantic adaptation between models of computation.</description><identifier>ISSN: 1550-4808</identifier><identifier>ISBN: 9781612849744</identifier><identifier>ISBN: 1612849741</identifier><identifier>EISSN: 2374-8567</identifier><identifier>DOI: 10.1109/ACSD.2011.17</identifier><identifier>LCCN: 2011922840</identifier><language>eng</language><publisher>IEEE</publisher><subject>Adaptation models ; Clocks ; Computational modeling ; Data models ; heterogeneous modeling ; model driven engineering ; model of computation ; model semantics ; Pins ; Semantics ; Unified modeling language</subject><ispartof>2011 Eleventh International Conference on Application of Concurrency to System Design, 2011, p.153-162</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/5988902$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54555,54920,54932</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5988902$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Boulanger, F.</creatorcontrib><creatorcontrib>Hardebolle, C.</creatorcontrib><creatorcontrib>Jacquet, C.</creatorcontrib><creatorcontrib>Marcadet, D.</creatorcontrib><title>Semantic Adaptation for Models of Computation</title><title>2011 Eleventh International Conference on Application of Concurrency to System Design</title><addtitle>acsd</addtitle><description>In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computation used for modeling the subsystems. Through the example of a power window system, this article presents an approach to the specification of the semantic adaptation of data, time and control between models of computation. The approach is supported by ModHel'X, a heterogeneous modeling and simulation environment. The example is simple enough to be completely described in the article, but rich enough to illustrate the matters of (a) defining models of computation, and (b) specifying the semantic adaptation between models of computation.</description><subject>Adaptation models</subject><subject>Clocks</subject><subject>Computational modeling</subject><subject>Data models</subject><subject>heterogeneous modeling</subject><subject>model driven engineering</subject><subject>model of computation</subject><subject>model semantics</subject><subject>Pins</subject><subject>Semantics</subject><subject>Unified modeling language</subject><issn>1550-4808</issn><issn>2374-8567</issn><isbn>9781612849744</isbn><isbn>1612849741</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2011</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotjLtOw0AQRVdAJJKQjo7GP2Azszu7O1Na5ikFUSR9tLbXklEcW7Yp-HuCQnWudHSPUvcIGSLIY17snjINiBn6K7XUxlPK1vlrtRHP6FAziSe6UUu0FlJi4IVa_T1Enx3cqtU0fQEYRyxLle5iF05zWyV5HYY5zG1_Spp-TD76Oh6npG-Sou-G74u5U4smHKe4-eda7V-e98Vbuv18fS_ybdoKzKkES1TrkoInsIA6-GC0qahEe16l0yYKVLbmCoUbdoHECLJ3xtSxQrNWD5dsG2M8DGPbhfHnYIVZQJtfG_9EDQ</recordid><startdate>201106</startdate><enddate>201106</enddate><creator>Boulanger, F.</creator><creator>Hardebolle, C.</creator><creator>Jacquet, C.</creator><creator>Marcadet, D.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201106</creationdate><title>Semantic Adaptation for Models of Computation</title><author>Boulanger, F. ; Hardebolle, C. ; Jacquet, C. ; Marcadet, D.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-9a544d2b4a7405012a7a323c4b157a3b623e90c5d8c198f86a4939187633dec13</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2011</creationdate><topic>Adaptation models</topic><topic>Clocks</topic><topic>Computational modeling</topic><topic>Data models</topic><topic>heterogeneous modeling</topic><topic>model driven engineering</topic><topic>model of computation</topic><topic>model semantics</topic><topic>Pins</topic><topic>Semantics</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Boulanger, F.</creatorcontrib><creatorcontrib>Hardebolle, C.</creatorcontrib><creatorcontrib>Jacquet, C.</creatorcontrib><creatorcontrib>Marcadet, D.</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>Boulanger, F.</au><au>Hardebolle, C.</au><au>Jacquet, C.</au><au>Marcadet, D.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Semantic Adaptation for Models of Computation</atitle><btitle>2011 Eleventh International Conference on Application of Concurrency to System Design</btitle><stitle>acsd</stitle><date>2011-06</date><risdate>2011</risdate><spage>153</spage><epage>162</epage><pages>153-162</pages><issn>1550-4808</issn><eissn>2374-8567</eissn><isbn>9781612849744</isbn><isbn>1612849741</isbn><abstract>In the context of Model Driven Engineering, models are the primary artifacts of the system development cycle. In order to manage the complexity of systems, models are decomposed into models of simpler subsystems. A major difficulty is to handle the heterogeneity of the different models of computation used for modeling the subsystems. Through the example of a power window system, this article presents an approach to the specification of the semantic adaptation of data, time and control between models of computation. The approach is supported by ModHel'X, a heterogeneous modeling and simulation environment. The example is simple enough to be completely described in the article, but rich enough to illustrate the matters of (a) defining models of computation, and (b) specifying the semantic adaptation between models of computation.</abstract><pub>IEEE</pub><doi>10.1109/ACSD.2011.17</doi><tpages>10</tpages></addata></record> |
fulltext | fulltext_linktorsrc |
identifier | ISSN: 1550-4808 |
ispartof | 2011 Eleventh International Conference on Application of Concurrency to System Design, 2011, p.153-162 |
issn | 1550-4808 2374-8567 |
language | eng |
recordid | cdi_ieee_primary_5988902 |
source | IEEE Xplore All Conference Series |
subjects | Adaptation models Clocks Computational modeling Data models heterogeneous modeling model driven engineering model of computation model semantics Pins Semantics Unified modeling language |
title | Semantic Adaptation for Models of Computation |
url | http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T01%3A10%3A09IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_CHZPO&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Semantic%20Adaptation%20for%20Models%20of%20Computation&rft.btitle=2011%20Eleventh%20International%20Conference%20on%20Application%20of%20Concurrency%20to%20System%20Design&rft.au=Boulanger,%20F.&rft.date=2011-06&rft.spage=153&rft.epage=162&rft.pages=153-162&rft.issn=1550-4808&rft.eissn=2374-8567&rft.isbn=9781612849744&rft.isbn_list=1612849741&rft_id=info:doi/10.1109/ACSD.2011.17&rft_dat=%3Cieee_CHZPO%3E5988902%3C/ieee_CHZPO%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i90t-9a544d2b4a7405012a7a323c4b157a3b623e90c5d8c198f86a4939187633dec13%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5988902&rfr_iscdi=true |