本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法，它能够较好地满足目前系统设计的要求。
Then the paper addresses the issues that model, active specs and ICD can drive the development of embedded systems effectively during the design phase.
要定义入站服务，需要向管理控制台提供描述服务请求者的接口预期的WSDL文档。
To define the inbound service, we need to provide the administration console a WSDL document describing the service requestor's interface expectations.
应用推荐