eBML: A Formal Language for Behavior Modeling and Application Development in Robotic Collectives

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.