Manuel Noguera

Definition and use of Computation Independent Models in an MDA-based groupware development process

Groupware systems allow users to be part of a shared environment in order to carry out groupwork. Members of a group belong to organizations in which each one fulfils general and specific enterprise objectives. This paper presents a proposal, from the perspective of the CSCW (Computer-Supported Cooperative Work) systems, for modelling enterprise organization and developing groupware applications. This research work focuses on two specific models for the proposal: a conceptual domain model formalized through a domain ontology, and a system model built using a UML-based notation. The second stems from the first and each provides a Computation Independent View (CIV) with different objectives. Respectively, they allow a common vocabulary for knowledge sharing to be established, and organization functional requirements to be specified, particularly those concerning communication, coordination and collaboration. Furthermore, these models are part of a concrete MDA-based development process of groupware applications that is also introduced.

Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN

A key ingredient in system and organization modeling is modeling business processes that involve the collaborative participation of different teams within and outside the organization. Recently, the use of the Unified Modeling Language (UML) for collaborative business modeling has been increasing, thanks to its human-friendly visual representation of a rich set of structural and behavioral views, albeit its unclear semantics. In the meantime, the use of the Web Ontology Language (OWL) has also been emerging, thanks to its clearly-defined semantics, hence being amenable to automatic analysis and reasoning, although it is less human friendly than, and also perhaps not as rich as, the UML notation - especially concerning processes, or activities. In this paper, we view the UML and the OWL as being complementary to each other, and exploit their relative strengths. We provide a mapping between the two, through a set of mapping rules, which allow for the capture of UML activity diagrams in an OWL-ontology. This mapping, which results in a formalization of collaborative processes, also sets a basis for subsequent construction of executable models using the Colored Petri Nets (CPN) formalism. For this purpose, we also provide appropriate mappings from OWL-based ontological elements into CPN elements. A case study of a mortgage granting system is described, along with the potential benefits and limitations of our proposal.

REUBI: A Requirements Engineering method for ubiquitous systems

Recent technological advances are increasing the spread of Ubiquitous Computing, leading to the appearance of numerous software systems, which benefit from the features of this new paradigm. Nevertheless, there are a lack of methodologies to properly support the development process of these systems. An important part of the Software Engineering lifecycle is the Requirements Engineering stage, as it grounds the bases for system design for their success. In particular, systematically addressing Non-Functional Requirements such as dynamicity and adaptation, that are important features of ubiquitous systems, eventually leads to higher quality designs. In this paper, a Requirements Engineering Method for the analysis of Ubiquitous Systems, called REUBI, is introduced. It is a goal-based method that represents the influence of context and adverse situations, providing an evaluation procedure to help in the decision making about objectives satisfaction. The proposal is illustrated through the analysis of a Positioning Service of a real system. Additionally, the application of the method has been evaluated by a team of software engineers for the analysis of an Ambient Assisted Living (AAL) health care system.

A Communication Model to Integrate the Request-Response and the Publish-Subscribe Paradigms into Ubiquitous Systems

The Request-Response (RR) paradigm is widely used in ubiquitous systems to exchange information in a secure, reliable and timely manner. Nonetheless, there is also an emerging need for adopting the Publish-Subscribe (PubSub) paradigm in this kind of systems, due to the advantages that this paradigm offers in supporting mobility by means of asynchronous, non-blocking and one-to-many message distribution semantics for event notification. This paper analyzes the strengths and weaknesses of both the RR and PubSub paradigms to support communications in ubiquitous systems and proposes an abstract communication model in order to enable their seamless integration. Thus, developers will be focused on communication semantics and the required quality properties, rather than be concerned about specific communication mechanisms. The aim is to provide developers with abstractions intended to decrease the complexity of integrating different communication paradigms commonly needed in ubiquitous systems. The proposal has been applied to implement a middleware and a real home automation system to show its applicability and benefits.

Analyzing a firm's international portfolio of technological knowledge: A declarative ontology-based OWL approach for patent documents

Patent databases contain large amounts of information about the inventions and metadata of corporate patents (such as the technological domain they belong to, their applicants, and inventors). These databases are available online but since they do not provide explicit information about the relationships between different patent metadata, it is not possible for computers to automatically process such relationships. Several patent ontologies have been proposed so far in order to provide patent knowledge bases with semantics by merging information from different databases and establishing a common vocabulary. However, previous ontology literature has paid limited attention to the representation of specific relationships among metadata and the design of reasoning procedures that would allow some information not explicitly specified in the databases or ontologies to be inferred. This article proposes a methodological approach for the definition of relationships and reasoning tasks for patent analysis by using patent ontologies, and provides a real illustration of its potential in the context of international flows of research knowledge. This declarative method is based on the formal definition of key patent analysis indicators (KPAIs). The case study analysis is relevant because global competition and the importance of multinational firms in the patent process have resulted in firms not only patenting on their domestic markets but also transferring their patents to other markets and developing patents in different countries. In this context, it is important to analyze the connections between the patenting processes and the international knowledge flows of research and development. More specifically, the paper illustrates the applicability of the proposed methodology by classifying patents into the five patterns of internationalization identified by the Organization for Economic Co-operation and Development (OECD).

