介绍了一个基于ASP.NET网上答疑系统的结构组成和基本功能,并给出了基于ASP.NET技术实现网上答疑系统的方法。该系统采用了SQL Server 2000作为后台数据库服务器,用ASP.NET编写Web服务器有关程序,用ASP.NET组件ADO.NET访问数据库,客户...介绍了一个基于ASP.NET网上答疑系统的结构组成和基本功能,并给出了基于ASP.NET技术实现网上答疑系统的方法。该系统采用了SQL Server 2000作为后台数据库服务器,用ASP.NET编写Web服务器有关程序,用ASP.NET组件ADO.NET访问数据库,客户端用网页浏览器即可访问本系统。系统为用户提供了实时答疑和非实时答疑两种答疑方式。整个系统较好地利用了网络资源,实现了教育资源与教育方法的共享。展开更多
语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petr...语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。展开更多
文摘介绍了一个基于ASP.NET网上答疑系统的结构组成和基本功能,并给出了基于ASP.NET技术实现网上答疑系统的方法。该系统采用了SQL Server 2000作为后台数据库服务器,用ASP.NET编写Web服务器有关程序,用ASP.NET组件ADO.NET访问数据库,客户端用网页浏览器即可访问本系统。系统为用户提供了实时答疑和非实时答疑两种答疑方式。整个系统较好地利用了网络资源,实现了教育资源与教育方法的共享。
文摘语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到组合服务验证中,利用时态约束表达待验证性质,将验证问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。