DOCSLIB.ORG

ONTOLOGIES for INTERACTION Gerrit Niezen

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

ONTOLOGIES FOR INTERACTION gerrit niezen Enabling serendipitous interoperability in smart environments This document was typeset using LATEX and the typographical look-and-feel classicthesis developed by André Miede. The style was inspired by Robert Bringhurst’s seminal book on typography “The Elements of Typographic Style”. Cover design by Paul Verspaget, Verspaget & Bruinink Printed by Eindhoven University Press “iPhone”, “Alarm Clock”, “Computer” and “Wireless” symbols by The Noun Project, from The Noun Project collection. “A graphic language for touch”, Timo Arnall. “Desk Lamp” symbol by Edward Boatman, “Ra- dio” symbol by National Park Service, “User” symbol by Denis Chenu, “Music” symbol by Ryan Oksenhorn, from The Noun Project collection. Gerrit Niezen: Ontologies for interaction, Enabling serendipitous interoperability in smart environments, © June 2012 A catalogue record is available from the Eindhoven University of Technology Library. ISBN: 978-90-386-3234-6 Proefontwerp Technische Universiteit Eindhoven Trefw.: Ontologies, Semantic Web, Software Architecture, Inter- action Design Ontologies for interaction Enabling serendipitous interoperability in smart environments PROEFONTWERP ter verkrijging van de graad van doctor aan de Technische Universiteit Eindhoven, op gezag van de rector magnificus, prof.dr.ir. C.J. van Duijn, voor een commissie aangewezen door het College voor Promoties in het openbaar te verdedigen op dinsdag 9 oktober 2012 om 16.00 uur door Gerrit Niezen geboren te Pretoria, Zuid-Afrika De documentatie van het proefontwerp is goedgekeurd door de promotoren: prof.dr.ir. L.M.G. Feijs en prof.dr. P. Markopoulos Copromotor: dr. J. Hu PDEng MEng CONTENTS iframingtheproblemandcurrentstate-of-the-art 1 1introduction 3 1.1 Background 4 1.1.1 Multi-device user interaction 4 1.1.2 Configuring connections between devices 5 1.2 Context of the work and research questions 6 1.2.1 The SOFIA project 7 1.2.2 Ubiquitous computing 7 1.2.3 Affordances 8 1.2.4 Ontologies 9 1.2.5 Research questions 10 1.3 Methodology 11 1.4 Outline of the thesis 13 2relatedwork 15 2.1 Related projects and frameworks 15 2.1.1 SpeakEasy (circa 2000-2003) 16 2.1.2 EventHeap (circa 2000-2005) 17 2.1.3 The XWeb architecture (circa 2001-2003) 18 2.1.4 AutoHAN (circa 2001) 19 2.1.5 e-Gadgets (circa 2004) 22 2.2 Ubicomp ontologies 23 2.2.1 SOUPA (circa 2004) 24 2.2.2 BDI and the MoGATU ontology 24 2.2.3 Gaia (circa 2004-2007) 25 2.2.4 CAMUS (circa 2004-2005) 26 2.3 User interface software architectures 26 2.3.1 Ullmer & Ishii’s MCRpd model 27 2.4 Modelling input devices 31 2.4.1 Foley’s taxonomy and its extensions 31 2.5 Semantic models 33 2.5.1 The Frogger framework 33 2.5.2 Models of intentionality 34 2.6 Outlook 36 ii design iterations and constructing a theory 37 3designiterationi 39 v vi contents 3.1 Requirements 39 3.2 Ontology Design 41 3.3 Device design 45 3.3.1 Interaction Tile 46 3.3.2 Lamp 48 3.3.3 Mobile phones 48 3.3.4 RFID reader used in interaction tile 48 3.4 Implementation 49 3.4.1 Interaction Tile KP 50 3.4.2 Music Player KP 52 3.4.3 Light KP 52 3.4.4 SIB 53 3.5 Discussion & Conclusion 54 4designiterationii 57 4.1 Requirements 57 4.2 Ontology Design 59 4.2.1 Semantic Media ontology 59 4.2.2 Semantic Interaction ontology 60 4.3 Device Design 62 4.3.1 Wall-wash lighting and presence sensors 62 4.3.2 Connector object 63 4.3.3 Spotlight Navigation 65 4.3.4 Lighting Device 68 4.4 Implementation 69 4.4.1 ADK-SIB 70 4.4.2 Semantic matching of media types 72 4.4.3 Device states 74 4.5 Evaluation 75 4.6 Discussion & Conclusion 76 5designiterationiii 79 5.1 Requirements 79 5.2 Ontology design 81 5.3 Device modifications 82 5.3.1 Squeezebox radio 82 5.3.2 Android mobile devices 83 5.3.3 Wakeup experience service 85 5.3.4 Zeo 86 5.4 Implementation 88 5.4.1 Feedback and Feedforward 88 5.5 Discussion & Conclusion 94 6semanticconnectionsframework 97 6.1 User interaction model 97 6.2 Smart Objects 98 contents vii 6.2.1 Identification 99 6.2.2 Interaction primitives 99 6.3 Semantic Connections 101 6.3.1 Directionality 102 6.3.2 Transitivity 102 6.3.3 Permanent and temporary connections 103 6.3.4 Connections connect different entities 103 6.4 Semantic Transformers 103 6.5 Finite state machine examples 104 6.6 Feedback and feedforward 109 6.6.1 Feedback of objects 109 6.6.2 Feedback of connections 110 6.6.3 Feedforward 110 6.7 Discussion & Conclusion 112 iii generalised models, software architecture and evaluation 115 7devicecapabilitymodelling 117 7.1 GUI-based techniques 117 7.2 Non-GUI techniques 119 7.2.1 UAProf 119 7.2.2 Universal Plug and Play (UPnP) 119 7.2.3 SPICE DCS 121 7.3 Registering devices on startup 121 7.3.1 Identifying devices 122 7.3.2 Registering a device’s functionality 125 7.4 Reasoning with device capabilities 125 7.4.1 Representing functionalities as predicates 126 8eventmodelling 131 8.1 Related work 132 8.1.1 The Event Ontology 133 8.1.2 DUL 133 8.1.3 Event-Model-F 133 8.1.4 Linked Open Descriptions of Events (LODE) 134 8.1.5 Ontologies for temporal reasoning 134 8.2 Interaction events 135 8.2.1 System events 137 8.2.2 Feedback 137 8.2.3 Discussion & Conclusion 138 9ontologyengineering 141 9.1 Layers of ontologies 143 9.1.1 Foundational ontologies 143 9.1.2 Core ontologies 143 viii contents 9.1.3 Domain ontologies 143 9.1.4 Application ontologies 144 9.2 Our approach 144 9.3 Reasoning with OWL 144 9.3.1 Consistency checking 146 9.3.2 Necessary versus necessary and sufficient 146 9.3.3 Inverse properties 147 9.3.4 Property chains 147 9.3.5 Using cardinality restrictions 147 9.4 Reasoning with SPIN 148 9.4.1 Integrity constraints 148 9.4.2 SPARQL Rules 149 9.4.3 Built-in SPARQL Functions 149 9.4.4 Custom functions 150 9.4.5 Magic properties 151 9.5 Ontology design patterns 151 9.5.1 The Role pattern 152 9.5.2 Descriptions and Situations (DnS) pattern 153 9.5.3 Defining n-ary relations 155 9.5.4 Naming interaction events 156 9.5.5 Using local reflexivity in property chains 157 9.5.6 Semantic matching with property chains 158 9.5.7 Inferring new individuals 160 9.5.8 Removing inferred triples 162 9.5.9 Inferring subclass relationships using prop- erties 162 9.5.10 Inferring connections between smart ob- jects and semantic transformers 164 9.6 Discussion 166 10 software architecture 169 10.1 Characteristics of ubicomp middleware 169 10.2 Publish/subscribe paradigm and the blackboard pattern 170 10.3 Smart Space Access Protocol (SSAP) 172 10.4 Smart-M3 architecture 173 10.5 ADK-SIB 173 11 evaluation 175 11.1 Evaluating the system performance 175 11.1.1 Introduction 175 11.1.2 Experimental setup 176 11.1.3 Experimental Results 180 11.1.4 Discussion 185 11.2 Evaluating the ontology 187 contents ix 11.2.1 Introduction 187 11.2.2 Validating the work using Cognitive Di- mensions 188 11.2.3 Method 190 11.2.4 Results 190 11.2.5 Non-CD related questions 195 11.2.6 Discussion & Conclusion 197 12 conclusion 199 12.1 Achievements and observations 199 12.2 Providing affordances and feedback for smart ob- jects 201 12.3 Software architecture 201 12.4 Ontologies 202 12.5 Low cost, high tech 203 12.6 Future work 204 iv appendix 207 bibliography 221 LIST OF FIGURES Figure 1 Iterative design methodology 12 Figure 2 The research approach used in the the- sis 12 Figure 3 The MCRpd model of Ullmer & Ishii for Tangible User Interfaces (TUIs) 27 Figure 4 The continuum of intentionality 34 Figure 5 Ontology indicating subclass relationships 41 Figure 6 Individuals that were instantiated based on the ontology 44 Figure 7 The interaction tile and mobile phone 46 Figure 8 A laser-cut version of the interaction tile prototype 48 Figure 9 The interaction and cubes, with the lamp in the background 49 Figure 10 The Nokia 5800 XpressMusic mobile phone with the lamp and some cubes 50 Figure 11 An overview of the demonstrator 51 Figure 12 System architecture of demonstrator 51 Figure 13 Semantic Media Ontology 59 Figure 14 Semantic Interaction Ontology 60 Figure 15 Wall-wash lighting developed by TU/e SAN 63 Figure 16 The Connector prototype and a smart phone used as a media player 63 Figure 17 Spotlight Navigation prototype 66 Figure 18 Projection of the Spotlight Navigation when connecting two devices together 67 Figure 19 Image showing the Connector scanning the lighting device. 68 Figure 20 The devices and their connections as used in the system 69 Figure 21 Technical details of the Smart Home pi- lot 71 Figure 22 Inferring the media path 73 Figure 23 Sub-domains of well-being 80 Figure 24 Logitech Squeezebox Radio 82 Figure 25 Playing music from the phone on the Squeeze- box radio 84 x List of Figures xi Figure 26 The sleep use case scenario, with the Zeo sleep monitor on the left, the dimmable light and the Connector object in the mid- dle, and the Squeezebox on the right 86 Figure 27 The Zeo headband 87 Figure 28 An overview of the sleep use case 88 Figure 29 Alarm functionality of the phone shared with the radio and the lamp 89 Figure 30 Temporary connections for a PreviewEvent when source and sink are directly con- nected 92 Figure 31 Temporary connections for a PreviewEvent when source and sink are connected via a semantic transformer 92 Figure 32 Semantic connections user interaction model 98 Figure 33 Nokia Play 360◦ speaker system and N9 mobile phone 101 Figure 34 FSMs for a simple light with a switch and a light with a labelled switch 105 Figure 35 Light and light switch as two separate smart objects with a semantic connection 105 Figure 36 Light connected to light switch with aug- mented feedback 106 Figure 37 FSM showing semantic connection with
Recommended publications
  • State of the Art of Libraries in Python and Ruby

    State of the Art of Libraries in Python and Ruby

    STATE OF THE ART OF SOAP LIBRARIES IN PYTHON AND RUBY Pekka Kanerva Helsinki Institute for Information Technology August 6, 2007 HIIT TECHNICAL REPORT 2007-02 State of the Art of SOAP Libraries in Python and Ruby Pekka Kanerva Helsinki Institute for Information Technology HIIT Technical Reports 2007-2 ISSN 1458-9478 Copyright c 2007 held by the authors. Notice: The HIIT Technical Reports series is intended for rapid dissemination of articles and papers by HIIT authors. Some of them will be published also elsewhere. ii State of the Art of SOAP Libraries in Python and Ruby Pekka Kanerva <[email protected]> Helsinki Institute for Information Technology August 6, 2007 Abstract Web services are gaining more and more attention in the business field and in the academic research. Simple Object Access Protocol (SOAP) is the stan- dard messaging format for Web services. The single services are described in Web Services Description Language (WSDL). More recently, the REST architecture specified by Roy T. Fielding has received more attention in cre- ating better Web services. This technical report describes our experiments on building simple, composable Web services. We describe our findings on us- ing both Python and Ruby SOAP libraries for prototyping. A simple REST interface is created for a commercial Web service called SyncShield. Chapter 1 Introduction The ITEA Services for all (S4All) research project aimed to create a world of easy-to-use, easy-to-share, and easy-to-develop services from a user point of view. S4All describes a visionary software component called a Service Composer which is used to combine public small-scale web-services into a more complex series of meaningful series of simple tasks enqueued into a workflow.
  • A Lightweight, Customizable Tuple Space Supporting Context-Aware Applications

    A Lightweight, Customizable Tuple Space Supporting Context-Aware Applications

    LighTS: A Lightweight, Customizable Tuple Space Supporting Context-Aware Applications Gian Pietro Picco, Davide Balzarotti and Paolo Costa Dip. di Elettronica e Informazione, Politecnico di Milano, Italy {picco, balzarot, costa}@elet.polimi.it ABSTRACT develop context-aware applications. It is interesting to look The tuple space model inspired by Linda has recently been briefly into the lessons learned from these experiences, in rediscovered by distributed middleware. Moreover, some re- that they motivate the contributions we put forth in this pa- searchers also applied it in the challenging scenarios involv- per. The work in [10] describes a simple location-aware ap- ing mobility and more specifically context-aware computing. plication supporting collaborative exploration of geographi- Context information can be stored in the tuple space, and cal areas, e.g., to coordinate the help in a disaster recovery queried like any other data. scenario. Users are equipped with portable computing de- Nevertheless, it turns out that conventional tuple space vices and a localization system (e.g., GPS), are freely mo- implementations fall short of expectations in this new do- bile, and are transiently connected through ad hoc wireless main. On one hand, many of the available systems provide links. The key functionality provided is the ability for a a wealth of features, which make the resulting implementa- user to request the displaying of the current location and/or tion unnecessarily bloated and incompatible with the tight trajectory of any other user, provided wireless connectivity resource constraints typical of this field. Moreover, the tra- is available towards her. The implementation exploits tuple spaces as repositories for context information—i.e., location ditional Linda matching semantics based on value equal- Lime ity are not appropriate for context-aware computing, where data.
  • Python for S60 (Pys60)

    Python for S60 (Pys60)

    PYTHON FOR S60 (PYS60) MATOVU RICHARD Matrich Email: [email protected] Website: http://www.matrich.net/ Twitter: http://twitter.com/matrich/ SMART PHONES: OPERATING SYSTEMS Symbian Runs on most of today‟s phones and jointly owned by major portion of mobile phone industry Many various favours i.e. Nokia Series 60, UIQ, Series 80, Microsoft SmartPhone OS Windows Compact Edition and Pocket PC OS Windows Mobile Android Brings Internet-style innovation and openness to mobile phones iPhone OS Runs on iPhone and iPod touch devices Linux OS Rare and „invisible‟ SMART PHONES: PROGRAMMING LANGUAGES Java Platform, Micro Edition Most used but major sandboxing C++ (Symbian) Very steep learning curve Frustrating features Designed for „serious‟ developers .NET Programming on Mobile Phones Open C Python on Symbian SO WHY PYTHON? Cross Platform Free and Open Source Scripting Language Extending and embedding abilities Good standard library Access to full phone functionality… IT’S SO EASY import appuifw appuifw.note(u”Hello World”, “info”) COMPARISON BETWEEN PYTHON AND JAVA ME import appuifw appuifw.note(u”Hello World”, “info”) SO WHICH PYTHON S60 WORKS FOR YOU? 1st Edition 2nd Edition FP 1 2nd Edition For more details at FP 3 http://croozeus.com/devices.htm 3rd Edition FP 1 TESTING YOUR PYS60 SCRIPTS Install PyS60 on Mobile Phone Interactive Console Bluetooth Console Benefits of PC while running on the phone Install an emulator Test and debug your code on PC Though some functionality misses such as camera, GPS, calling,
  • A Persistent Storage Model for Extreme Computing Shuangyang Yang Louisiana State University and Agricultural and Mechanical College

    A Persistent Storage Model for Extreme Computing Shuangyang Yang Louisiana State University and Agricultural and Mechanical College

    Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 2014 A Persistent Storage Model for Extreme Computing Shuangyang Yang Louisiana State University and Agricultural and Mechanical College Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Computer Sciences Commons Recommended Citation Yang, Shuangyang, "A Persistent Storage Model for Extreme Computing" (2014). LSU Doctoral Dissertations. 2910. https://digitalcommons.lsu.edu/gradschool_dissertations/2910 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. A PERSISTENT STORAGE MODEL FOR EXTREME COMPUTING A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Computer Science by Shuangyang Yang B.S., Zhejiang University, 2006 M.S., University of Dayton, 2008 December 2014 Copyright © 2014 Shuangyang Yang All rights reserved ii Dedicated to my wife Miao Yu and our daughter Emily. iii Acknowledgments This dissertation would not be possible without several contributions. It is a great pleasure to thank Dr. Hartmut Kaiser @ Louisiana State University, Dr. Walter B. Ligon III @ Clemson University and Dr. Maciej Brodowicz @ Indiana University for their ongoing help and support. It is a pleasure also to thank Dr. Bijaya B. Karki, Dr. Konstantin Busch, Dr. Supratik Mukhopadhyay at Louisiana State University for being my committee members and Dr.
  • Sharing of Semantically Enhanced Information for the Adaptive Execution of Business Processes

    Sharing of Semantically Enhanced Information for the Adaptive Execution of Business Processes

    NATIONAL AND KAPODISTRIAN UNIVERSITY OF ATHENS DEPARTMENT OF INFORMATICS AND TELECOMUNICATIONS PROGRAM OF POSTGRADUATE STUDIES DIPLOMA THESIS Sharing of Semantically Enhanced Information for the Adaptive Execution of Business Processes Pigi D. Kouki Supervisor: Aphrodite Tsalgatidou, Assistant Professor NKUA Technical Support: Georgios Athanasopoulos, PhD Candidate NKUA ATHENS MAY 2011 DIPLOMA THESIS Sharing of Semantically Enhanced Information for the Adaptive Execution of Business Processes Pigi D. Kouki Registration Number: Μ 984 SUPERVISOR: Aphrodite Tsalgatidou, Assistant Professor NKUA TECHNICAL SUPPORT: Georgios Athanasopoulos, PhD Candidate NKUA MAY 2011 ABSTRACT Motivated from the Context Aware Computing, and more particularly from the Data-Driven Process Adaptation approach, we propose the Semantic Context Space (SCS) Engine which aims to facilitate the provision of adaptable business processes. The SCS Engine provides a space which stores semantically annotated data and it is open to other processes, systems, and external sources for information exchange. The specified implementation is inspired from the Semantic TupleSpace and uses the JavaSpace Service of the Jini Framework (changed to Apache River lately) as an underlying basis. The SCS Engine supplies an interface where a client can execute the following operations: (i) write: which inserts in the space available information along with its respective meta-information, (ii) read: which retrieves from the space information which meets specific meta-information constrains, and (iii) take: which retrieves and simultaneously deletes from the space information which meets specific meta-information constrains. In terms of this thesis the available types of meta-information are based on ontologies described in RDFS or WSML. The applicability of the SCS Engine implementation in the context of data-driven process adaptation has been ensured by an experimental evaluation of the provided operations.
  • Mars: a Programmable Coordination Architecture for Mobile Agents

    Mars: a Programmable Coordination Architecture for Mobile Agents

    MARS: A Programmable Coordination Architecture MOBILE AGENTS for Mobile Agents GIACOMO CABRI, LETIZIA LEONARDI, AND FRANCO ZAMBONELLI University of Modena and Reggio Emilia raditional distributed applications are designed as sets of process- es—mostly network-unaware—cooperating within assigned exe- T cution environments. Mobile agent technology, however, promotes the design of applications made up of network-aware entities that can change their execution environment by transferring themselves while exe- cuting.1,2 Current interest in mobile agents stems from the advantages they provide in Internet applications: I bandwidth savings because they can move computation to the data, I flexibility because they do not require the remote availability of spe- cific code, and Mobile agents offer much I suitability and reliability for mobile computing because they do not require continuous network connections. promise, but agent mobility and Several systems and programming environments now support mobile- Internet openness make agent-based distributed application development.2 For wide acceptance and deployment, however, we need tools that can exploit mobility while coordination more difficult. providing secure and efficient execution support, standardization, and coordination models.1 Mobile Agent Reactive Spaces, Coordination between an agent and other agents and resources in the execution environment is a fundamental activity in mobile agent applica- a Linda-like coordination tions. Coordination models have been extensively studied in the context of traditional distributed systems;3,4 however, agent mobility and the open- architecture with programming ness of the Internet introduce new problems related to naming and tracing agents roaming in a heterogeneous environment.5 features, can handle a We believe that a Linda-like coordination model—relying on shared data paces accessed in an associative way—is adaptable enough for a wide and het- heterogeneous network while erogeneous network scenario and still allows simple application design.
  • Mobile Phone Programming and Its Application to Wireless Networking

    Mobile Phone Programming and Its Application to Wireless Networking

    Mobile Phone Programming Mobile Phone Programming and its Application to Wireless Networking Edited by Frank H.P. Fitzek Aalborg University Denmark and Frank Reichert Agder University College Norway A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN 978-1-4020-5968-1 (HB) ISBN 978-1-4020-5969-8 (e-book) Published by Springer, P.O. Box 17, 3300 AA Dordrecht, The Netherlands. www.springer.com Printed on acid-free paper © 2007 Springer No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. To Sterica and Lilith. — Frank H.P. Fitzek I dedicate this book to Tim (WoW Level 70, mighty Undead Warrior), Max (Wow Level 70, fearless Tauren Hunter), and Aida (Reality Level 80++, loving Human Wife and Mother) — Frank Reichert (Level 64) Foreword Saila Laitinen Nokia The technology evolution has been once and for all beyond comparison during the past decade or two. Any of us can nowadays do numerous things with numerous devices to help in everyday life. This applies not least to mobile phones. If we compare the feature set of a mobile phone model in 1995 with the latest smartphone models the most visible difference is of course in the user interface, the mp3 player, integrated camera, and the access to the mobile Internet.
  • Mobile Operating Systems, the New Generation V1.01 FINAL

    Mobile Operating Systems, the New Generation V1.01 FINAL

    Executive Summary Much has changed from the world of open operating Contents systems of 2003. The mobile software market has Chapter A: Mobile Software Today: Open OSs, Linux grown into a landscape of 100s of vendors where and other Misperceptions understanding the roles, functionality, lines of A.1. The New Generation of Operating Systems partnership and competition across software products A.2. Linux: Myth and Reality is a complex endeavour, even for a seasoned industry A.3. Java: A False Start, But Efforts Continue observer. This paper aims to help change that. A.4. Nokia against Symbian A.5. Conclusions and Market Trends The paper firstly presents the key software layers for mobile phones today and explains the importance of Chapter B: Making Sense of Operating Systems, UI application execution environments and UI frameworks. Frameworks and Application Environments Section A then examines common misperceptions in Chapter C: Product reviews the software market of 2006; the flexible OS genre as In-Depth reviews of A la Mobile, Access Linux the successor to the open OSs, the myth and reality Platform, Adobe Flash Lite, GTK+, MiniGUI, Mizi behind Linux for mobile phones, and the false start but Prizm, Montavista Mobilinux, Nokia S60, Obigo, continued efforts around J2ME. Chapter B compares Openwave Midas, Qualcomm Brew, SavaJe, several software platforms for product functionality, Symbian OS, Trolltech Qtopia, UIQ And Windows licensees and speed of market penetration. Mobile. A reference section follows, consisting of 2-page Chapter D: Trends in the Mobile Software Market reviews of 16 key software products, covering historical Open OSes are out; Flexible OSs are in product background, positioning, technology, strategy, Commoditisation of the core OS technology and including the author’s critical viewpoint.
  • Combining SETL/E with Linda∗

    Combining SETL/E with Linda∗

    Combining SETL/E with Linda∗ W. Hasselbring Computer Science / Software Engineering University of Essen, Germany [email protected] June 1991 Abstract SETL/E is a procedural prototyping language based on the theory of finite sets. The coordi- nation language Linda provides a distributed shared memory model, called tuple space, together with some atomic operations on this shared data space. Process communication and synchroniza- tion in Linda is also called generative communication, because tuples are added to, removed from and read from tuple space concurrently. Synchronization is done implicitly. In this paper a proposal will be presented for enhancing the basic Linda model with multiple tuple spaces, additional nondeterminism and the facility for changing tuples in tuple space to combine set-oriented programming with generative communication: SETL/E-Linda. 1 Introduction and overview The set theoretic language SETL/E that is at present under development at the University of Essen is a successor to SETL [SDDS86, DF89]. The kernel of the language was at first presented in [DGH90b] and the system in [DGH90a]. Section 2 provides a brief introduction to the language. Prototyping means constructing a model. Since applications which are inherently parallel should be programmed in a parallel way, it is most natural to incorporate parallelism into the process of building a model instead of forcing it into a sequence. Most real systems are of parallel nature. Parallel programming is conceptually harder than sequential programming, because a program- mer has to think in simultaneities, but one can hardly focus on more than one process at a time. Programming in Linda provides a spatially and temporally unordered bag of processes, instead of a process graph thus making parallel programming conceptually the same order of task as conventional, sequential programming.
  • Tuple Space in the Cloud

    Tuple Space in the Cloud

    IT 12 016 Examensarbete 30 hp Maj 2012 Tuple Space in the Cloud Hariprasad Hari Institutionen för informationsteknologi Department of Information Technology Abstract Tuple Space in the Cloud Hariprasad Hari Teknisk- naturvetenskaplig fakultet UTH-enheten Communication Overhead is one of the major problems hindering the prospects of emerging technologies. There are various mechanisms used for communication and Besöksadress: coordination of data in the form of Message Passing Interface and Remote method Ångströmlaboratoriet Lägerhyddsvägen 1 Invocation but they also possess some drawbacks. Tuple Space is one such candidate Hus 4, Plan 0 mechanism used in parallel processing and data sharing. So far there were been many centralized Tuple Space implementations such as Java Space, TSpace. As the commun- Postadress: ication between processes increases, the centralized communication becomes a Box 536 751 21 Uppsala bottleneck and hence there is need to distribute the processes. A better way is to distribute the Tuple Space itself. The goal of this thesis is used to find out the Telefon: problems which would arise when distributing the Tuple Space. It analysis the state- 018 – 471 30 03 of-art tuple space implementations and provides a novel approach by proposing a Telefax: solution which satisfies most of the problems. 018 – 471 30 00 Hemsida: http://www.teknat.uu.se/student Handledare: Joacim Halén Ämnesgranskare: Arnold Pears Examinator: Anders Berglund IT 12 016 Tryckt av: Reprocentralen ITC ii Master Thesis Report at Ericsson Research Kista, Stockholm 2011-2012 Tuple Space in the Cloud PER KARLSSON MScEE Manager CDN & Cloud Computing Research JOACIM HALEN´ Senior Researcher Ericsson AB, Packet Technologies Ericsson Research, F¨ar¨ogatan6, 164 80, Kista, Sweden.
  • El Futuro Del Desarrollo Móvil Desde Singapur

    El Futuro Del Desarrollo Móvil Desde Singapur

    30-33 mobile code 41.qxp 23/08/2007 12:25 p.m. PÆgina 30 {mobile | Noticias desde Singapur} LA TECNOLOGÍA QUE VIENE El futuro del desarrollo móvil Te contamos las novedades del mundo del desarrollo móvil desde Singapur, donde se sucedieron distintos eventos de tecnología y de mobile. Las últimas noticias de Java ME, Flash Lite, y las nuevas plataformas OpenC y Python for S60. Maximiliano Firtman Enviado Especial [email protected] e más está decir que cuando nombramos a Singapur, lo primero que se nos viene a la mente es “el otro lado del mundo”. Y es D exactamente eso, un espectacular país-is- la-ciudad al otro lado del mundo que mezcla todo lo oriental que uno espera encontrar en Asia, con la tec- nología que uno espera de un país del primer mundo. Bajo un clima caribeño, durante junio de 2007 se lle- varon a cabo eventos de tecnología y mobile para el mercado asiático. Singapur es el centro tecnológico del continente y, por eso, en estos eventos se reunió en una intensiva semana a visitantes y empresas chinas, japo- nesas, hindúes, malayas, singapurenses y árabes. El [Figura 1] Singapur de noche, una de las vistas por las que valen evento principal fue CommunicAsia 2007, una expo- la pena las 36 horas de vuelo. sición con 2500 stands distribuidos en 100.000 m2, jun- to a cinco conferencias sobre temas específicos, entre ellos, mobile, multimedia hogareña, IT y enterprise, Champion, que agrupa a distintos desarrolladores mobile de todo el mundo. En que se realizaron en hoteles aledaños.
  • Symbian OS from Wikipedia, the Free Encyclopedia

    Symbian OS from Wikipedia, the Free Encyclopedia

    Try Beta Log in / create account article discussion edit this page history Symbian OS From Wikipedia, the free encyclopedia This article is about the historical Symbian OS. For the current, open source Symbian platform descended from Symbian OS and S60, see Symbian platform. navigation Main page This article has multiple issues. Please help improve the article or discuss these issues on the Contents talk page. Featured content It may be too technical for a general audience. Please help make it more accessible. Tagged since Current events December 2009. Random article It may require general cleanup to meet Wikipedia's quality standards. Tagged since December 2009. search Symbian OS is an operating system (OS) designed for mobile devices and smartphones, with Symbian OS associated libraries, user interface, frameworks and reference implementations of common tools, Go Search originally developed by Symbian Ltd. It was a descendant of Psion's EPOC and runs exclusively on interaction ARM processors, although an unreleased x86 port existed. About Wikipedia In 2008, the former Symbian Software Limited was acquired by Nokia and a new independent non- Community portal profit organisation called the Symbian Foundation was established. Symbian OS and its associated Recent changes user interfaces S60, UIQ and MOAP(S) were contributed by their owners to the foundation with the Company / Nokia/(Symbian Ltd.) Contact Wikipedia objective of creating the Symbian platform as a royalty-free, open source software. The platform has developer Donate to Wikipedia been designated as the successor to Symbian OS, following the official launch of the Symbian [1] Help Programmed C++ Foundation in April 2009.