Naslov: | Challenges and directions in formalizing the semantics of modeling languages |
---|
Avtorji: | ID Bryant, Barrett Richard (Avtor) ID Gray, Jeffrey G. (Avtor) ID Mernik, Marjan (Avtor) ID Clarke, Peter (Avtor) ID France, Robert (Avtor) ID Karsai, Gabor (Avtor) |
Datoteke: | Computer_Science_and_Information_Systems_2011_Bryant_et_al._Challenges_and_directions_in_formalizing_the_semantics_of_modeling_languages.pdf (568,31 KB) MD5: 5803E09737B733294189EA4F225A0398 PID: 20.500.12556/dkum/5873c8f9-f976-4c07-b94d-43dddb47cdfb
http://www.doiserbia.nb.rs/Article.aspx?ID=1820-02141100012B
|
---|
Jezik: | Angleški jezik |
---|
Vrsta gradiva: | Znanstveno delo |
---|
Tipologija: | 1.01 - Izvirni znanstveni članek |
---|
Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
---|
Opis: | Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) forsupporting model-driven engineering. Even though these tools facilitate theautomation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools. |
---|
Ključne besede: | model-based tools, modeling language, semantics |
---|
Status publikacije: | Objavljeno |
---|
Verzija publikacije: | Objavljena publikacija |
---|
Leto izida: | 2011 |
---|
Št. strani: | str. 225-253 |
---|
Številčenje: | Letn. 8, št. 2 |
---|
PID: | 20.500.12556/DKUM-66711  |
---|
ISSN: | 1820-0214 |
---|
UDK: | 004.434 |
---|
COBISS.SI-ID: | 15098902  |
---|
DOI: | 10.2298/CSIS110114012B  |
---|
ISSN pri članku: | 1820-0214 |
---|
NUK URN: | URN:SI:UM:DK:LLLEOF5T |
---|
Datum objave v DKUM: | 06.07.2017 |
---|
Število ogledov: | 1273 |
---|
Število prenosov: | 404 |
---|
Metapodatki: |  |
---|
Področja: | Ostalo
|
---|
:
|
Kopiraj citat |
---|
| | | Skupna ocena: | (0 glasov) |
---|
Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
---|
Objavi na: |  |
---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |