東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

A semantic anchoring infrastructure ...

Chen, Kai.

Linked to FindBook

Google Book

Amazon

博客來

A semantic anchoring infrastructure for model-integrated computing .

Record Type:	Language materials, printed : Monograph/item
Title/Author:	A semantic anchoring infrastructure for model-integrated computing ./
Author:	Chen, Kai.
Description:	197 p.
Notes:	Adviser: Janos Sztipanovits.
Contained By:	Dissertation Abstracts International67-10B.
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3238875
ISBN:	9780542936524

A semantic anchoring infrastructure for model-integrated computing .
Chen, Kai.

A semantic anchoring infrastructure for model-integrated computing . - 197 p.

Adviser: Janos Sztipanovits.

Thesis (Ph.D.)--Vanderbilt University, 2006.

Model-Integrated Computing (MIC) is an approach for model-based design of embedded software and systems. MIC places strong emphasis on the use of domain-specific modeling languages (DSMLs) and model transformation techniques in design flows. Metamodeling facilitates the rapid, inexpensive development of DSMLs. However, the semantics specification for DSMLs is still a hard problem.

ISBN: 9780542936524Subjects--Topical Terms:

626642
Computer Science.

A semantic anchoring infrastructure for model-integrated computing .
LDR:02919nam 2200301 a 45 001 964268
005 20110901
008 110901s2006 eng d
020 $a 9780542936524
035 $a (UMI)AAI3238875
035 $a AAI3238875
040 $a UMI $c UMI
100 1 $a Chen, Kai. $3 1037914
245 1 2 $a A semantic anchoring infrastructure for model-integrated computing .
300 $a 197 p.
500 $a Adviser: Janos Sztipanovits.
500 $a Source: Dissertation Abstracts International, Volume: 67-10, Section: B, page: 5837.
502 $a Thesis (Ph.D.)--Vanderbilt University, 2006.
520 $a Model-Integrated Computing (MIC) is an approach for model-based design of embedded software and systems. MIC places strong emphasis on the use of domain-specific modeling languages (DSMLs) and model transformation techniques in design flows. Metamodeling facilitates the rapid, inexpensive development of DSMLs. However, the semantics specification for DSMLs is still a hard problem.
520 $a In this thesis, we propose a semantic anchoring infrastructure including a set of reusable "semantic units" that provide reference semantics for basic behavioral categories using the Abstract State Machine framework. A tool suite for the semantic anchoring methodology is developed to facilitate the transformational specification of DSML semantics. If the semantics of a DSML can be directly mapped onto one of the basic behavioral categories, its semantics can be defined by simply specifying the semantic anchoring rules between the DSML and a semantic unit.
520 $a However, in heterogeneous systems, the semantics is not always fully captured by a predefined semantic unit. If the semantics is specified from scratch it is not only expensive but we lose the advantages of anchoring the semantics to a set of common and well-established semantic units. Therefore, we extend the semantic anchoring framework to heterogeneous behaviors by developing an approach for the composition of semantic units. The compositional semantics specification approach reduces the required effort from DSML designers and improves the quality of the specification.
520 $a This thesis also includes three case studies for different purposes. The FSM domain in Ptolemy is used as a case study to explain the semantic anchoring methodology and to illustrate how the semantic anchoring tool suite is applied to design DSMLs. The Timed Automata Semantic Unit is defined as an example to illustrate how to specify semantic units. An industrial-strength modeling language, EFSM, is employed as a case study to explain the compositional semantics specification approach.
590 $a School code: 0242.
650 4 $a Computer Science. $3 626642
690 $a 0984
710 2 0 $a Vanderbilt University. $3 1017501
773 0 $t Dissertation Abstracts International $g 67-10B.
790 $a 0242
790 1 0 $a Sztipanovits, Janos, $e advisor
791 $a Ph.D.
792 $a 2006
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3238875