19th of June

  • 17:00 - 18:30 Evolving the Automated Analysis of Feature Models. (Auditorium N) Pablo Trinidad and Antonio Ruiz-Cortés: This tutorial present the basis of the automated analysis of feature models (AAFM). Moreover, relying on the notion of Deduction and Abduction Problems from Artificial Intelligence, the authors propose Stateful Feature Models (SFMs). The authors also demonstrate how the proposal of a new model presents the opportunity to review the entire catalogue of AAFM operations and to put forth an approach for Automated Analysis of SFMs (AASFM).
  • 17:00 - 18:30 The Role of Conceptual Modeling in Enabling Open Innovation. (Conference Room J) Hans Weigand: This tutorial elaborates on how conceptual modeling (in particular, a variant of e3-value named value encounter modeling) can be used to support open innovation projects.
  • 17:00 - 18:30 Security Requirements Engineering for Socio-Technical Systems. (Conference Room G) Fabiano Dalpiaz and Paolo Giorgini: This tutorial present a tool supported method for Security Requirements Engineering (STS-ml). The presented method exploits automated analysis techniques to detect inconsistencies and conflicts among requirements, and is able to automatically generate security requirements specification documents.
  • 17:00 - 18:30 Ontology-Driven Re-engineering of Business Systems. (Sala Innova - 4th floor B) Chris Partridge and Sergio de Cesare:  This tutorial present an introduction to the BORO methodology, an ontology-based systems engineering approach. The authors present both the ontological foundations of the approach as well as business examples of the application of this approach.