Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

31

CII
2006

favoriteEmaildiscussreport

67views more CII 2006»

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

13 years 11 months ago

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

Download oatao.univ-toulouse.fr

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.

Vincent Chapurlat, Bernard Kamsu Foguem, Fran&cced

Real-time Traffic

CII 2006 | Enterprise Modeling | Properties Specification | Validation Approach |

claim paper

Related Content

» A Method and Tool for BusinessIT Alignment in Enterprise Architecture

» Formal Verification for HighAssurance Behavioral Synthesis

» The Role of Visual Tools in a Web Application Design and Verification Framework A Visual N...

» Automatic support for testing webbased enterprise applications

» A Formal CSP Framework for MessagePassing HPC Programming

» Simplifying Autonomic Enterprise Java Bean Applications Via ModelDriven Development A Case...

» Reusable models for timing and liveness analysis of middleware for distributed realtime an...

» Formal Security Analysis with Interacting State Machines

» A Formal Enforcement Framework for RoleBased Access Control Using AspectOriented Programmi...

Post Info
More Details (n/a)

Added	11 Dec 2010
Updated	11 Dec 2010
Type	Journal
Year	2006
Where	CII
Authors	Vincent Chapurlat, Bernard Kamsu Foguem, François Prunet

Comments (0)