Abstract is missing.
- Approaches to an All-encompassing Formal Semantics for the UMLMaría Victoria Cengarle. 3-4
- Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and OpportunitiesVincent Chapurlat. 5-6
- Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSPAmelia Badica, Costin Badica. 9-18
- Formal Goal-based Modeling of OrganizationsViara Popova, Alexei Sharpanskykh. 19-28
- A Petri Net based Approach to Modelling Resource Constrained Interorganizational WorkflowsOana Otilia Prisecaru. 29-38
- Weakly Continuation Closed Homomorphisms on AutomataThierry Nicola, Ulrich Ultes-Nitsche. 39-48
- Checking Inherently Fair Linear-Time Properties in a Non-Naïve WayThierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche. 49-58
- A Model Transformation Framework for Model Driven EngineeringHongming Liu, Xiaoping Jia, Lizhang Qin, Adam Steele. 59-70
- An Executable Semantics of Object-oriented Models for Simulation and Theorem ProvingKenro Yatake, Takuya Katayama. 71-80
- Modelling Multi-Agent Systems with Organizations in MindMatthias Wester-Ebbinghaus, Daniel Moldt. 81-90
- Software Model Checking for Internet Protocols with Java PathFinderJesús Martínez, Cristóbal Jiménez. 91-100
- Comparing Methodologies for Service-Orientation using the Generic System Development ProcessLinda Terlouw. 101-108
- Modeling with Service Dependency DiagramsLawrence Cabac, Ragna Dirkner, Daniel Moldt. 109-118
- An Aspect for Design by Contract in JavaSérgio Agostinho, Pedro Guerreiro, Hugo Taborda. 119-128
- A Case Study in Integrated Quality Assurance for Performance Management SystemsLiam Peyton, Bo Zhan, Bernard Stepien. 129-138
- Modeling Multi-agent Logistic Process System using Hybrid AutomataAmmar Mohammed, Ulrich Furbach. 141-149
- Active Database System Realized by a Petri Net ApproachLorena Chavarría-Báez, Xiaoou Li. 150-159
- An Approach to Simulate Enterprise Resource Planning SystemsAndré Bögelsack, Holger Jehle, Holger Wittges, Jörg Schmidl, Helmut Krcmar. 160-169
- The Linear Conditional Probability Matrix Generator for IT Governance Performance PredictionMårten Simonsson, Robert Lagerström, Pontus Johnson. 170-179
- Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web ServicesGeorge Eleftherakis, Ognen Paunovski. 180-189
- An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event BLeila Jemni Ben Ayed, Fatma Siala. 190-198