| Vol-805 urn:nbn:de:0074-805-4 Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# KESE 7
7th Workshop on Knowledge Engineering and Software Engineering

### Proceedings of 7th Workshop on Knowledge Engineering and Software Engineering (KESE7)
at the 14th Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011)

### La Laguna, Tenerife, Spain, November 10, 2011.

Edited by

### Joaquín Cañadas *
Grzegorz J. Nalepa **
Joachim Baumeister ***

* University of Almería, Department of Languages and Computation, Ctra. Sacramento s/n, 04120, Almería, Spain
** AGH University of Science and Technology, Institute of Automatics, Al. Mickiewicza 30, 30-059 Kraków, Poland
*** University of Würzburg, Department of Computer Science VI, Am Hubland, 97074 Würzburg, Germany

## Table of Contents

Preface

1. OntoMetaWorkflow: An Ontology for Representing Data and Users in Workflows (extended abstract)
   Alvaro Prieto, Adolfo Lozano-Tello, José Luis Redondo-García
2. Anomaly Detection in DiaFlux Models
   Reinhard Hatko, Gritje Meinke, Joachim Baumeister, Stefan Mersmann, Frank Puppe
3. Proposal of a Hierarchical Approach to Formal Verification of BPMN Models Using Alvis and XTT2 Methods
   Krzysztof Kluza, Grzegorz J. Nalepa, Marcin Szpyrka, Antoni Ligęza
4. Architecture for the Use of Synergies between Knowledge Engineering and Requirements Engineering (extended abstract)
   José del Sagrado, Isabel M. del Águila, Francisco J. Orellana
5. Mashups: Behavior in Context(s)
   Emilian Pascalau
6. Model-Driven Rich User Interface Generation from Ontologies for Data-Intensive Web Applications
   Joaquín Cañadas, Jose Palma, Samuel Túnez
7. Loki - Presentation of Logic-based Semantic Wiki (Tool presentation)
   Weronika T. Adrian, Grzegorz J. Nalepa

05-Nov-2011: submitted by Joaquín Cañadas / Grzegorz J. Nalepa / Joachim Baumeister
08-Nov-2011: published on CEUR-WS.org