基于CPN建模技术的研究

Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.     

UML类图到CPN转化方法的研究

UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。     

我国合伙企业当为“法人”之正当性理由

通说认为我国合伙企业属于“非法人组织”.合伙企业具有“法人”的民事主体功能,具有权利能力,具有独立的意志及其执行机关,具有独立的财产,具有独立利益,且法人之“独立责任”并非完全独立,合伙企业亦能以自己的财产独立承担责任,亦即合伙企业具有高度独立性,为权利义务之归属体,本质上符合团体组织当为法人的条件,当为法人.