Title :
eBML: A Formal Language for Behavior Modeling and Application Development in Robotic Collectives
Author :
Cioarga, Razvan ; Micea, Mihai ; Ciubotaru, Bogdan ; Chiciudean, Dan ; Cretu, Vladimir ; Groza, Voicu
Author_Institution :
Dept. of Comput. & Software Eng., Politeh. Univ. of Timisoara, Timisoara
Abstract :
The new trend of miniaturizing the electronic devices leads to the necessity of small, relatively independent entities which can interact with each other and with other entities forming collective, associative environments. This paper describes the formal specification of the eBML modeling language and its use in programming intelligent terminals like robots or intelligent sensor nodes which compose such collaborative robotic environments.
Keywords :
formal languages; formal specification; intelligent robots; intelligent sensors; multi-robot systems; application development; collaborative robotic environment; electronic devices; emergent behavioral modeling language; formal language; formal specification; intelligent sensor; Collaboration; Collaborative tools; Computational modeling; Formal languages; Formal specifications; Intelligent robots; Intelligent sensors; Robot kinematics; Robot programming; Robot sensing systems; behavioral modeling; collaborative environments; embedded programming; real-time operating systems; robotic environments;
Conference_Titel :
Robotic and Sensors Environments, 2007. ROSE 2007. International Workshop on
Conference_Location :
Ottawa, Ont.
Print_ISBN :
978-1-4244-1526-7
Electronic_ISBN :
978-1-4244-1527-4
DOI :
10.1109/ROSE.2007.4373972