SDL Ontology for Specifying Systems Based on Finite State Machines

Marina Bagic Babac, Marijan Kunstic. SDL Ontology for Specifying Systems Based on Finite State Machines. In Yves Demazeau, Frank Dignum, Juan M. Corchado, Javier Bajo, Rafael Corchuelo, Emilio Corchado, Florentino Fernández Riverola, Vicente Julián, Pawel Pawlewski, Andrew Campbell, editors, Trends in Practical Applications of Agents and Multiagent Systems - 8th International Conference on Practical Applications of Agents and Multiagent Systems, PAAMS 2010 Special Sessions and Workshops, Salamanca, Spain, 26-28 April 2010. Volume 71 of Advances in Soft Computing, pages 509-517, Springer, 2010. [doi]

Abstract

Abstract is missing.