Patterns, Programming and Everything

Transcription

1 Patterns, Programming and Everything

2 Karin K. Breitman R. Nigel Horspool Editors Patterns, Programming and Everything

3 Editors Karin K. Breitman Informatics Department PUC-Rio Rio de Janeiro, RJ, Brazil R. Nigel Horspool Department of Computer Science University of Victoria Victoria, BC, Canada ISBN ISBN (ebook) DOI / Springer London Heidelberg New York Dordrecht Library of Congress Control Number: Springer-Verlag London 2012 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Printed on acid-free paper Springer is part of Springer Science+Business Media (

4 Foreword I was absolutely delighted to be asked to write the forward to this book, which is a tribute to a friend, a colleague and a great computer scientist. I have known Judith since we did our PhDs together at the University of Southampton. We both graduated in 1977 from the Department of Mathematics. I was studying Pure Mathematics, Judith was one of the minority in the Department studying the new subject of Computer Science and she has been a pioneer of the subject ever since. She came to Southampton from South Africa to work with David Barron. In those days they were breaking new ground by developing new compiler techniques to overcome the disastrous performance issues of the computers of that era. The significance of the work was demonstrated through its take up by industry. After her PhD was finished, Judith quickly grasped the significance of the newly emerging Ada programming language for distributed programming a topic which few were ready to recognise or grapple with at the time and became an international expert in the development of the language in no time at all. Her book writing career started around this time with her monograph on Data Abstraction in Programming Languages. She continued to develop her ideas about distributed programming and parallel computing throughout the 1980 s during which time we both found ourselves back at Southampton working in the Department of Computer Science. Judith was a tremendous help to me at the time because of her wealth of experience in research and teaching computer science. I was a new comer to the field and found her books on programming, particularly Pascal which was the standard teaching language of the time, both easy to read and incredibly rich in practical examples. She managed to bring the language alive to her readers, which is something that seems to elude most authors of computer science texts. Always ahead of the crowd, she spotted the importance of Java in the post-web era, and wrote the first Java text-book. Her work on Java web-frameworks was taken up by industry and put her and her team at Pretoria firmly on the international map. She then moved onto the world of.net and C#. Her work in this area was very v

5 vi Foreword highly valued by Microsoft, and she was frequently asked to speak at meetings organised by the company a portent of things to come. Through her books, her frequent appearance at conferences and her work on international committees such as IFIP, Judith became very well known on the international stage. Her books have been translated into five other languages and sold around the world. She is always one of the first to spot new trends in computer science and to both apply them in her research and introduce them to her students and the wider world through her books. As one would expect from reading her textbooks, Judith is a wonderful teacher. She really cares about her students and works to instil in them the love for computer science she has herself. She is also a very experienced research supervisor and her students can now be found in any number of research laboratories around the world. Over the years, her work has been taken up and used by industry and she was a valued industrial consultant. Building on this and ever ready for a challenge, Judith moved both continents and career paths to join Microsoft Research as Director of Computer Science in She has thrown herself into this new role with her usual mix of enthusiasm and professionalism and has made the role very much her own. Having talked so much about her career and the impact she has had on the international computer science community, I must also add that Judith is one of the kindest most generous people it has been my privilege to work with and I am proud to be able to call her one of my closest friends. She gives far more than she takes from her interactions with everyone she meets. The list of authors of the papers in this book is testament to the fact that so many leading computer scientists around the world feel the same way as I do. Southampton, UK Wendy Hall

6 Preface This volume contains contributions written by authors who have all worked in some capacity with Judith Bishop during her distinguished career. When Judith reached a certain milestone in her age (and we will leave the reader to figure out which one), we had the idea of putting together this book in recognition of her career and her accomplishments. We contacted various researchers and industry professionals who have worked with Judith and asked them if they would be willing to contribute material for this book. Their responses were overwhelmingly positive. Please note that we made a deliberate decision not to invite any colleagues from her current employer, Microsoft Research, to contribute material as this might have led to conflict of interest issues. However we made an exception for Tony Hey who is Judith s superior at Microsoft Research; he graciously agreed to provide an Afterword for this volume. Since Tony represents the last place where Judith has worked, we thought that it would be symmetric to have a Foreword from someone at the first place where she worked. That someone is Wendy Hall from the University of Southampton. We are grateful to her too. The material in this book spans a wide variety of research areas. The variety reflects the many research interests of Judith and her collaborators, and also reflects her transitions from one important research area to another over the course of her career. We have also included two contributions which are anything but Patterns (or Programming). We leave it to the reader to discover which ones these are. We hope you will find them to be as amusing as we did. We thank every author for contributing their time and energy into helping this book come to fruition. We also thank Springer for publishing this volume and for providing their help. Victoria, Canada Rio de Janeiro, Brazil R. Nigel Horspool Karin Breitman vii

7 Contents Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?... 1 Marco Autili, Paola Inverardi, and Massimo Tivoli A Bestiary of Overlooked Design Patterns John Aycock End User Programming in Smart Home Vilmos Bilicki, Zoltán Rak, Miklós Kasza, Ádám Végh, Róbert Béládi, and Tibor Gyimóthy Reconceptualizing Bottom-Up Tree Rewriting K. John Gough Automated Adaptation of Component Interfaces with Type Based Adaptation Thomas Gschwind The Benefits of Bad Teaching Derrick G. Kourie SSA-Based Simulated Execution Jonas Lundberg, Mathias Hedenborg, and Welf Löwe Towards a Calculus of Object Programs Bertrand Meyer Formal Specification as High-Level Programming: The ASSL Approach. 129 Emil Vassev and Mike Hinchey Atomicity in Real-Time Computing Jan Vitek ix

8 x Contents Tuning Keyword Pattern Matching Bruce W. Watson An Afterword for Judith: The Next Phase of Her Career Tony Hey Author Index...175

9 Contributors Marco Autili Dipartimento di Informatica, Università degli Studi di L Aquila, L Aquila, Italy John Aycock Department of Computer Science, University of Calgary, Calgary, Alberta, Canada Róbert Béládi Department of Software Engineering, University of Szeged, Szeged, Hungary Vilmos Bilicki FrontEndART Software Ltd, Szeged, Hungary K. John Gough School of Computer Science, Queensland University of Technology, Brisbane, Australia Thomas Gschwind Zurich Research Laboratory, IBM, Rüschlikon, Switzerland Tibor Gyimóthy Department of Software Engineering, University of Szeged, Szeged, Hungary Mathias Hedenborg School of Computer Science, Mathematics, and Physics, Linnaeus University, Växjö, Sweden Mike Hinchey Lero the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland Paola Inverardi Dipartimento di Informatica, Università degli Studi di L Aquila, L Aquila, Italy Miklós Kasza Department of Software Engineering, University of Szeged, Szeged, Hungary Derrick G. Kourie Fastar Research Groups, Department of Computer Science, University of Pretoria, Pretoria, South Africa Welf Löwe School of Computer Science, Mathematics, and Physics, Linnaeus University, Växjö, Sweden xi

10 xii Contributors Jonas Lundberg School of Computer Science, Mathematics, and Physics, Linnaeus University, Växjö, Sweden Bertrand Meyer ITMO & Eiffel Software, ETH Zurich, Zürich, Switzerland Zoltán Rak FrontEndART Software Ltd, Szeged, Hungary Massimo Tivoli Dipartimento di Informatica, Università degli Studi di L Aquila, L Aquila, Italy Emil Vassev Lero the Irish Software Engineering Research Centre, University of Limerick, Limerick, Ireland Ádám Végh Department of Software Engineering, University of Szeged, Szeged, Hungary Jan Vitek Computer Science Faculty, Purdue University, West Lafayette, USA Bruce W. Watson FASTAR Research Group, Center for Knowledge Dynamics and Decision-Making, Stellenbosch University, Stellenbosch, Republic of South Africa