From ACT-ONE to Miranda, a Translation Experiment

It is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response to this the LOTOS restandardisation activity plans to replace ACT-ONE with a functional language. Thus, compatibility between ACT-ONE and the replacement data language becomes an issue. In response to this, we present an experimental investigation of backward compatibility between ACT-ONE and the new LOTOS data language. Specifically, we investigate translating ACT-ONE data types into the functional language Miranda. Miranda has been chosen as it is a widely used functional programming language and it is close in form to the anticipated new data language. This work serves as a ``verification of concept'' for translating ACT-ONE to the E-LOTOS data language. It identifies the bounds on embedding ACT-ONE in a functional data language. In particular, it indicates what can be translated and what cannot be translated. In addition, the paper reveals pertinent issues which can inform the E-LOTOS work. For example, which constructs are needed in E-LOTOS in order to support the class of data type specifications typically made in the LOTOS setting? We conclude with a number of specific recommendations for the E-LOTOS data language

The smart home: how consumers craft new service networks by combining heterogeneous smart domestic products

Service research suggests homes are becoming increasingly connected as consumers automate and personalize new forms of service provision. Yet large-scale empirical evidence on how and why consumers automate smart domestic products is lacking. To address this knowledge gap we analyze 13,905 consumer-crafted, automated combinations of smart domestic products, totaling 1,144,094 installations, across 253 separate service providers on the Web service IFTTT.com. An exploratory network analysis examines the topology of the network and an interpretive coding exercise reveals how consumers craft different styles of human-computer interaction to co-create value. The results reveal the smart domestic product network is disassortative, imbalanced, has a long-tailed degree distribution, and that popular services have high centrality across all product category combinations. We show that popular combinations of smart domestic products are primarily motivated by utilitarian value seeking enacted through a preference for automated tasks outside of conscious attention, though more individualistic combinations are slightly more likely to be hedonistically inclined. We conclude by showing how these consumer-crafted forms of service provision within domestic environments reveal design redundancy and opportunities for service innovation

Experimenting with computing

AbstractWe distinguish two kinds of experimental activity: post-theory and exploratory. Post-theory experiment enjoys computer support that is well-aligned to the classical theory of computation. Exploratory experiment, in contrast, arguably demands a broader conception of computing. Empirical Modelling (EM) is proposed as a more appropriate conceptual framework in which to provide computational support for exploratory experiment. In the process, it promises to provide integrated computational support for both exploratory and post-theory experiment. We first sketch the motivation for EM and illustrate its potential for supporting experimentation, then briefly highlight the semantic challenge it poses and the philosophical implications

Genetic Programming + Unfolding Embryology in Automated Layout Planning

Automated layout planning aims to the implementation of computational methods for the generation and the optimization of floor plans, considering the spatial configuration and the assignment of activities. Sophisticated strategies such as Genetic Algorithms have been implemented as heuristics of good solutions. However, the generative forces that derive from the social structures have been often neglected. This research aims to illustrate that the data that encode the layout’s social and cultural generative forces, can be implemented within an evolutionary system for the design of residential layouts. For that purpose a co-operative system was created, which is composed of a Genetic Programming algorithm and an agent-based unfolding embryology procedure that assigns activities to the spaces generated by the GP algorithm. The assignment of activities is a recursive process which follows instructions encoded as permeability graphs. Furthermore, the Ranking Sum Fitness evaluation method is proposed and applied for the achievement of multi-objective optimization. Its efficiency is tested against the Weighted-Sum Fitness function. The system’s results, both numerical and spatial, are compared to the results of a conventional evolutionary approach. This comparison showed that, in general, the proposed system can yield better solutions

Annual Report of Undergraduate Research Fellows from August 2017 to May 2018

Annual Report of Undergraduate Research Fellows from August 2017 to May 2018

Mapping knowledge management and organizational learning in support of organizational memory

The normative literature within the field of Knowledge Management has concentrated on techniques and methodologies for allowing knowledge to be codified and made available to individuals and groups within organizations. The literature on Organizational Learning however, has tended to focus on aspects of knowledge that are pertinent at the macro-organizational level (i.e. the overall business). The authors attempt in this paper to address a relative void in the literature, aiming to demonstrate the inter-locking factors within an enterprise information system that relate knowledge management and organizational learning, via a model that highlights key factors within such an inter-relationship. This is achieved by extrapolating data from a manufacturing organization using a case study, with these data then modeled using a cognitive mapping technique (Fuzzy Cognitive Mapping, FCM). The empirical enquiry explores an interpretivist view of knowledge, within an Information Systems Evaluation (ISE) process, through the associated classification of structural, interpretive and evaluative knowledge. This is achieved by visualizng inter-relationships within the ISE decision-making approach in the case organization. A number of decision paths within the cognitive map are then identified such that a greater understanding of ISE can be sought. The authors therefore present a model that defines a relationship between Knowledge Management (KM) and Organisational Learning (OL), and highlights factors that can lead a firm to develop itself towards a learning organization

Free and open source GIS in South America: political inroads and local advocacy

Geographical information systems (GIS) practitioners worldwide enjoy a growing array of free and open source software (FOSS) options. This software has expanded the accessibility of GIS in economically developing countries while fostering local technical expertise. This article reviews FOSS GIS uptake and advocacy in South America, especially how it relates to a climate of political friendliness toward FOSS in the region. The use or absence of FOSS GIS is assessed in public-facing web maps in South America, first at the national government level, and then at the provincial level using Argentina as a country of study. Local technical support groups and software development initiatives surrounding FOSS GIS in South America are then summarized. Finally, three case studies are presented of notable efforts to build FOSS GIS technical communities at the local level: the FOSSGIS Brasil online magazine, the Geoinquietos Argentina professional network, and the FOSS.4GIS.GOV conference in Brazil. A study of the leaders, dynamics, and practices of these groups can inform others in similar circumstances around the world who are trying to promote FOSS GIS adoption, development, skills, and services

The Need of Multidisciplinary Approaches and Engineering Tools for the Development and Implementation of the Smart City Paradigm

This paper is motivated by the concept that the successful, effective, and sustainable implementation of the smart city paradigm requires a close cooperation among researchers with different, complementary interests and, in most cases, a multidisciplinary approach. It first briefly discusses how such a multidisciplinary methodology, transversal to various disciplines such as architecture, computer science, civil engineering, electrical, electronic and telecommunication engineering, social science and behavioral science, etc., can be successfully employed for the development of suitable modeling tools and real solutions of such sociotechnical systems. Then, the paper presents some pilot projects accomplished by the authors within the framework of some major European Union (EU) and national research programs, also involving the Bologna municipality and some of the key players of the smart city industry. Each project, characterized by different and complementary approaches/modeling tools, is illustrated along with the relevant contextualization and the advancements with respect to the state of the art