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 BibTeX
Invited Speakers
Full Papers
- Amelia Badica, Costin Badica:
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP.
9-18 BibTeX
- Viara Popova, Alexei Sharpanskykh:
Formal Goal-based Modeling of Organizations.
19-28 BibTeX
- Oana Otilia Prisecaru:
A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows.
29-38 BibTeX
- Thierry Nicola, Ulrich Ultes-Nitsche:
Weakly Continuation Closed Homomorphisms on Automata.
39-48 BibTeX
- Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche:
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.
49-58 BibTeX
- Hongming Liu, Xiaoping Jia, Lizhang Qin, Adam Steele:
A Model Transformation Framework for Model Driven Engineering.
59-70 BibTeX
- Kenro Yatake, Takuya Katayama:
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.
71-80 BibTeX
- Matthias Wester-Ebbinghaus, Daniel Moldt:
Modelling Multi-Agent Systems with Organizations in Mind.
81-90 BibTeX
- Jesús Martínez, Cristóbal Jiménez:
Software Model Checking for Internet Protocols with Java PathFinder.
91-100 BibTeX
- Linda Terlouw:
Comparing Methodologies for Service-Orientation using the Generic System Development Process.
101-108 BibTeX
- Lawrence Cabac, Ragna Dirkner, Daniel Moldt:
Modeling with Service Dependency Diagrams.
109-118 BibTeX
- Sérgio Agostinho, Pedro Guerreiro, Hugo Taborda:
An Aspect for Design by Contract in Java.
119-128 BibTeX
- Liam Peyton, Bo Zhan, Bernard Stepien:
A Case Study in Integrated Quality Assurance for Performance Management Systems.
129-138 BibTeX
Posters
- Ammar Mohammed, Ulrich Furbach:
Modeling Multi-agent Logistic Process System using Hybrid Automata.
141-149 BibTeX
- Lorena Chavarría-Báez, Xiaoou Li:
Active Database System Realized by a Petri Net Approach.
150-159 BibTeX
- André Bögelsack, Holger Jehle, Holger Wittges, Jörg Schmidl, Helmut Krcmar:
An Approach to Simulate Enterprise Resource Planning Systems.
160-169 BibTeX
- Mårten Simonsson, Robert Lagerström, Pontus Johnson:
The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction.
170-179 BibTeX
- George Eleftherakis, Ognen Paunovski:
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.
180-189 BibTeX
- 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 BibTeX
Copyright © Sat May 16 23:47:03 2009
by Michael Ley (ley@uni-trier.de)