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...

Full description

Saved in:
Bibliographic Details
Main Authors: Boulanger, F., Hardebolle, C., Jacquet, C., Marcadet, D.
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