Detail publikace

Formal Models in Software Development and Deployment: A Case Study

KOČÍ, R.; JANOUŠEK, V. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, 2014, vol. 7, no. 1, p. 266-276. ISSN: 1942-2628.
Název česky
Formální modely ve vývoji a nasazení softwaru: Případová studie
Typ
článek v časopise
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
URL
Klíčová slova

Object Oriented Petri Nets, Discrete Event System Specification, multi-paradigm modeling, model deployment

Abstrakt

Modelování v kontextu softwarového inženýrství obvykle slouží pro definování architektury a k popisu chování systému. Modely jsou pak automatizovaně nebo manuálně transformovány do kódu v programovacím jazyku, přičemž testování je možné pouze s kódem nebo specifickými spustitelnými modely. Následný vývoj a ladění s použitím modelů se tímto stává nemožným. Přístup dikutovaný v článku umožňuje modelovat, testovat a ladit systém s využitím vysokoúrovňových jazyků jako jsou Objektově orientované Petriho sítě kombinované s formalismem DEVS. Tyto modely mohou být nasazeny do cílového prostředí a stát se tak integrální součástí vyvinutého systému. Tato časopisecká publikace je rozšířenou verzí článku, který byl publikován na konferenci ICSEA 2013.

Rok
2014
Strany
266–276
Časopis
International Journal on Advances in Software, roč. 7, č. 1, ISSN 1942-2628
BibTeX 
@article{BUT111592,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Formal Models in Software Development and Deployment: A Case Study",
  journal="International Journal on Advances in Software",
  year="2014",
  volume="7",
  number="1",
  pages="266--276",
  issn="1942-2628",
  url="http://www.iariajournals.org/software/tocv7n12.html"
}
Nahoru