Text this: 基于INAP的智能业务形式化描述和冲突检测