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