DOCSLIB.ORG

Towards Language-Oriented Modeling Benoit Combemale

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Towards Language-Oriented Modeling Benoit Combemale Towards Language-Oriented Modeling Benoit Combemale To cite this version: Benoit Combemale. Towards Language-Oriented Modeling. Software Engineering [cs.SE]. Uni- versit´ede Rennes 1, 2015. <tel-01238817> HAL Id: tel-01238817 https://hal.inria.fr/tel-01238817 Submitted on 8 Dec 2015 HAL is a multi-disciplinary open access L'archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destin´eeau d´ep^otet `ala diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publi´esou non, lished or not. The documents may come from ´emanant des ´etablissements d'enseignement et de teaching and research institutions in France or recherche fran¸caisou ´etrangers,des laboratoires abroad, or from public or private research centers. publics ou priv´es. Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License ANNÉE 2015 HABILITATION À DIRIGER DES RECHERCHES UNIVERSITÉ DE RENNES 1 sous le sceau de l’Université Européenne de Bretagne Mention : Informatique École doctorale Matisse présentée par Benoit COMBEMALE préparée à l’unité de recherche IRISA – UMR6074 Institut de Recherche en Informatique et Système Aléatoires / ESIR HDR soutenue à Rennes Towards Language- le 4 décembre 2015 devant le jury composé de : Oriented Modeling Franck BARBIER Professor, University of Pau, France / Rapporteur Lionel BRIAND Professor, University of Luxembourg / Rapporteur Betty H.C. CHENG Professor, Michigan State University, USA / Rapporteur Oscar NIERSTRASZ Professor, University of Bern, Switzerland / Rapporteur JOERG KIENZLE Professor, McGill University, Canada / Examinateur PETER D. MOSSES Professor, Swansea University, United Kingdom / Examinateur BENOIT BAUDRY Research Scientist, INRIA, France / Examinateur JEAN-MARC JÉZÉQUEL Professor, University of Rennes 1, France / Examinateur In memory of Prof. Robert B. France, A mentor, an academic father and far beyond. Rest in peace, Robert. Foreword In the French academic system, the ‘habilitation à diriger des recherches’ (HDR) is an additional degree after the PhD. This degree is required to officially supervise PhD students, to apply for full professorship, and more generally to run an independent research activity. The manuscript of an HDR is supposed to overview the research activities of the candidate, and demonstrate a clear vision leading to consistent contributions. In that sense, it is not meant to be a fully polished, self contained document like a PhD thesis. This document constitutes the manuscript of my HDR. I overview a decade of research work in the fields of model driven engineering (MDE) and software language engineering (SLE). The contributions are organized so as to highlight the vision as well as the scientific method. Of course, these contributions would not have been achieved alone. This document also aims to present the complementarity of the research work conducted with the various students I have been pleased to supervise, as well as the place of the various collaborations with researchers and practitioners, in the elaboration of the resulting vision I defend in this document. This document is meant to be first dedicated to the referees of my HDR who evaluate and report on my research activities, the breakthroughs addressed, and the resulting contributions. This document also offers a brief overview of the state of the art in the fields of MDE and SLE. Finally, this document would be also of interest for everyone willing to learn how to turn domain knowledge into added value and coordinated DSMLs. Contents Contents 1 1 Introduction 5 1.1 Context......................................... 5 1.1.1 Application Context.............................. 5 1.1.2 Scientific Context................................ 6 1.2 Objectives and Challenges............................... 8 1.3 Overview of the Contributions ............................ 9 1.4 Scientific and Technological Breakthroughs ..................... 10 1.5 Research Methods ................................... 11 1.6 Supervision....................................... 11 1.7 Grants, Contracts and Projects............................ 12 1.8 Organization of the document............................. 13 2 Metamodeling in the Small: Facing the Development of DSMLs 15 2.1 Mashup of (Domain-Specific) Meta-Languages.................... 16 2.1.1 Concern #1: Abstract Syntax Definition................... 17 2.1.2 Concern #2: Static Semantics Definition .................. 17 2.1.3 Concern #3: Behavioral Semantics Definition................ 18 2.1.4 Composition Operators for the Mashup of Meta-Languages . 19 2.1.5 Evaluation of the Mashup From the Language Engineer Viewpoint . 19 2.1.5.1 Are concerns designed in different modules?............ 20 2.1.5.2 Are concerns designed using appropriate meta-languages? . 21 2.2 Efficient Structural Model Checking ......................... 23 2.2.1 Approach Overview .............................. 24 2.2.2 Evaluation Results............................... 25 2.3 The xDSML Pattern: A Metamodeling Pattern for Model Execution . 25 2.3.1 Motivation ................................... 26 2.3.2 Structure .................................... 27 2.3.3 Participants................................... 28 2.3.4 Consequences.................................. 29 2.3.4.1 Definition of the Semantics..................... 30 2.3.4.2 Definition of the Execution-Related Tools............. 31 2.4 Weaving Concurrency in Modeling Languages.................... 32 2.4.1 Reifying Concurrency in xDSMLs....................... 32 2.4.1.1 Background Knowledge....................... 32 2.4.1.2 Language Units Identification.................... 33 2.4.1.3 Reifying Language Units Coordination .............. 35 2.4.2 moccml: a Meta-Language for the Concurrency Concern in xDSMLs . 37 2015/12/7 10:0 2 1 2 CONTENTS 2.4.2.1 moccml Overview.......................... 37 2.4.2.2 moccml Syntax ........................... 38 2.4.2.3 moccml Semantics ......................... 40 2.4.3 Model Execution and Analysis ........................ 41 2.5 Execution Trace Management and Omniscient Debugging............. 41 2.6 Wrap-up: Design and Implementation of the UML Activity Diagram Language . 44 2.6.1 Overview of the solution............................ 44 2.6.2 Operational Semantics............................. 46 2.6.3 Language Assembling ............................. 48 2.6.4 Trace Management............................... 48 2.6.5 Animation Facilities .............................. 48 2.6.6 Explicit and Formal Concurrency Model................... 48 2.6.7 Evaluation of the solution........................... 49 2.6.7.1 Correctness.............................. 49 2.6.7.2 Understandability and Conciseness................. 49 2.6.7.3 Performance ............................. 50 3 Metamodeling in the Large: Facing the Multiplication of DSMLs 51 3.1 Reuse of Modeling Languages: Facing the Multiplication of Application Domains 52 3.1.1 Model Typing as Structural Language Interface............... 52 3.1.1.1 Model Typing ............................ 52 3.1.1.2 Model Subtyping Relations..................... 55 3.1.1.3 Definition of Subtyping Relations for Model Types . 58 3.1.1.4 Contract-aware MOF Class Matching............... 59 3.1.1.5 Putting Subtyping Relations to Work............... 62 3.1.1.6 A Foundational Framework to Classify Existing Approaches . 63 3.1.2 Melange: A Meta Language for Language Reuse .............. 65 3.1.2.1 Approach Overview......................... 65 3.1.2.2 Language Definition......................... 67 3.1.2.3 Operators for Language Assembly................. 69 3.1.2.4 Operators for Language Customization .............. 69 3.1.2.5 Specification of Melange....................... 72 3.1.2.6 Case Study.............................. 76 3.1.2.7 Related Work ............................ 79 3.1.3 Variability Management in Language Family ................ 80 3.1.3.1 Approach Overview......................... 81 3.1.3.2 Case study: A family of DSMLs for Finite State Machines . 83 3.2 Globalization of Modeling Languages: Facing the Multiplication of Stakeholders . 83 3.2.1 The Grand Challenge ............................. 83 3.2.1.1 Globalized DSML Challenge: Looking Ahead........... 84 3.2.1.2 On the Globalization of Modeling Languages........... 85 3.2.2 Event Scheduling as Behavioral Language Interface............. 86 3.2.3 B-COoL: a Meta Language for Behavioral Coordination of Modeling Languages.................................... 88 3.2.3.1 B-COoL Overview ......................... 88 3.2.3.2 Abstract Syntax of B-COoL .................... 90 3.2.3.3 B-COoL library ........................... 91 3.2.3.4 Concrete Syntax........................... 92 3.2.3.5 Execution semantics......................... 92 CONTENTS 3 4 Conclusion 95 4.1 Overall scientific vision and major achievements................... 95 4.2 Technological outcomes ................................ 96 4.2.1 The Melange Language Workbench...................... 96 4.2.2 The GEMOC Studio.............................. 96 4.3 The GEMOC Initiative ................................ 97 5 Perspectives 99 5.1 Dynamically Adaptable Software Languages..................... 99 5.1.1 Metamorphic DSLs............................... 99 5.1.1.1 Ongoing Work............................102 5.1.1.2 Vision.................................102 5.1.1.3 Challenges ..............................104 5.1.2 Approximate Software Languages.......................104 5.2 Modeling for Sustainability ..............................105
Load more

