SDL Ontology for Specifying Systems based on Finite State Machines (CROSBI ID 164054)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bagić Babac, Marina ; Kunštić, Marijan
engleski
SDL Ontology for Specifying Systems based on Finite State Machines
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.
SDL; Finite State Machines; ontology
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano