This paper describes the scientific advances of the AllemaniACs team for the 2009 RoboCup@Home competitions. We present important modules of our robot control software which allows us to perform reliable service robotics applications in the @Home league. Furthermore, we report on our high-level programming language providing a powerful framework for agent behavior specification.