MSVVEIS 2008:
Barcelona,
Spain
Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto (Eds.):
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008.
INSTICC PRESS 2008, ISBN 978-989-8111-43-2 
Invited Speakers
- María Victoria Cengarle:
Approaches to an All-encompassing Formal Semantics for the UML.
3-4
- Vincent Chapurlat:
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities.
5-6
Full Papers
- Amelia Badica, Costin Badica:
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP.
9-18
- Viara Popova, Alexei Sharpanskykh:
Formal Goal-based Modeling of Organizations.
19-28
- Oana Otilia Prisecaru:
A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows.
29-38
- Thierry Nicola, Ulrich Ultes-Nitsche:
Weakly Continuation Closed Homomorphisms on Automata.
39-48
- Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche:
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.
49-58
- Hongming Liu, Xiaoping Jia, Lizhang Qin, Adam Steele:
A Model Transformation Framework for Model Driven Engineering.
59-70
- Kenro Yatake, Takuya Katayama:
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.
71-80
- Matthias Wester-Ebbinghaus, Daniel Moldt:
Modelling Multi-Agent Systems with Organizations in Mind.
81-90
- Jesús Martínez, Cristóbal Jiménez:
Software Model Checking for Internet Protocols with Java PathFinder.
91-100
- Linda Terlouw:
Comparing Methodologies for Service-Orientation using the Generic System Development Process.
101-108
- Lawrence Cabac, Ragna Dirkner, Daniel Moldt:
Modeling with Service Dependency Diagrams.
109-118
- Sérgio Agostinho, Pedro Guerreiro, Hugo Taborda:
An Aspect for Design by Contract in Java.
119-128
- Liam Peyton, Bo Zhan, Bernard Stepien:
A Case Study in Integrated Quality Assurance for Performance Management Systems.
129-138
Posters
- Ammar Mohammed, Ulrich Furbach:
Modeling Multi-agent Logistic Process System using Hybrid Automata.
141-149
- Lorena Chavarría-Báez, Xiaoou Li:
Active Database System Realized by a Petri Net Approach.
150-159
- André Bögelsack, Holger Jehle, Holger Wittges, Jörg Schmidl, Helmut Krcmar:
An Approach to Simulate Enterprise Resource Planning Systems.
160-169
- Mårten Simonsson, Robert Lagerström, Pontus Johnson:
The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction.
170-179
- George Eleftherakis, Ognen Paunovski:
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.
180-189
- Leila Jemni Ben Ayed, Fatma Siala:
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
190-198
Last update Mon Feb 13 04:42:55 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
