Abstract
Relational algebra offers to software engineering the same degree of conciseness and calculational power as linear algebra in other engineering disciplines. Binary relations play the role of matrices with similar emphasis on multiplication and transposition. This matches with Alloy's lemma "everything is a relation" and with the relational basis of the Algebra of Programming (AoP). Altogether, it provides a simple and coherent approach to checking and calculating programs from abstract models. In this paper, we put Alloy and the Algebra of Programming together in a case study originating from the Verifiable File System mini-challenge put forward by Joshi and Holzmann: verifying the refinement of an abstract file store model into a journaled (FLASH) data model catering to wear leveling and recovery from power loss. Our approach relies on diagrams to graphically express typed assertions. It interweaves model checking (in Alloy) with calculational proofs in a way which offers the best of both worlds. This provides ample evidence of the positive impact in software verification of Alloy's focus on relations, complemented by induction-free proofs about data structures such as stores and lists.

Abstract
Recent changes in electricity markets (EMs) have been potentiating the globalization of distributed generation. With distributed generation the number of players acting in the EMs and connected to the main grid has grown, increasing the market complexity. Multi-agent simulation arises as an interesting way of analysing players' behaviour and interactions, namely coalitions of players, as well as their effects on the market. MASCEM was developed to allow studying the market operation of several different players and MASGriP is being developed to allow the simulation of the micro and smart grid concepts in very different scenarios This paper presents a methodology based on artificial intelligence techniques (AI) for the management of a micro grid. The use of fuzzy logic is proposed for the analysis of the agent consumption elasticity, while a case based reasoning, used to predict agents' reaction to price changes, is an interesting tool for the micro grid operator. © 2013 IEEE.

Abstract
Information Systems (IS) and Technologies assume a wide variety of roles within companies, ranging from operational to strategic support of the company. This fact puts pressure on managers, who are required to manage these investments properly. This chapter presents a study conducted with several Chief Information Officers from large Iberian companies with the purpose of identifying and characterizing the roles played by IS and the motivations currently behind their adoption. The findings of this study reveal the reasons why IS and technologies are being adopted by Iberian companies are evolving and that, while the adoption of certain types of systems such as Enterprise Resource Planning systems is now consolidated, the adoption of other systems like Business Intelligence is expected to increase significantly in the near future.

Abstract

Abstract
Knowledge is an important resource for organisations, and being able to manage it is a key factor for success. New information management and knowledge sharing approaches should be able to cope not only with possible variations in business situations and contexts, but also with various and sometimes discordant viewpoints, which are inherent to collaborative environments. Developing, reusing and maintaining common interpretations of available information is crucial to support real-word organisational activities. The particularly challenging problem of knowledge elicitation is tackled here combining terminological and knowledge representation views. A corpus-based conceptual modelling architecture was designed and discussed together with the workflows for real-time context retrieval and lexical pattern discovery. The practical implementation and validation of this work are accomplished on the ConceptME system, a platform developed as part of this research line, providing knowledge and terminological tools and resources to support activities that involve collaborative conceptualisation processes according to the ColBlend method.

Abstract
To cope with the needs raised by the demographic changes in our society, several Ambient-Assisted Living (AAL) technologies have emerged in recent years, but those 'first offers' are often monolithic, incompatible and thus expensive and potentially not sustainable. The AAL4ALL project aims at improving that situation through the development of an open ecosystem of interoperable products and services for AAL, tied together via an integration infrastructure. To that end, the project encompasses the specification of a set of reference models and requirements for interoperable products and services, against which candidate products and services can be tested and certified, and subsequently integrated as components of the ecosystem. This paper proposes a testing and certification methodology for such an ecosystem. © 2013 IEEE.