Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Scitepress - Science And And Technology Publications

9789898111432

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrating Formal Approaches and Simulation to Improve Reliability and Correctness ofWeb Services

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001740701800189 ◽

2008 ◽

Keyword(s):

Improve Reliability

Download Full-text

Active Database System Realized by a Petri Net Approach

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001730501500159 ◽

2008 ◽

Keyword(s):

Petri Net ◽

Database System ◽

Active Database

Download Full-text

A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001736700290038 ◽

2008 ◽

Keyword(s):

Petri Net ◽

Resource Constrained

Download Full-text

Weakly Continuation Closed Homomorphisms on Automata

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001736500390048 ◽

2008 ◽

Download Full-text

Formal Goal-based Modeling of Organizations

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001735800190028 ◽

2008 ◽

Download Full-text

An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001743101900198 ◽

2008 ◽

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Interaction Protocols ◽

Multi Agent

Download Full-text

An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001732500710080 ◽

2008 ◽

Keyword(s):

Theorem Proving ◽

Object Oriented

Download Full-text

A Model Transformation Framework for Model Driven Engineering

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001732400590070 ◽

2008 ◽

Keyword(s):

Model Transformation ◽

Model Driven Engineering ◽

Model Driven

Download Full-text

The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001736301700179 ◽

2008 ◽

Keyword(s):

Conditional Probability ◽

Performance Prediction ◽

It Governance ◽

Matrix Generator

Download Full-text

Software Model Checking for Internet Protocols with Java PathFinder

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0001738600910100 ◽

2008 ◽

Cited By ~ 1

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Internet Protocols ◽

Software Model

Download Full-text

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Scitepress - Science And And Technology Publications

Integrating Formal Approaches and Simulation to Improve Reliability and Correctness ofWeb Services

Active Database System Realized by a Petri Net Approach

A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows

Weakly Continuation Closed Homomorphisms on Automata

Formal Goal-based Modeling of Organizations

An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B

An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving

A Model Transformation Framework for Model Driven Engineering

The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction

Software Model Checking for Internet Protocols with Java PathFinder

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Latest Publications