Embedding Requirements within the Model Driven Architecture

The Model Driven Architecture (MDA) brings benefits to software development, among them the potential for connecting software models with the business domain. This paper focuses on the upstream or Computation Independent Model (CIM) phase of the MDA. Our contention is that, whilst there are many models and notations available within the CIM Phase, those that are currently popular and supported by the Object Management Group (OMG), may not be the most useful notations for business analysts nor sufficient to fully support software requirements and specification. Therefore, with specific emphasis on the value of the Business Process Modelling Notation (BPMN) for business analysts, this paper provides an example of a typical CIM approach before describing an approach which incorporates specific requirements techniques. A framework extension to the MDA is then introduced; which embeds requirements and specification within the CIM, thus further enhancing the utility of MDA by providing a more complete method for business analysis

Tour recommendation for groups

Consider a group of people who are visiting a major touristic city, such as NY, Paris, or Rome. It is reasonable to assume that each member of the group has his or her own interests or preferences about places to visit, which in general may differ from those of other members. Still, people almost always want to hang out together and so the following question naturally arises: What is the best tour that the group could perform together in the city? This problem underpins several challenges, ranging from understanding people’s expected attitudes towards potential points of interest, to modeling and providing good and viable solutions. Formulating this problem is challenging because of multiple competing objectives. For example, making the entire group as happy as possible in general conflicts with the objective that no member becomes disappointed. In this paper, we address the algorithmic implications of the above problem, by providing various formulations that take into account the overall group as well as the individual satisfaction and the length of the tour. We then study the computational complexity of these formulations, we provide effective and efficient practical algorithms, and, finally, we evaluate them on datasets constructed from real city data

A network airline revenue management framework based on decomposition by origins and destinations

We propose a framework for solving airline revenue management problems on large networks, where the main concern is to allocate the flight leg capacities to customer requests under fixed class fares. This framework is based on a mathematical programming model that decomposes the network into origin-destination pairs so that each pair can be treated as a single flight leg problem. We first discuss that the proposed framework is quite generic in the sense that not only several well-known models from the literature fit into this framework but also many single flight leg models can be easily extended to a network setting through the prescribed construction. Then, we analyze the structure of the overall mathematical programming model and establish its relationship with other models frequently used in practice. The application of the proposed framework is illustrated through two examples based on static and dynamic single-leg models, respectively. These illustrative examples are then benchmarked against several existing methods on a set of real-life network problems

Crowdsensing-driven route optimisation algorithms for smart urban mobility

Urban rörlighet anses ofta vara en av de främsta möjliggörarna för en hållbar statsutveckling. Idag skulle det dock kräva ett betydande skifte mot renare och effektivare stadstransporter vilket skulle stödja ökad social och ekonomisk koncentration av resurser i städerna. En viktig prioritet för städer runt om i världen är att stödja medborgarnas rörlighet inom stadsmiljöer medan samtidigt minska trafikstockningar, olyckor och föroreningar. Att utveckla en effektivare och grönare (eller med ett ord; smartare) stadsrörlighet är en av de svåraste problemen att bemöta för stora metropoler. I denna avhandling närmar vi oss problemet från det snabba utvecklingsperspektivet av ITlandskapet i städer vilket möjliggör byggandet av rörlighetslösningar utan stora stora investeringar eller sofistikerad sensortenkik. I synnerhet föreslår vi utnyttjandet av den mobila rörlighetsavkännings, eng. Mobile Crowdsensing (MCS), paradigmen i vilken befolkningen exploaterar sin mobilkommunikation och/eller mobilasensorer med syftet att frivilligt samla, distribuera, lokalt processera och analysera geospecifik information. Rörlighetavkänningssdata (t.ex. händelser, trafikintensitet, buller och luftföroreningar etc.) inhämtad från frivilliga i befolkningen kan ge värdefull information om aktuella rörelsesförhållanden i stad vilka, med adekvata databehandlingsalgoriter, kan användas för att planera människors rörelseflöden inom stadsmiljön. Såtillvida kombineras i denna avhandling två mycket lovande smarta rörlighetsmöjliggörare, eng. Smart Mobility Enablers, nämligen MCS och rese/ruttplanering. Vi kan därmed till viss utsträckning sammanföra forskningsutmaningar från dessa två delar. Vi väljer att separera våra forskningsmål i två delar, dvs forskningssteg: (1) arkitektoniska utmaningar vid design av MCS-system och (2) algoritmiska utmaningar för tillämpningar av MCS-driven ruttplanering. Vi ämnar att visa en logisk forskningsprogression över tiden, med avstamp i mänskligt dirigerade rörelseavkänningssystem som MCS och ett avslut i automatiserade ruttoptimeringsalgoritmer skräddarsydda för specifika MCS-applikationer. Även om vi förlitar oss på heuristiska lösningar och algoritmer för NP-svåra ruttproblem förlitar vi oss på äkta applikationer med syftet att visa på fördelarna med algoritm- och infrastrukturförslagen.La movilidad urbana es considerada una de las principales desencadenantes de un desarrollo urbano sostenible. Sin embargo, hoy en día se requiere una transición hacia un transporte urbano más limpio y más eficiente que soporte una concentración de recursos sociales y económicos cada vez mayor en las ciudades. Una de las principales prioridades para las ciudades de todo el mundo es facilitar la movilidad de los ciudadanos dentro de los entornos urbanos, al mismo tiempo que se reduce la congestión, los accidentes y la contaminación. Sin embargo, desarrollar una movilidad urbana más eficiente y más verde (o en una palabra, más inteligente) es uno de los temas más difíciles de afrontar para las grandes áreas metropolitanas. En esta tesis, abordamos este problema desde la perspectiva de un panorama TIC en rápida evolución que nos permite construir movilidad sin la necesidad de grandes inversiones ni sofisticadas tecnologías de sensores. En particular, proponemos aprovechar el paradigma Mobile Crowdsensing (MCS) en el que los ciudadanos utilizan sus teléfonos móviles y dispositivos, para nosotros recopilar, procesar y analizar localmente información georreferenciada, distribuida voluntariamente. Los datos de movilidad recopilados de ciudadanos que voluntariamente quieren compartirlos (por ejemplo, eventos, intensidad del tráfico, ruido y contaminación del aire, etc.) pueden proporcionar información valiosa sobre las condiciones de movilidad actuales en la ciudad, que con el algoritmo de procesamiento de datos adecuado, pueden utilizarse para enrutar y gestionar el flujo de gente en entornos urbanos. Por lo tanto, en esta tesis combinamos dos prometedoras fuentes de movilidad inteligente: MCS y la planificación de viajes/rutas, uniendo en cierta medida los distintos desafíos de investigación. Hemos dividido nuestros objetivos de investigación en dos etapas: (1) Desafíos arquitectónicos en el diseño de sistemas MCS y (2) Desafíos algorítmicos en la planificación de rutas aprovechando la información del MCS. Nuestro objetivo es demostrar una progresión lógica de la investigación a lo largo del tiempo, comenzando desde los fundamentos de los sistemas de detección centrados en personas, como el MCS, hasta los algoritmos de optimización de rutas diseñados específicamente para la aplicación de estos. Si bien nos centramos en algoritmos y heurísticas para resolver problemas de enrutamiento de clase NP-hard, utilizamos ejemplos de aplicaciones en el mundo real para mostrar las ventajas de los algoritmos e infraestructuras propuestas

