Pregled bibliografske jedinice broj: 471011
SDL Ontology for Specifying Systems based on Finite State Machines
SDL Ontology for Specifying Systems based on Finite State Machines // Advances in Intelligent and Soft Computing, 71 (2010), 509-517 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 471011 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
SDL Ontology for Specifying Systems based on Finite State Machines
Autori
Bagić Babac, Marina ; Kunštić, Marijan
Izvornik
Advances in Intelligent and Soft Computing (1867-5662) 71
(2010);
509-517
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
SDL; Finite State Machines; ontology
Sažetak
Specification and Description Language (SDL) is an object-oriented and formal standardized language for the specification of complex, event-driven, realtime and interactive applications involving many concurrent activities that communicate using discrete signals. Using SDL formal model for system specification we bridge the gap between ideas in our minds and the actual implementation of the system. In this paper we propose the ontology for the basic SDL elements. We also propose a formal framework of SDL Markup Language as a medium for translating SDL model to SDL ontology.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
POVEZANOST RADA
Projekti:
036-0362027-1640 - Upravljanje mrežom i uslugama temeljeno na znanju (Jevtić, Dragan, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Citiraj ovu publikaciju:
Časopis indeksira:
- Scopus
Uključenost u ostale bibliografske baze podataka::
- INSPEC