Using a CBR Approach Based on Ontologies for Recommendation and Reuse of Knowledge Sharing in Decision Making

One of the possibilities for improving decision processes, and the knowledge management across interacting organizations is to explore successful past experiences. Case-based reasoning (CBR) is a problem solving strategy which is based on the reuse of past solutions (cases) to address new problems. Ontologies are a means to facilitate sharing and reuse of bodies of knowledge across organizations and applications on the basis of a well-defined and precise semantics for concepts and terms. This work presents a proposal aimed at knowledge reuse, during the decision activities by means of interwoven concepts from the knowledge management, CBR and ontologies research. This blended approach presents an ontological case construction for CBR systems as theoretical and empirical support for knowledge sharing. We obtain a formal characterization of a case by means of an ontological description of particular cases, and their interrelationships with cases stored in different case-repositories. An architecture for a distributed CBR system is proposed on the basis of a multiagent setting for semantic-based access to knowledge.

Goal-Oriented Software Architecting

Designing software architectures to meet both functional and non-functional requirements (FRs and NFRs) is difficult as it oftentimes relies on the skill and experience of the architect, and the resulting architectures are rarely derived directly from the requirements models. As a result, the relationships between the two artifacts are not explicitly captured, making it difficult to reason more precisely whether an architecture indeed meets its requirements, and if yes, why. This chapter presents a goal-oriented software architecting approach, where FRs and NFRs are treated as goals to be achieved, which are refined and used to explore achievement alternatives. The chosen alternatives and the goal model are then used to derive, using the provided mapping rules, a logical architecture, which is further mapped to a final concrete architecture by applying an architectural style and architectural patterns chosen based on the NFRs. The approach has been applied in an empirical study based on the 1992 London ambulance dispatch system.

Nutrition for Elder Care: a nutritional semantic recommender system for the elderly

The awareness and familiarity of elderly people with the use of new technologies have increased considerably in the last few years, which consequently cause a higher willingness to the use of these technologies in their daily lives. This allows the elderly to benefit from technology through active and conscious participation in activities related to health, leisure and promotion of social relationships, fostering active ageing. Three large dimensions cover almost a major part of health care within the framework of early and intermediate stages of active ageing: physical exercise, healthy nutrition and cognitive stimulation. In this paper, we present a nutritional recommender system, Nutrition for Elder Care, intended to help elderly users to draw up their own healthy diet plans following the nutritional experts guidelines. The system has been developed with the intensive use of Semantic Web technologies pursuing knowledge sharing and reuse between different applications and agents and the discovering of implicit new knowledge.

Zappa: An Open Mobile Platform to Build Cloud-Based m-Health Systems

Cloud computing and associated services are changing the way in which we manage information and access data. E-health services are not impermeable to novel technologies, especially those that involve mobile devices. At present, many patient monitoring m-health (mobile-health) platforms consist of close, vendor-dependent solutions based on particular architectures and technologies offering a limited set of interfaces to interoperate with. This fact hinders to advance in quality attributes such as customization, adaptation, extension, interoperability and even transparency of cloud infrastructure of existing solutions according to the specific needs of their users (patients and physicians). This paper presents an extensible, scalable, highly-interoperable and customizable platform called Zappa, designed to support e-Health/m-Health systems and that is able to operate in the cloud. The platform is based on components and services architecture, as well as on open and close source hardware and open-source software that reduces its acquisition and operation costs. The platform has been used to develop several remote mobile monitoring m-health systems.

Leveraging the linda coordination model for a groupware architecture implementation

Functional and non-functional requirements must be taken into account early in the development process of groupware applications in order to make appropriate design decisions, e.g. spatial distribution of group members and group awareness, which are related to the main characteristics exhibited by CSCW systems (communication, coordination and collaboration). This research work presents a proposal intended to facilitate the development of groupware applications considering non-functional requirements such as reusability, scalability, etc. In order to achieve these objectives, the proposal focuses on the architectural design and its implementation, with emphasis on the use of a realization of the technological Linda coordination model as the basis for this implementation. The outcome is a distributed architecture where application components are replicated and event control is separated. This work is part of a conceptual and methodological framework (AMENITIES) specially devised to study and develop these systems.