CN101256491B - 基于工作流的可信软件过程的定义方法 - Google Patents
基于工作流的可信软件过程的定义方法 Download PDFInfo
- Publication number
- CN101256491B CN101256491B CN2008101029726A CN200810102972A CN101256491B CN 101256491 B CN101256491 B CN 101256491B CN 2008101029726 A CN2008101029726 A CN 2008101029726A CN 200810102972 A CN200810102972 A CN 200810102972A CN 101256491 B CN101256491 B CN 101256491B
- Authority
- CN
- China
- Prior art keywords
- workflow
- definition
- software
- software process
- model
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
Claims (3)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2008101029726A CN101256491B (zh) | 2008-03-28 | 2008-03-28 | 基于工作流的可信软件过程的定义方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2008101029726A CN101256491B (zh) | 2008-03-28 | 2008-03-28 | 基于工作流的可信软件过程的定义方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101256491A CN101256491A (zh) | 2008-09-03 |
CN101256491B true CN101256491B (zh) | 2011-09-14 |
Family
ID=39891338
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2008101029726A Active CN101256491B (zh) | 2008-03-28 | 2008-03-28 | 基于工作流的可信软件过程的定义方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101256491B (zh) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101464832B (zh) * | 2009-01-16 | 2011-01-05 | 哈尔滨工程大学 | 基于pi演算和拟合度分析的自律软件可信性度量方法 |
CN101741666B (zh) * | 2010-02-26 | 2012-02-01 | 西安交通大学 | 一种通过网络结构划分来实现工作流多实例的方法 |
CN103761106A (zh) * | 2014-02-07 | 2014-04-30 | 张战 | 流程的控制方法及流程引擎 |
CN104267971A (zh) * | 2014-10-20 | 2015-01-07 | 张璇 | 面向方面可信软件过程建模方法 |
-
2008
- 2008-03-28 CN CN2008101029726A patent/CN101256491B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
CN101256491A (zh) | 2008-09-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Klein et al. | Attribute-based architecture styles | |
Tausworthe | Standardized development of computer software | |
Jewett | Lean software development | |
Lu et al. | On managing business processes variants | |
US20080040364A1 (en) | Extensible multi-dimensional framework | |
Ha et al. | A timed colored Petri nets modeling for dynamic workflow in product development process | |
US20090070165A1 (en) | System and method for workflow solution overview | |
Kraemer et al. | Tool support for the rapid composition, analysis and implementation of reactive services | |
Russell | Foundations of process-aware information systems | |
US20120215583A1 (en) | System and method for managing real-time batch workflows | |
Kheldoun et al. | Specification and verification of complex business processes-a high-level petri net-based approach | |
ter Beek et al. | A survey on service composition approaches: From industrial standards to formal methods | |
CN101256491B (zh) | 基于工作流的可信软件过程的定义方法 | |
US20110264592A1 (en) | Template-based technique for making a best practices framework actionable | |
CN110134585A (zh) | 系统测试计划生成方法及终端设备 | |
Hussein et al. | Scenario-based validation of requirements for context-aware adaptive services | |
Sampathkumaran | Computing the cost of business processes | |
Kraeling et al. | Software Development Process | |
Corradini et al. | BProVe: tool support for business process verification | |
Dellarocas et al. | A knowledge-based approach for designing robust business processes | |
Capel et al. | Choreography modeling compliance for timed business models | |
Enstone et al. | BPMN and Simulation | |
Webster et al. | Delivering software into NASA's Mission Control Center using agile development techniques | |
Rosenberg et al. | Large-Scale Parallel Development | |
Ripon et al. | Managing and analysing software product line requirements |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
ASS | Succession or assignment of patent right |
Owner name: BEIHANG UNIVERSITY Free format text: FORMER OWNER: LAN YUQING Effective date: 20130521 |
|
C41 | Transfer of patent application or patent right or utility model | ||
COR | Change of bibliographic data |
Free format text: CORRECT: ADDRESS; FROM: 100083 HAIDIAN, BEIJING TO: 100191 HAIDIAN, BEIJING |
|
TR01 | Transfer of patent right |
Effective date of registration: 20130521 Address after: 100191 Haidian District, Xueyuan Road, No. 37, Patentee after: Beihang University Address before: 100083 Beijing city Haidian District Forestry University Road No. 11 Bai Ruyuan 5-5-902 Patentee before: Lan Yuqing |