A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

V. Chapurlat; B. Kamsu-Foguem; F. Prunet

首页> 外文期刊>Computers in Industry >A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

【24h】

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

机译：企业建模的正式验证框架和相关工具：应用于UEML

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the suitability and coherence of a model by using properties specification and formal proof of properties.

机译：本文的目的是为企业建模提出一种验证和确认方法，并将其应用到企业建模中，该方法使用户能够通过使用属性规范和属性的形式证明来提高模型的相关性和正确性，适用性和一致性。

著录项

来源
《Computers in Industry》 |2006年第2期|共14页
作者
V. Chapurlat; B. Kamsu-Foguem; F. Prunet;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算机的应用;
关键词
Enterprise Modeling; Verification; Validation; Property; UEML;

机译：企业建模;验证;验证;属性;UEML;

相似文献

外文文献
中文文献
专利

1. A formal verification framework and associated tools for Enterprise Modeling: Application to UEML [J] . V. Chapurlat, B. Kamsu-Foguem, F. Prunet Computers in Industry . 2006,第2期

机译：企业建模的正式验证框架和相关工具：应用于UEML
2. A Formal Approach for Modeling and Verification of RTCORBA-based Applications [J] . Matteo Rossi, Dino Mandrioli Software Engineering Notes . 2004,第4期

机译：基于RTCORBA的应用程序建模和验证的正式方法
3. A formal framework to integrate express data models in an extended enterprise context [J] . Omar Lopez-Ortega, Moramay Ramirez-Hernandez Journal of Intelligent Manufacturing . 2007,第3期

机译：在扩展的企业环境中集成快速数据模型的正式框架
4. A Tool for Translation of VHDL Descriptions into a Formal Model and Its Application to Formal Verification and Synthesis [C] . Rajesh K. Bawa, Emmanuelle Encrenaz International Symposium on Formal Techniques in Real-time and Fault-Tolerant Systems . 1996

机译：用于将VHDL描述转换为正式模型的工具及其在正式验证和综合的应用
5. A formal framework for run -time verification of Web Applications: An approach supported by scope-extended Linear Temporal Logic [D] . Haydar, May 2008

机译：Web应用程序运行时验证的正式框架：范围扩展的线性时间逻辑支持的方法
6. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks [O] . Pedro T Monteiro, Estelle Dumas, Bruno Besson, 2009

机译：一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
7. A formal verification framework and associated tools for Enterprise Modeling: Application to UEML [O] . V. Chapurlat A, B. Kamsu-foguem A, F. Prunet B 2014

机译：企业建模的正式验证框架和相关工具：应用于UEmL
8. Formal Modeling of the Enterprise JavaBeans(TM) Component Integration Framework [R] . Sousa, J. P. , Garlan, D. 2000

机译：Enterprise JavaBeans（Tm）组件集成框架的形式化建模

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

摘要

著录项

相似文献

相关主题

期刊订阅