首页> 外文OA文献 >From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

【2h】

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

机译：从业务流程模型到一致的实现：形式验证方法的案例

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jana Koehler; Giuliano Tirenni; Santhosh Kumaran;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Process mining approach to formal business process modelling and verification: a case study [J] . Sohei Ito, Dominik Vymetal, Roman Sperka Journal of modelling in management . 2021,第2期

机译：流程挖掘正式业务流程建模和验证方法：案例研究
2. A formal approach to modeling and verification of business process collaborations [J] . Corradini Flavio, Fornari Fabrizio, Polini Andrea, Science of Computer Programming . 2018,第NOVa15期

机译：建模和验证业务流程协作的正式方法
3. A Survey of Formal Verification for Business Process Modeling [J] . Shoichi Morimoto International journal of operations and quantitative management . 2008,第4期

机译：业务流程建模的形式验证调查
4. From business process model to consistent implementation: a case for formal verification methods [C] . Koehler J., Tirenni G., Kumaran S. Enterprise Distributed Object Computing Conference, 2002. EDOC '02. Proceedings. Sixth International . 2002

机译：从业务流程模型到一致的实施：形式验证方法的案例
5. Implementation and microbial verification of HACCP (Hazard Analysis and Critical Control Point) systems and HACCP intervention methods in meat processing establishments for the reduction of foodborne pathogens. [D] . Dormedy, Erin Stafford. 1999

机译：在肉类加工企业中减少危害食源性病原体的HACCP（危害分析和关键控制点）系统和HACCP干预方法的实施和微生物验证。
6. Implementation of the Business Process Modelling Notation (BPMN) in the modelling of anatomic pathology processes [O] . Marcial García Rojo, Elvira Rolón, Luis Calahorra, 2008

机译：在解剖病理过程建模中实现业务流程建模符号（BPMN）
7. Implementing a Methodology for Formally Verifying RISC Processors in HOL [O] . Sofiène Tahar, Ramayya Kumar 1994

机译：在HOL中实施正式验证RISC处理器的方法
8. Crowdsourced Formal Verification: A Business Case Analysis Toward a Human-Centered Business Model. [R] . Baur, A. 2015

机译：众包形式验证：面向以人为本的商业模式的商业案例分析。

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

著录项

引文网络

相似文献

相关主题

期刊订阅