Agent-Based Medical Diagnosis Systems

Medical diagnostics elaboration many times is a distributed and cooperative work, which involves more medical human specialists and different medical systems. Recent results described in the literature prove that medical diagnosis problems can be solved efficiently by large-scale medical multi-agent systems. Cooperative diagnosing of medical diagnosis problems by large-scale multi-agent systems makes the diagnoses elaborations easier and may increase the accuracy of elaborated diagnostics. The purpose of the study described in this paper consists in the development of a novel large-scale hybrid medical diagnosis system called LMDS. The LMDS system is composed from physicians, medical expert system agents developed in our previous works and medical ICMA agents. Medical ICMA agents represent a novel class of agents with the ICMA architecture developed in our previous works, endowed with medical diagnosis capability. The main novelty of the LMDS system consists in the novel classes of agent members of the system and the manner in which the members of the system contribute to the problems solving. Each diagnostics can be elaborated cooperatively by more members of the system. The diagnosis system can solve difficult medical diagnosis problems whose solving must be discovered cooperatively by the members of the system. Many difficult medical problem solving requires medical knowledge that cannot be detained by a single physician or a medical computational system. Simulations prove the correctness in operation of the LMDS system

Relational Identities and Other-Than-Human Agency in Archaeology

Relational Identities and Other-than-Human Agency in Archaeology explores the benefits and consequences of archaeological theorizing on and interpretation of the social agency of nonhumans as relational beings capable of producing change in the world. The volume cross-examines traditional understanding of agency and personhood, presenting a globally diverse set of case studies that cover a range of cultural, geographical, and historical contexts. Agency (the ability to act) and personhood (the reciprocal qualities of relational beings) have traditionally been strictly assigned to humans. In case studies from Ghana to Australia to the British Isles and Mesoamerica, contributors to this volume demonstrate that objects, animals, locations, and other nonhuman actors also potentially share this ontological status and are capable of instigating events and enacting change. This kind of other-than-human agency is not a one-way transaction of cause to effect but requires an appropriate form of reciprocal engagement indicative of relational personhood, which in these cases, left material traces detectable in the archaeological record. Modern dualist ontologies separating objects from subjects and the animate from the inanimate obscure our understanding of the roles that other-than-human agents played in past societies. Relational Identities and Other-than-Human Agency in Archaeology challenges this essentialist binary perspective. Contributors in this volume show that intersubjective (inherently social) ways of being are a fundamental and indispensable condition of all personhood and move the debate in posthumanist scholarship beyond the polarizing dichotomies of relational versus bounded types of persons. In this way, the book makes a significant contribution to theory and interpretation of personhood and other-than-human agency in archaeology.https://cupola.gettysburg.edu/books/1141/thumbnail.jp