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, real-time 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.