14 research outputs found
IAF Jahresbericht 2002
IAF- bzw. Forschungsjahresbericht 2002 der Fachhochschule Konstanz, Institut für Angewandte Forschun
Specification of requirements models
The main aim of this chapter is to present and discuss a set of modeling and specification techniques, in what concerns their ontology and support in the requirements representation of computer-based systems. A systematic classification
of meta-models, also called models of computation, is presented. This topic is highly relevant since it supports the definition of sound specification methodologies in relation to the semantic definition of the modeling views to adopt for a given system. The usage and applicability of Unified Modeling Language (UML) diagrams is also related to their corresponding meta-models. A set of desirable
characteristics for the specification methodologies is presented and justified to allow system designers and requirements engineers to more consciously define or choose a particular specification methodology. A heuristic-based approach to support
the transformation of user into system requirements is suggested, with some graphical examples in UML notation.(undefined
The relationship between search based software engineering and predictive modeling
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solutions and to yield insight. SBSE techniques can cater for multiple, possibly competing objectives and/or constraints and applications where the potential solution space is large and complex. This paper will provide a brief overview of SBSE, explaining some of the ways in which it has already been applied to construction of predictive models. There is a mutually beneficial relationship between predictive models and SBSE. The paper sets out eleven open problem areas for Search Based Predictive Modeling and describes how predictive models also have role to play in improving SBSE
Multi-Agent Systems
A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems which are difficult or impossible for an individual agent or monolithic system to solve. Agent systems are open and extensible systems that allow for the deployment of autonomous and proactive software components. Multi-agent systems have been brought up and used in several application domains
Micro-intelligence for the IoT: logic-based models and technologies
Computing is moving towards pervasive, ubiquitous environments in which devices, software agents and services are all expected to seamlessly integrate and cooperate in support of human objectives.
An important next step for pervasive computing is the integration of intelligent agents that employ knowledge and reasoning to understand the local context and share this information in support of intelligent applications and interfaces. Such scenarios, characterised by "computation everywhere around us", require on the one hand software components with intelligent behaviour in terms of objectives and context, and on the other their integration so as to produce social intelligence.
Logic Programming (LP) has been recognised as a natural paradigm for addressing the needs of distributed intelligence. Yet, the development of novel architectures, in particular in the context Internet of Things (IoT), and the emergence of new domains and potential applications, are creating new research opportunities where LP could be exploited, when suitably coupled with agent technologies and methods so that it can fully develop its potential in the new context. In particular, the LP and its extensions can act as micro-intelligence sources for the IoT world, both at the individual and the social level, provided that they are reconsidered in a renewed architectural vision. Such micro-intelligence sources could deal with the local knowledge of the devices taking into account the domain specificity of each environment.
The goal of this thesis is to re-contextualise LP and its extensions in these new domains as a source of micro-intelligence for the IoT world, envisioning a large number of small computational units distributed and situated in the environment, thus promoting the local exploitation of symbolic languages with inference capabilities. The topic is explored in depth and the effectiveness of novel LP models and architectures -and of the corresponding technology- expressing the concept of micro-intelligence is tested
Embedding requirements within the model driven architecture.
The Model Driven Architecture (MDA) is offered as one way forward in software systems modelling to connect software design with the business domain. The general focus of the MDA is the development of software systems by performing transformations between software design models, and the automatic generation of application code from those models. Software systems are provided by developers, whose
experience and models are not always in line with those of other stakeholders, which presents a challenge for the community. From reviewing the available literature, it is found that whilst many models and notations are available, those that are significantly supported by the MDA may not be best for use by non technical stakeholders. In addition, the MDA does not explicitly consider requirements and specification. This research begins by investigating the adequacy of the MDA requirements phase and examining the
feasibility of incorporating a requirements definition, specifically focusing upon model transformations. MDA
artefacts were found to serve better the software community and requirements were not appropriately integrated within the MDA, with significant extension upstream being required in order to sufficiently accommodate the business user in terms of a requirements definition. Therefore, an extension to the MDA framework is offered that directly addresses Requirements Engineering (RE), including the distinction of
analysis from design, highlighting the importance of specification. This extension is suggested to further the
utility of the MDA by making it accessible to a wider audience upstream, enabling specification to be a direct
output from business user involvement in the requirements phase of the MDA. To demonstrate applicability, this research illustrates the framework extension with the provision of a method and discusses the use of the
approach in both academic and commercial settings. The results suggest that such an extension is academically viable in facilitating the move from analysis into the design of software systems, accessible for business use and beneficial in industry by allowing for the involvement of the client in producing models sufficient enough for use in the development of software systems using MDA tools and techniques
Combining SOA and BPM Technologies for Cross-System Process Automation
This paper summarizes the results of an industry case study that introduced a cross-system business process automation solution based on a combination of SOA and BPM standard technologies (i.e., BPMN, BPEL, WSDL). Besides discussing major weaknesses of the existing, custom-built, solution and comparing them against experiences with the developed prototype, the paper presents a course of action for transforming the current solution into the proposed solution. This includes a general approach, consisting of four distinct steps, as well as specific action items that are to be performed for every step. The discussion also covers language and tool support and challenges arising from the transformation
Una arquitectura para sistemas de ubicación
Los modelos de ubicación se desarrollan con el fin de expresar las relaciones físicas entre los objetos. Como todo modelo, puede ocurrir que surjan nuevos requerimientos luego de que este fue puesto en producción y que estos provoquen modificaciones en el modelo original. Dependiendo de cuán correcto y con qué fin fue diseñado, estos cambios pueden provocar que el modelo quede obsoleto y se tenga que rediseñar.
Los modelos de ubicación existentes (Capítulo 2 y 3) son adecuados dependiendo del tipo de aplicación que estemos desarrollando. Por lo tanto debemos conocer con anterioridad cuales son los requerimientos que esta posee para tomar la decisión de cual de ellos elegir. Si tomamos en cuenta que con la aparición de los dispositivos móviles los requerimientos pueden ser aún más cambiantes y que los modelos de ubicaciones podrán ser utilizados por múltiples aplicaciones, es probable que en un tiempo menor al esperado nuestro modelo quede obsoleto.
Los modelos actuales intentan modelar a la ubicación como algo formalizable lo cual provoca que los mecanismos para agregar semántica a las ubicaciones no sean tomados en cuenta. Por este motivo, el primer objetivo que tiene este trabajo es el de proveer un modelo que permita enriquecer semánticamente a las ubicaciones de manera que los problemas de escalabilidad encontrados en las implementaciones actuales desaparezcan. De esta manera se permitirá que un modelo evolucione agregando semántica mediante distintas representaciones de una misma ubicación.Facultad de Informátic
Una arquitectura para sistemas de ubicación
Los modelos de ubicación se desarrollan con el fin de expresar las relaciones físicas entre los objetos. Como todo modelo, puede ocurrir que surjan nuevos requerimientos luego de que este fue puesto en producción y que estos provoquen modificaciones en el modelo original. Dependiendo de cuán correcto y con qué fin fue diseñado, estos cambios pueden provocar que el modelo quede obsoleto y se tenga que rediseñar.
Los modelos de ubicación existentes (Capítulo 2 y 3) son adecuados dependiendo del tipo de aplicación que estemos desarrollando. Por lo tanto debemos conocer con anterioridad cuales son los requerimientos que esta posee para tomar la decisión de cual de ellos elegir. Si tomamos en cuenta que con la aparición de los dispositivos móviles los requerimientos pueden ser aún más cambiantes y que los modelos de ubicaciones podrán ser utilizados por múltiples aplicaciones, es probable que en un tiempo menor al esperado nuestro modelo quede obsoleto.
Los modelos actuales intentan modelar a la ubicación como algo formalizable lo cual provoca que los mecanismos para agregar semántica a las ubicaciones no sean tomados en cuenta. Por este motivo, el primer objetivo que tiene este trabajo es el de proveer un modelo que permita enriquecer semánticamente a las ubicaciones de manera que los problemas de escalabilidad encontrados en las implementaciones actuales desaparezcan. De esta manera se permitirá que un modelo evolucione agregando semántica mediante distintas representaciones de una misma ubicación.Facultad de Informátic
About model-based approaches in pervasive information systems development
Tese de doutoramento em Tecnologias e Sistemas de InformaçãoUbiquitous computing is a research field of computing technology with a growing number
of researchers and represents a new direction on the thinking about the integration and
use of computers in people’s lives. It aims to achieve a new computing paradigm, one in
which there is a high degree of pervasiveness and widespread availability of computers or
other IT devices, usually with communication capabilities, in the physical environment.
Model-Driven Development (MDD) constitutes an approach to software design and
development that strongly focuses and relies on models, through which we build
software-platform independent models. Several contributions of MDD are: gains of
productivity; concepts closer to domain and reduction of semantic gap; automation and
less sensitivity to technological changes; and capture of expert knowledge and reuse.
This thesis aims to contribute for the appropriate use of model-based/driven
development approaches in software development for pervasive information systems
(PIS). This work considers a case study research strategy. It uses two projects developed
in the field of ubiquitous and mobile computing that directed their software development
to a model-based/driven approach.
This thesis describes and analyses the projects. Each one of the project is formalized in a
SPEM 2.0 model that presents the main elements of the project. This SPEM model allows
perceiving the structure and elements of the project, along with some issues and facts of
the project. This thesis conceives a development framework that introduces several
useful conceptions. Among these conceptions are the dimensions of development,
functional profiles, resources categories, functional profile instances, global and
elementary development process. In consonance with this development framework, the
thesis proposes a SPEM 2.0 Base Plug-In extension and a development framework pattern
to assist in the analysis of the projects. The SPEM 2.0 Base Plug-In extension defines
elements that are fundamental to the definition and application of the development
framework pattern. The development framework pattern is applied to each of the
projects to facilitate the analysis. From the analysis of the projects, the thesis synthesizes
a set of guidelines and insight related to the adoption of model-based/driven approaches
to pervasive information system development.A computação ubíqua é um campo de investigação de tecnologia de computação com um
número crescente de investigadores e representa uma nova direcção no pensamento
sobre a integração e o uso de computadores na vida das pessoas. O objectivo é alcançar
um novo paradigma de computação em que há um alto grau de abrangência e ampla
disponibilidade de computadores ou outros dispositivos de tecnologias de informação,
geralmente com recursos de comunicação, no ambiente físico.
Model-Driven Development (MDD), constitui uma abordagem de desenho e
desenvolvimento de software que se baseia em modelos, através da qual construímos
modelos de plataforma de software independentes. Várias contribuições de MDD são:
ganhos de produtividade; conceitos mais próximos ao domínio e à redução do salto
semântico; automação e menor sensibilidade às mudanças tecnológicas; captura de
conhecimento especializado e reutilização.
Esta tese visa contribuir para a adequada utilização de abordagens de desenvolvimento
baseadas/conduzidas por modelos no desenvolvimento de software para sistemas de
informação “pervasive” (PIS). Esta tese apresenta uma estratégia de investigação de
estudo de caso. Usa, como estudos de caso, dois projectos desenvolvidos no campo da
computação ubíqua e móvel, e os quais dirigiram o seu desenvolvimento de software
para uma abordagem baseada/conduzida por modelos.
Esta tese descreve e analisa os projectos; cada um dos projectos é formalizado num
modelo SPEM 2.0 que apresenta os elementos principais do projecto. Este modelo SPEM
permite perceber a estrutura e os elementos do projecto, juntamente com alguns
problemas e factos do projecto. Esta tese concebe uma estrutura de desenvolvimento
que apresenta várias concepções úteis. Entre essas concepções estão as dimensões de
desenvolvimento, os perfis funcionais, as categorias de recursos, instâncias de perfil
funcional, os processos de desenvolvimento global e elementar. Em consonância com
esta estrutura de desenvolvimento, a tese propõe uma extensão ao SPEM 2.0 Base Plug-
In e um padrão de desenvolvimento para auxiliarem a análise dos projectos. A extensão
ao SPEM 2.0 Base Plug-In define elementos que são fundamentais para a definição e
aplicação do padrão de estrutura de desenvolvimento. O padrão de estrutura de
desenvolvimento é aplicado a cada um dos projectos para facilitar a sua análise. A partir
da análise dos projectos, a tese sintetiza um conjunto de directrizes e de ilações
relacionadas com a adopção de abordagens MDD para o desenvolvimento de PIS.Programa Operacional Educacional (PRODEP), e do Instituto Politécnico de
Bragança, através da sua Escola Superior de Tecnologia e de Gestão.Instituto Politécnico de Bragança. Escola Superior de Tecnologia e de Gestã