组合Web服务是网构化软件的核心内容,它的运行正确性直接关系到它的可用性和用户满意度。组合Web服务的执行流程通常用“业务流程......

并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究，建立了符合两段锁协议的扩展有色Petri网模......

在对防空武器系统作战过程分析的基础上,用IDEF(integrated definition method)方法建立了防空武器系统作战过程的功能模型,并使用......