孙莹
- 作品数：8 被引量：13H指数：2
- 供职机构：大连海事大学更多>>
- 相关领域：自动化与计算机技术政治法律电子电信更多>>
- Petri网和UML在建模过程中的转换机制研究
- OMG组织将UML作为面向对象分析和设计建模语言的标准，因此，UML被广泛地用来对复杂问题建立模型。虽然UML可以较好地描述系统的行为特性，但它是不可执行的，只是对动态行为的静态描述。相对而言，Petri网能较好地描述系...
- 孙莹
- 关键词：PETRI网UML
- 文献传递网络资源链接
- 预约合同法律制度研究——兼析商品房认购书
- 预约制度起源于罗马法对要物制度的缓和，随后《法国民法典》、《奥地利普通民法典》在法律上承认了预约制度。在现代社会中，随着商品交易的不断发展，越来越多的人通过认购书、意向书、订购书的形式固定交易机会，方便日后交易成熟后订立...
- 孙莹
- 关键词：预约合同法律效力商品房交易
- 角度式控制阀PIC控制板的开发
- 生产过程的自动控制简称过程控制，它在工业生产中占有及其重要的地位。过程控制的质量很大程度上决定于过程控制仪表，它包括变送器、调节器、执行器以及各种辅助控制装置。本文讨论的执行器-角度式阀门的控制，在一定程度上决定了过程控...
- 孙莹
- 关键词：过程控制控制电路板
- 文献传递
- UML通信图和Petri网转换方法的研究
- 软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制.Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了...
- 孙莹蒋波王赫
- 关键词：PETRI网软件开发
- 文献传递
- UML通信图和Petri网转换方法的研究被引量：6
- 2007年
- 软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制。Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了这个转换的逆转换,以及自动转换程序的必要性及可行性。从而使得在系统建模的早期阶段就可以利用Petri网的各种分析方法对系统模型进行分析验证。
- 孙莹蒋波王赫
- 关键词：UMLPETRI网
- 一种基于着色赋时Petri网的Web服务组合建模方法被引量：1
- 2007年
- 为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。
- 王赫蒋波孙莹单宇姣
- 关键词：WEB服务工作流
- 一种基于着色赋时Petri网的Web服务组合建模方法
- 为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型.该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描...
- 王赫蒋波孙莹单宇姣
- 关键词：着色赋时PETRI网WEB服务组合工作流PETRI网模型
- 文献传递
- 国际货运代理交付单证问题研究
- 作为“国际货物运输的组织者和设计者”，国际货运代理在国际海上货物运输和国际进出口贸易中起到极为重要的桥梁作用。国际货运代理企业能否正确履行交单义务，关系到国际贸易能否顺利进行。故本文结合最新颁布的《关于审理海上货运代理纠...
- 孙莹
- 关键词：国际货运代理法律责任合同法
