Introduction to AquaLogic IDK Development