SIP协议系统模型的形式化研究

摘要:依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。关键词:构件模型构件库形式化方法形式化描述。 在基

针对目前没有直接对事件图模型进行形式化验证的方法，提出了一种基于行为时态逻辑（temporallogicofaction，TLA）的事件图模型形式化验证方法。该方法利用TLA语言能够同时表达模型行为与

论文研究-信息物理融合系统可信软件形式化建模与分析.pdf,  从多Agent系统的角度，以Petri网和π演算为语义基础，建立了一种信息物理融合系统（cyber-physical systems，C

形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的

形式化方法--北大教学ppt--很经典！共分七章讲解，内容全了。有兴趣的朋友可以看看。

Formal method paper collection

z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段

介绍了如何用轻量级的形式化建模语言alloy来建立模型。

第4章-形式化说明技术.pdf

使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数 TCSP#建立了每个 UCON 核模型的形式化规约,以及针对一般化UCON