位置：成果数据库 > 期刊 > 期刊详情页
基于程序Petri网的新型软件开发方法研究
  • ISSN号：1004-731X
  • 期刊名称：系统仿真学报
  • 时间：0
  • 页码：55-58
  • 语言：中文
  • 分类：TP311.52[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]山东科技大学信息科学与工程学院, [2]中国科学院计算机科学国家重点实验室
  • 相关基金：国家自然科学基金(60773034,90818023,90718012,60803032);山东省科技发展计划项目(2008GG30001024);中国科学院计算机科学国家重点实验室开放课题(SYSKF0804);山东省“泰山学者”建设工程专项经费;山东科技大学研究生创新基金
  • 相关项目：逻辑Petri网理论及其合成运算性质研究
作者： 杜玉越|孙海春|
关键词： PETRI网, 程序Petri网, 软件开发体系, 可信性
中文摘要：

从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。

同期刊论文项目
基于行为认证的电子银行可信软件验证试验环境研究
期刊论文 52 会议论文 10 获奖 4
面向可信管理的软件病态模型、机理及理论研究
期刊论文 22 会议论文 3 获奖 1
Petri网系统的子系统相关性研究
期刊论文 23 会议论文 4 专利 2
逻辑Petri网理论及其合成运算性质研究
期刊论文 41 会议论文 5 获奖 4
同项目期刊论文
Upper bounds on lifetime of ordinary clustering ultra wide band sensor networks
An incremental method for mining generalized association rules based on extended canonical-order tre
Method for computing minimal siphons in Petri Nets and the performance analysis
Research on Web service selection based on cooperative evolution
A vector matching method for analysing logic Petri nets
Automatic Web service composition based on Horn clauses and Petri nets
基于频繁闭情节及其生成子的无冗余情节规则抽取
Adaptive model for Web image semantic automatic annotation
Multicast throughput for large scale cognitive networks
Progressive ranking and composition of web services with interaction relationship
Dynamic web service selection based on discrete particle swarm optimization
Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs
A necessary and sufficient condition for the liveness of normal nets
Interactive Web service composition based on Petri net
Improved sufficient condition for the controllability of dependent siphons in system of simple seque
XML流管理研究综述
A fast adaptive load balancing method for parallel particle-based simulations
Petri网极小虹吸的计算方法与性能分析
一种基于领域本体的最优Web服务组合方法
基于Petri网的容错系统分层建模
A survey of XML stream management
基于离散微粒群算法的动态Web服务选择
Design and Implementation of a Web Service based Public-oriented Personalized Health Care Platform
Effective image auto-annotation via discriminative hyperplane tree based generative model
Automatic Web services composition algorithm based on optimal matching
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
大规模分簇超宽带传感网的生存期渐近界
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement
Process nets with channels
逻辑Petri网变迁使能的判定方法
常规分簇的超宽带传感网生存期的上界
一种高效的多层和概化关联规则挖掘方法
A Biometric-Based User Authentication for Wireless Sensor Networks
Extended and improved slicing technologies for Petri nets
基于可判别超平面树的生成模型图像标注方法
一种自适应的Web图像语义自动标注方法
一种基于领域本体的最优Web服务组合方法
基于Petri网的容错系统分层建模
基于一致分布的时间Petri网模型
基于离散微粒群算法的动态Web服务选择
Automated Web Service Composition Supporting Conditional Branch Structures
混合语义时间Petri网模型
An algorithm for generating home states of Petri nets
Reliable web services selection based on finite state machine model
Indeterminacy-aware service selection for reliable service composition
Automatic Web services composition algorithm based on optimal matching
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
Modeling multimedia synchronization using petri nets
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
A process generation approach of dynamic workflows based description logics
Soundness analysis of t-restricted interorganizational logical workflow nets
Modeling and design for dynamic workflows based on flexible activities
逻辑Petri网变迁使能的判定方法
模型机控制并行口的设计与实现
可重写Petri网:位置可重写及性质分析
一种基于不变量结构分解的工作流性能分析方法
Petri网极小虹吸的计算方法与性能分析
一种基于领域本体的最优Web服务组合方法
Two Simple Deadlock Prevention Policies for (SPR)-P-3 Based on Key- ResourceOperation-Place Pairs
基于云计算Live Mesh的流媒体应用研究
Behavior-aware Trustworthiness Study of Networked Software
基于离散微粒群算法的动态Web服务选择
工作流网系统合理性的语言特性研究
Two types of extended RSNBs and their application in modeling flexible manufacturing systems
On conditions for the liveness of weakly persistent nets
随机QoS感知的可靠Web服务组合
工作流模型验证及分解的多项式算法分析
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
Deadlock checking for one-place unbounded Petri nets based on modified reachability trees
An approach for synthesis Petri nets for modeling and verifying composite web service
A Biometric-Based User Authentication for Wireless Sensor Networks
分簇的扩展超宽带传感网生存期的下界
一种基于场景的需求驱动构件服务聚集方法
基于OFBiz与J2EE的水利水电应用系统的设计
一种基于领域本体的最优Web服务组合方法
基于工作流网的电子商务平台建模技术研究
A routing-based dynamic workflow
A fast algorithm for web service composition based on dynamic description logic
基于AHP的企业绩效网络考核系统设计
基于Petri网的容错系统分层建模
A Vector Matching Method for Analyzing Logic Petri Nets
应用三个移动锚节点的非测距定位方法
基于Petri网的协同工作流建模与分析
基于MDA和可执行形式化的可信软件设计
Modeling and monitoring of E-commerce workflows
改进的最小割集生成算法与联锁系统模型的安全性测试
Petri网在电子商务分析中的应用
基于逻辑Petri网的图书馆借阅系统的建模与分析
Logic Petri nets and equivalency
公平消息传递并行程序设计的Petri网方法
Soundness analysis of inter-organizational workflows
A formal approach for obligation analysis of E-commerce
Analysis and verification of dynamic stock trading systems
一种基于网格的电子商务模式
物流配送系统的 Petri网 模型与分析
Petri net methods of constructing kleene-closure operations of regular languages
On the design and temporal petri net verification of grid commerce architecture
Modeling non-repudiation in distributed systems
逻辑Petri网变迁使能的判定方法
应用Petri网求解事故树最小割集的方法研究
基于Agent的客户服务系统模型
期刊信息
  • 《系统仿真学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国航天科工集团公司
  • 主办单位:北京仿真中心 中国仿真学会
  • 主编：李伯虎
  • 地址：北京市海淀区永定路50号院
  • 邮编：100039
  • 邮箱：simu-xb@vip.sina.com
  • 电话：010-88527147
  • 国际标准刊号：ISSN：1004-731X
  • 国内统一刊号：ISSN：11-3092/V
  • 邮发代号:82-9
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:51729