Recommended publications
  • Developing with Pojos: Faster and Easier 3 Chapter 2 ■ J2EE Design Decisions 31
    FROM OUR PEER REVIEW ... “Chris Richardson targets critical design issues for lightweight Java enterprise applications using POJOs with fantastic in-depth exam- ples. This book extends Martin Fowler’s great book, Enterprise Architecture Patterns, as well as the more recent Domain-Driven Design by Eric Evans, by providing practical design guidance and useful examples. It also addresses the architecture and design issues asso- ciated with Spring and Hibernate development, whereas Man- ning’s companion ‘in Action’ books focus primarily on the Spring and Hibernate technologies. “This is a powerful book for architects, senior developers, and consultants. It uniquely combines best practices and design wisdom to integrate domain-driven design and test-driven development for object-oriented Java enterprise applications using lightweight Spring, Hibernate, and JDO technologies. “The table of contents reflects the important topics that most architects and enterprise developers face every day. There is signifi- cant need for a book like this, which shows how to address many common and complex design issues with real-world examples. The content in this book is unique and not really available elsewhere.” DOUG WARREN Software Architect Countrywide Financial “POJOs in Action fills a void: the need for a practical explanation of the techniques used at various levels for the successful building of J2EE projects. This book can be compared with the less enterprise- oriented and more abstract J2EE Development without EJB by Rod Johnson, but Richardson offers a step-by-step guide to a successful J2EE project. The explanations of the various alternatives available for each step provide the main thrust of this book.
    [Show full text]
  • Object Oriented Paradigm/Programming
    an object is an instantiation from a class, e.g., you have a pet cat, who's Object Oriented Paradigm name is Garfield, then Garfield is a object (of the class cat) to invoke an method, simply do obj.method( ) or obj->method( ), the Ming- Hwa Wang, Ph.D. former is object reference syntax, and the latter is pointer syntax Department of Computer Engineering Santa Clara University Relationships a-kind-of relationship: a subclass inherits and adds more attributes Object Oriented Paradigm/Programming (OOP) and/or methods from its super class to become somewhat "specialized" similar to Lego, which kids build new toys from assembling the existing is-a relationship: an object of a subclass is an object of its super class construction blocks of different shapes part-of relationship: OOP - doing programs by reusing (composing/inheriting) objects has-a relationship: (instantiated from classes) as much as possible, and only writing code when no exiting objects can be applied Reusability inheritance Two Fundamental Principles for OOP a sub/child/derived/extended class can inherit all properties from its generalization or reusability: the classes designed should target to super/parent/base/original class, with or without reusability, i.e., it should very generic and can be applied to lots of modification/override or addition situations/applications without much efforts; reusability comes from single inheritance and multiple inheritance (watch out naming inheritance and/or composition conflicts) encapsulation or information hiding: we can hide detailed or composition implementation specific information away from the users/programmers, so changing implementation using the same interfaces will not need Abstract or Virtual Classes modifying the application code only used as a super class for other classes, only specified but not fully defined, and can't be instantiated OOP Language vs.
    [Show full text]
  • [ Team Lib ] Crawford and Kaplan's J2EE Design Patterns Approaches
    [ Team LiB ] • Table of Contents • Index • Reviews • Reader Reviews • Errata J2EE Design Patterns By William Crawford, Jonathan Kaplan Publisher: O'Reilly Pub Date: September 2003 ISBN: 0-596-00427-3 Pages: 368 Crawford and Kaplan's J2EE Design Patterns approaches the subject in a unique, highly practical and pragmatic way. Rather than simply present another catalog of design patterns, the authors broaden the scope by discussing ways to choose design patterns when building an enterprise application from scratch, looking closely at the real world tradeoffs that Java developers must weigh when architecting their applications. Then they go on to show how to apply the patterns when writing realworld software. They also extend design patterns into areas not covered in other books, presenting original patterns for data modeling, transaction / process modeling, and interoperability. [ Team LiB ] [ Team LiB ] • Table of Contents • Index • Reviews • Reader Reviews • Errata J2EE Design Patterns By William Crawford, Jonathan Kaplan Publisher: O'Reilly Pub Date: September 2003 ISBN: 0-596-00427-3 Pages: 368 Copyright Preface Audience Organization of This Book For Further Reading Conventions Used in This Book Comments and Questions Acknowledgments Chapter 1. Java Enterprise Design Section 1.1. Design Patterns Section 1.2. J2EE Section 1.3. Application Tiers Section 1.4. Core Development Concepts Section 1.5. Looking Ahead Chapter 2. The Unified Modeling Language Section 2.1. Origins of UML Section 2.2. The Magnificent Seven Section 2.3. UML and Software Development Lifecycles Section 2.4. Use Case Diagrams Section 2.5. Class Diagrams Section 2.6. Interaction Diagrams Section 2.7.
    [Show full text]
  • Critical Resource Concurrency Pattern in C++
    ApriorIT Inc. Implementation of Critical Resource Concurrency Pattern in C++ Implementation of Critical Resource Concurrency Pattern in C++ The article is written by Vladimir Frolov, system developer of ApriorIT. The topic area of concurrency patterns is poorly covered in literature, so this text is called to fill a gap, at least partly. Many of those who have ever used Critical Section object for synchronization between threads were applying it together with Auto Critical Section object. Indeed, Auto Critical Section is a powerful synchronization object which use has a set of advantages. The code containing Auto Critical Section for Critical Section management turns safe, more readable and structured when compared with the code directly working with Critical Section. Moreover, Auto Critical Section has trivial implementation. Regarding Auto Critical Section object one might say that it wraps in Critical Section the scope in which it is being created. However, whether Auto Critical Section used or not, there is still a series of problems relating to Critical Section object: • the Critical Section and resource which it protects are being created separately and can potentially have different lifetime. • the code which uses the resource must know that access to it is synchronized by critical section. Both these problems are of little importance if the critical section is used for creation of a thread- safe class. In that case the critical section is being created as data member and about it should be aware only function members of the given class while creating an Auto Critical Section object on call. However, a problem appears if it is necessary to provide access to a resource or class object which doesn't make any attempts at synchronization from within.
    [Show full text]
  • 60 Years of Mastering Concurrent Computing Through Sequential Thinking Sergio Rajsbaum, Michel Raynal
    60 Years of Mastering Concurrent Computing through Sequential Thinking Sergio Rajsbaum, Michel Raynal To cite this version: Sergio Rajsbaum, Michel Raynal. 60 Years of Mastering Concurrent Computing through Sequential Thinking. ACM SIGACT News, Association for Computing Machinery (ACM), 2020, 51 (2), pp.59-88. 10.1145/3406678.3406690. hal-03162635 HAL Id: hal-03162635 https://hal.archives-ouvertes.fr/hal-03162635 Submitted on 17 Jun 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 60 Years of Mastering Concurrent Computing through Sequential Thinking ∗ Sergio Rajsbaumy, Michel Raynal?;◦ yInstituto de Matemáticas, UNAM, Mexico ?Univ Rennes IRISA, 35042 Rennes, France ◦Department of Computing, Hong Kong Polytechnic University [email protected] [email protected] Abstract Modern computing systems are highly concurrent. Threads run concurrently in shared-memory multi-core systems, and programs run in different servers communicating by sending messages to each other. Concurrent programming is hard because it requires to cope with many possible, unpre- dictable behaviors of the processes, and the communication media. The article argues that right from the start in 1960’s, the main way of dealing with concurrency has been by reduction to sequential reasoning.
    [Show full text]
  • Session 6 Software Design Patterns
    I402A Software Architecture and Quality Assessment Session 6 Software Design Patterns Sébastien Combéfis Fall 2019 This work is licensed under a Creative Commons Attribution – NonCommercial – NoDerivatives 4.0 International License. Objectives Implementation pattern and excellence in programming Communication, simplicity and flexibility Other categories of software design patterns Concurrency patterns for synchronisation, communication, etc. Architectural patterns in relation with enterprise solutions Green patterns for sustainable development 3 Implementation Pattern Implementation Pattern One should aim for excellence in programming Best program offerts best extension option, has no unrelated elements and is easy to understand Three values that are important to strive to excellence Communication: read can understand, modify and use Simplicity: no unnecessary complexity for the program Flexibility: allows for easy evolution and changes 5 Principle (1) Structure the code to ensure local consequences A change “here” can not result in a problem “there” Minimise repetitions of code, structure, algorithm, etc. Duplication, parallel class hierarchies, similar code Keep together data and the logic manipulating them Following the object oriented programming paradigm 6 Principle (2) Make explicit symmetry at different levels The presence of an add should suggest a remove Express intentions as declaratively as possible Use annotations in imperative programming Gather code and data by change rate Allows changes to the same place at the same time 7
    [Show full text]
  • POJO in Action.Book
    SAMPLE CHAPTER POJOs in Action by Chris Richardson Chapter 2 Copyright 2006 Chris Richardson contents PART 1OVERVIEW OF POJOS AND LIGHTWEIGHT FFFFFFFFFFFFFFFFRAMEWORKS .............................................1 Chapter 1 ■ Developing with POJOs: faster and easier 3 Chapter 2 ■ J2EE design decisions 31 PART 2A SIMPLER, FASTER APPROACH................... 59 Chapter 3 ■ Using the Domain Model pattern 61 Chapter 4 ■ Overview of persisting a domain model 95 Chapter 5 ■ Persisting a domain model with JDO 2.0 149 Chapter 6 ■ Persisting a domain model with Hibernate 3 195 Chapter 7 ■ Encapsulating the business logic with a POJO façade 243 PART 3VARIATIONS ........................................... 287 Chapter 8 ■ Using an exposed domain model 289 Chapter 9 ■ Using the Transaction Script pattern 317 Chapter 10 ■ Implementing POJOs with EJB 3 360 vii viii BRIEF CONTENTS PART 4DEALING WITH DATABASES AND CCCCCCCCCCCCCONCURRENCY .......................................405 Chapter 11 ■ Implementing dynamic paged queries 407 Chapter 12 ■ Database transactions and concurrency 451 Chapter 13 ■ Using offline locking patterns 488 J2EE design decisions This chapter covers ■ Encapsulating the business logic ■ Organizing the business logic ■ Accessing the database ■ Handling database concurrency 31 32 CHAPTER 2 J2EE design decisions Now that you have had a glimpse of how POJOs and lightweight frameworks such as Spring and JDO make development easier and faster, let’s take a step back and look at how you would decide whether and how to use them. If we blindly used POJOs and lightweight frameworks, we would be repeating the mistake the enter- prise Java community made with EJBs. Every technology has both strengths and weaknesses, and it’s important to know how to choose the most appropriate one for a given situation.
    [Show full text]
  • Patterns in Flexible Server Application Frameworks
    Patterns in Flexible Server Application Frameworks James C. Hu Christopher D. Gill [email protected] [email protected] Entera, Inc. Department of Computer Science Fremont, CA, USA Washington University St. Louis, MO, USA Abstract This article describes a collection of recurring patterns in the context of flexible server application frameworks. These patterns are organized into three categories, corresponding to distinct architectural levels of scale: foundation, scaffolding, and framework. In addition to identifying well-known patterns at each of these levels, this article describes three new patterns: the Concrete Bridge pattern at the founda- tion level, and the Library and Strategized Concurrency patterns at the framework level. 1 Introduction The context of this paper comes from experience designing, developing, refining, refac- toring, and reimplementing an object-oriented framework in C++ called the JAWS Adaptive Web System (JAWS). JAWS is an application framework for Web servers, de- signed as a research tool to study sytematically how different design decisions impact the performance of a server. Achieving this required that the framework efficiently fac- tor out differences in threading strategies (e.g., thread pool versus thread-per-request), event completion strategies (e.g., synchronous versus asynchronous), protocol speci- fications (e.g., HTTP, RTSP, FTP, etc.), and algorithms (e.g., cache replacement algo- rithms, hash algorithms, lookup algorithms, etc.). JAWS factors out these points of variation by employing classic design patterns [1], discovering new design patterns, and leveraging components available in the ACE [2] framework, upon which JAWS is built [3]. A full discussion of the JAWS framework is beyond the scope of this paper, but a detailed description can be found in [4].
    [Show full text]
  • CS110 Lecture 10: Threads and Mutexes
    CS110 Lecture 10: Threads and Mutexes Principles of Computer Systems Winter 2020 Stanford University Computer Science Department Instructors: Chris Gregg and Nick Troccoli PDF of this presentation 1 CS110 Topic 3: How can we have concurrency within a single process? 2 Learning About Processes Mutexes and Condition Introduction to Multithreading Condition Variables and Threads Patterns Variables Semaphores 2/3 Today 2/10 2/12 3 Today's Learning Goals Discover some of the pitfalls of threads sharing the same virtual address space Learn how locks can help us limit access to shared resources Get practice using condition variables to wait for signals from other threads 4 Plan For Today Recap: Threads in C++ Races When Accessing Shared Data Introducing Mutexes Break: Announcements Dining With Philosophers 5 Plan For Today Recap: Threads in C++ Races When Accessing Shared Data Introducing Mutexes Break: Announcements Dining With Philosophers 6 Threads A thread is an independent execution sequence within a single process. Most common: assign each thread to execute a single function in parallel Each thread operates within the same process, so they share global data (!) (text, data, and heap segments) They each have their own stack (e.g. for calls within a single thread) Execution alternates between threads as it does for processes Many similarities between threads and processes; in fact, threads are often called lightweight processes. 7 Threads vs. Processes Processes: isolate virtual address spaces (good: security and stability, bad: harder to share info) can run external programs easily (fork-exec) (good) harder to coordinate multiple tasks within the same program (bad) Threads: share virtual address space (bad: security and stability, good: easier to share info) can't run external programs easily (bad) easier to coordinate multiple tasks within the same program (good) 8 C++ thread A thread object can be spawned to run the specified function with the given arguments.
    [Show full text]
  • Proceedings of the 12Th International Conference on Characteristics That Make One Method More Efficient Space Operations, Spaceops
    The 26th International Conference ON Automated Planning AND Scheduling June 12-17, 2016. London, UK DoctorAL Consortium Dissertation AbstrACTS The DoctorAL Consortium BRINGS TOGETHER JUNIOR AND EXPERIENCED RESEARCHERS IN planning, SCHEDULING AND RELATED AREAS FROM ACROSS THE globe, IN PARTICULAR THOSE STUDYING FOR A DoctorAL degree. It PROVIDES A FORUM FOR NETWORKING WITH THE ICAPS COMMUNITY IN AN informal, SOCIAL setting. The DoctorAL Consortium WILL BE HELD AS A FULL DAY WORKSHOP ON June 12th, 2016. The PROGRAM INCLUDES AN INVITED TALK ON RESEARCH SKILLS AND CAREER DEVelopment, THE OPPORTUNITY FOR PARTICIPANT TO GIVE A SHORT presentation, AND A POSTER SESSION DURING THE MAIN conference. DC Chairs: • PETER Gregory (UnivERSITY OF Teeside, UK) • LEE McCluskEY (UnivERSITY OF Huddersfield, UK) • Fabio Mercorio (UnivERSITY OF Milan-Bicocca, Italy) AbstrACTS 1 Heuristic Search AND Applications ......................................... 3 Automated Planning AND Scheduling E0 Constellations’ OperATIONS USING Ant ColonY Optimization ... 4 Evridiki Ntagiou SolvER PARAMTER TUNING AND Runtime Predictions OF FleXIBLE Hybrid Mathematical MODELS ......... 10 Michael Barry Constructing Heuristics FOR PDDL+ Planning Domains ............................... 15 Wiktor PiotrOWSKI Risk-SensitivE Planning WITH Dynamic Uncertainty ................................. 21 Liana Marinescu 2 Multi Agent Planning & Plan ExECUTION ...................................... 27 A Distributed Online Multi-Agent Planning System ................................. 28 Rafael CarDOSO
    [Show full text]
  • Wiley & Sons, Inc
    Y L F M A E T Team-Fly® JavaJava™ EnterpriseEnterprise Design Patterns Patterns in JavaTM, Volume 3 MARK GRAND MARK GRAND John Wiley & Sons, Inc. New York ● ChichesterJohn● Weinheim Wiley &● Sons,Brisbane Inc. ● Singapore ● Toronto New York ● Chichester ● Weinheim ● Brisbane ● Singapore ● Toronto Publisher: Robert Ipsen Editor: Theresa Hudson Developmental Editor: Kathryn A. Malm Managing Editor: Angela Smith New Media Editor: Brian Snapp Text Design & Composition: Designations used by companies to distinguish their products are often claimed as trademarks. In all instances where John Wiley & Sons, Inc., is aware of a claim, the product names appear in initial capital or ALL CAPITAL LETTERS. Readers, how- ever, should contact the appropriate companies for more complete information regarding trademarks and registration. This book is printed on acid-free paper. ●∞ Copyright © 2002 by Mark Grand. All rights reserved. Published by John Wiley & Sons, Inc., New York Published simultaneously in Canada. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, scanning or otherwise, except as permitted under Sections 107 or 108 of the 1976 United States Copyright Act, without either the prior written permission of the Publisher, or authorization through payment of the appropriate per-copy fee to the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923, (978) 750-8400, fax (978) 750-4744. Requests to the Publisher for permission should be addressed to the Permissions Department, John Wiley & Sons, Inc., 605 Third Avenue, New York, NY 10158-0012, (212) 850-6011, fax (212) 850-6008, E-Mail: PERMREQ @ WILEY.COM.
    [Show full text]
  • On Enabling Technologies for the Internet of Important Things
    SPECIAL SECTION ON CYBER-PHYSICAL SYSTEMS Received December 31, 2018, accepted February 7, 2019, date of publication February 25, 2019, date of current version March 13, 2019. Digital Object Identifier 10.1109/ACCESS.2019.2901509 On Enabling Technologies for the Internet of Important Things MARTEN LOHSTROH 1, (Member, IEEE), HOKEUN KIM 1, JOHN C. EIDSON1, (Life Fellow, IEEE), CHADLIA JERAD2, BETH OSYK3, AND EDWARD A. LEE 1, (Fellow, IEEE) 1Department of Computer Sciences and Electrical Engineering, University of California at Berkeley, Berkeley, CA 94720, USA 2National School of Computer Sciences, University of Manouba, Manouba 2010, Tunisia 3Edge Case Research, Pittsburgh, PA 15201, USA Corresponding author: Marten Lohstroh ([email protected]) This work was supported in part by the National Science Foundation (NSF), under Award CNS-1836601 (Reconciling Safety with the Internet), in part by the iCyPhy Research Center (Industrial Cyber-Physical Systems, supported by Avast, Camozzi Industries, Denso, Ford, Siemens, and Toyota), and in part by the Fulbright Scholar Program, a program of the United States Department of State Bureau of Educational and Cultural Affairs. ABSTRACT The Internet of Things leverages Internet technology in cyber-physical systems (CPSs), but the protocols and principles of the Internet were designed for interacting with information systems, not cyber- physical systems. For one, timeliness is not a factor in any widespread Internet technology, with quality- of-service features having been routinely omitted for decades. In addition, for things, safety, freedom from physical harm, is even more important than information security, the focus on the Internet. Nevertheless, properties of the Internet are valuable in CPSs, including a global namespace, reliable (eventual) delivery of messages, end-to-end security through asymmetric encryption, certificate-based authentication, and the ability to aggregate data from a multiplicity of sources in the cloud.
    [Show full text]