On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets

Ubiquitous computing systems (UCSs) are designed to participate almostimperceptibly in everyday life. To ensure a solid operation, a UCS heavily depends on a reliable and efficient communication between its distributed computing components. Moreover components can join and leave the system at any time.In order to guarantee high quality systems, the use of models is inevitable especiallyat an early stage of the development process where models are the only possibilityto address a system which does not yet exist in reality. Petri nets and graph transformationsystems are established, theoretically well-founded concepts for modellingand analysing complex systems.This paper presents a formal approach for modelling core aspects of the communicationin UCSs by using Algebraic Higher Order Nets with Individual Tokens andgraph transformation. The approach is suitable to cover the different aspects ofcommunication and enables the analysis of specific properties. The approach and itssuitability are illustrated based on a running example. The feasibility of embeddingthe approach in a broader context of modelling is demonstrated in applying it to areal world system: the Living Place Hamburg

An Efficient Design Methodology for Complex Sequential Asynchronous Digital Circuits

Asynchronous digital logic as a design alternative offers a smaller circuit area and lower power consumption but suffers from increased complexity and difficulties related to logic hazards and elements synchronization. The presented work proposes a design methodology based on the speed-independent sequential logic theory, oriented toward asynchronous hardware implementation of complex multi-step algorithms. Targeting controller-centric devices that perform data-driven non-linear execution, the methodology offers a CSP language-based controller workflow description approach and the specification of a project implementation template supported by a two-stage design process. First, the CSP layer describes complex speed-independent controller behavior offering better scalability and maintainability than the STG model. Second, the component-oriented design template specifies functional elements\u27 structural organization and emphasizes the divide-and-conquer philosophy, streamlining large and complex devices\u27 design and maintenance. Finally, the implementation process is divided into two stages: a rapid development and functional verification stage and a synthesizable codebase stage. Additionally, a case study design of a split-transaction MESI cache coherency controller and its analysis are presented to validate the proposed methodology. The testing phase compares synthesized and routed gate-level asynchronous and synchronous implementations. For models synthesized to work with the same speed, the asynchronous circuit area is 20% smaller with lower power consumption at approximately 18% of the synchronous reference. The synchronous version synthesized for performance is 3.5 times faster, at the cost of a large increase in area and power usage. The results prove the methodology\u27s ability to deliver working complex asynchronous circuits competitive in the chip area and power characteristics

The production of prosodic focus and contour in dialogue

Computer programs designed to converse with humans in natural language provide a framework against which to test supra-sentential theories of language production and interpretation. This thesis seeks to flesh out, in terms of a computer model, two basic assumptions concerning prosody-that speakers use intonation to convey intention, or attitude, and that prosodic prominence serves to convey conceptual prommence. A model of an information-providing agent in is proposed, based on an analysis of a corpus of spontaneous dialogues. This uses an architecture of communicating processes, which perform interpretation, application-specific planning, repair, and the production of output. Dialogue acts are then defined as feature bundles corresponding to significant events. A corpus of read dialogues is analysed in terms of these features, and using conventional intonational labelling. Correlations between the two are examined. Prosodic prominence is examined at three levels. At the level of surface encoding, re-use of substrings and structural parallelism can reduce processing for the speaker, and the listener. At the level of conceptual planning, similar benefits exist, given that speakers and listeners assume a common discourse model wherever possible. At these levels use is made of a short-term buffer of recent forms. A speaker may additionally use contrastive prominence to draw the listener's attention to disparities. Finally, at the level of intentions, a speaker wish to highlight certain information, regardless of accessibility. Prosodic focus is represented relationally, rather than via a simple binary-valued feature. This has the advantage of facilitating the mapping between levels; it also renders straightforward the notion of focus as the product of a number of potentially conflicting influences. Those parts of the theory concerned with discourse representation, language generation, and prosodic focus have been implemented as part of the Sundial dialogue system. In this system, discoursal and pragmatic decisions affecting prosody are converted to annotations on a text string, for realisation by a rule-based synthesizer

Business Rules Integration on a Public Illumination Management System

Tese de mestrado, Engenharia Informática (Sistemas de Informação), Universidade de Lisboa, Faculdade de Ciências, 2021This work is based on the proposal of integrating Business Rules in a software product called SIIP, intended to serve the Public Illumination Division of Lisbon’s city council, which is a public organization. This application helps manage all types of requests related to the city’s public illumination, such as maintenance or damage, storage management of public illumination components, and alert system integration. The current methods the Public Illumination Division uses are considered inefficient and outdated, and this work tries to contribute to that. The business rules integration will try to improve the features mentioned above by providing an automated alternative to some processes that are very costly with current outdated mechanisms. This implementation is a particular challenge in this project because of the current deprecated status of most public applications, as technological usage is not yet very well integrated within public divisions. This fact is also part of this work, creating a case study to compare the technological knowledge between private and public organizations. This study served as a knowledge base for getting a better context of the SIIP application. This work explains all the phases that a project of this kind should consider, including research about related applications and why Business Rules are essential, context gathering of the environment, client and application, and the development process of developing the application and creating an integration proposal of the Business Rules within the ap plication in order to promote better technological optimization within organizations. To further sustain the thesis of why Business Rules is an essential subject to this work, a case study was created and conducted, inquiring voluntary people about how public and private organizations differ in technological advances, difficulties, and access provision. At a final stage, the Business Rules integration proposal is then applied, which includes prototyping and development of the whole structure needed to integrate the Business Rules within the SIIP system, trying to promote its use to improve efficiency and better workflows