Keynote Speakers
We are glad to announce the keynote speeches of Prof. Dr. David Harel (The William Sussman Professorial Chair at the Dept. of Computer Science and Applied Mathematics, The Weizmann Institute of Science), Prof. Dr. David Luckham (Professor Emeritus of Electrical Engineering, Stanford University) and Dr. Benjamin Grosof (Senior Research Program Manager at Vulcan Inc.)
Prof. Dr. David Harel
Title: "Some Thoughts on Behavioral Programming"
Abstract
Abstract
The talk starts from a dream/vision paper I published in 2008, whose title is a play on that of John Backus' famous Turing Award Lecture (and paper). I will propose that --- or rather ask whether --- programming can be made to be a lot closer to the way humans think about dynamics, and the way they manage to get others (e.g., their children, their employees, etc.) to do what they have in mind. Technically, the question is whether we can liberate programming from its three main straightjackets: (1) having to directly produce a precise artifact in some language; (2) having actually to produce two separate artifacts (the program and the requirements) and having then to pit one against the other; (3) having to program each piece/part/object of the system separately. The talk will then get a little more technical, providing some evidence of feasibility of the dream, via LSCs and the play-in/play-out approach to scenario-based programming. The entire body of work around these ideas can be framed as a paradigm that we have begun to term behavioral programming.
Biography
Prof. David Harel has been at the Weizmann Institute of Science in Israel since 1980, and is incumbent of the William Sussman Professorial Chair. He was Head of the Department of Applied Mathematics and Computer Science from 1989 to 1995, and was Dean of the Faculty of Mathematics and Computer Science from 1998 for seven years. He currently heads the John von Neumann Minerva Center for the Development of Reactive Systems.
He received a BSc from Bar-Ilan University (1974), an MSc from Tel-Aviv University (1976) and a PhD from the Massachusetts Institute of Technology (1978). He has spent two years at IBM's Yorktown Heights research center, sabbatical years at Carnegie-Mellon University, Cornell University and the University of Edinburgh, and shorter visiting positions at IBM, Lucent Technologies Bell Labs, DEC, NASA, University of Birmingham, Verimag, the National University of Singapore and Microsoft Research Cambridge. From 1991 to1999 he was an adjunct professor at the Open University of Israel. He was also co-founder of I-Logix, Inc. in 1984, which was acquired by Telelogic in 2006, which, in turn, was acquired by IBM in 2008.
In the past he has worked in several areas of theoretical computer science, including computability theory, logics of programs, database theory, and automata theory. Over the years, his activity in these areas diminished, and he has become involved in several other areas, including software and systems engineering, object-oriented analysis and design, visual languages, layout of diagrams, modeling and analysis of biological systems, and the synthesis and communication of smell. He has published widely on these topics, including several books. He is the inventor of the language of statecharts, and co-inventor of live sequence charts (LSCs) and of the idea of reactive animation (2002). He was part of the team that designed the tools Statemate (1984-1987), Rhapsody (1997) and the Play-Engine (2003). His work is central to the behavioral aspects of the UML. He has put forward grand challenges for liberating programming, for modeling an entire multi-cellular organism, and for a system of odor communication and synthesis.
He has devoted part of his time to educational and expository work: In 1984 he delivered a lecture series on Israeli radio, and in 1998 he hosted a series of programs on Israeli television. Some of his writing is intended for a general audience; see, for example, Computers Ltd.: What They Really Can't Do (2000) and Algorithmics: The Spirit of Computing (1987, 1992, 2004).
His awards include the ACM Karlstrom Outstanding Educator Award (1992), the Stevens Award in Software Development Methods (1996), the Israel Prize in Computer Science (2004), the ACM SIGSOFT Outstanding Research Award (2006), the ACM Software System Award (2007), the ACM SIGSOFT Impact Paper Award (2008), and honorary degrees from the University of Rennes (2005), the Open University of Israel (2006) and the University of Milano-Bicocca(2007). He is a Fellow of the ACM (1994), of the IEEE (1995) and of the AAAS (2007), and was elected member of the Academia Europaea (2006) and of the Israel Academy of Sciences and Humanities (2010).
Prof. Dr. David Luckham
Title: "Event Processing 2010: Past, Present, and Future"
Abstract
The science and technology of event processing is the best answer we have to keeping pace with the explosion of critical event data in our enterprises today, and automating management decisions based upon their implications in milliseconds. This presentation will analyze the various dimensions of event processing applications and draw conclusions about future developments in event processing and its potential to integrate disparate IT spaces.
This presentation will:
- trace how event processing has developed from its early beginnings in networks and event driven simulation to its present surprisingly broad application space
- describe specific examples of how simple event analytics could have prevented recent calamities in enterprise operations and cyber security.
- survey the present uses of event processing in commerce, pure science, critical infrastructure and military operations
- outline how event processing can be applied to the challenges created by the growing pervasiveness of IT and increasing demand for analytics and real-time operational intelligence.
Biography
David Luckham has held faculty and invited faculty positions in mathematics, computer science and electrical engineering at eight major universities in Europe and the United States. He was one of the founders of Rational Software Inc. in 1981, supplying both the company's initial software product and the software team that founded the company. He has been an invited lecturer, keynote speaker, panelist, and USA delegate at many international conferences and congresses. Currently, he is Professor Emeritus of Electrical Engineering, Stanford University.
His research and consulting activities in business and software technology are aimed at building real time event-driven enterprises. Topics include event-driven systems, complex event processing, business activity monitoring, enterprise middleware, multi-processing and business process languages, event-driven systems architecture modeling and simulation, and artificial intelligence (automated deduction and reasoning systems).
He has published five books and over 100 technical papers; two ACM/IEEE Best Paper Awards, several of his papers are now in historical anthologies and book collections. His book, "The Power of Events", in 2002 laid the foundations for high level event processing in real-time business and intelligence gathering systems. His latest book on recent developments in event processing is due to be published by Wiley.
Dr. Benjamin Grosof
Title: "Semantic Technology for Services Engineering:
New Opportunities from Rules"
New Opportunities from Rules"
Abstract
We overview recent progress in the area of semantic rules, and how this creates new opportunities for several aspects of services engineering.
We focus on semantic rules that are based on declarative logic programs (LP) knowledge representation (KR) rather than just classical logic. Recent fundamental advances extend these to include defaults, higher-order, object-orientedness, reactiveness (actions and events), and webized dynamic knowledge interchange -- while retaining strong computational scalability. A state-of-the-art example of such rules is the SILK language and system that we are building at Vulcan. Semantic rules expressively supersume relational and web database query languages (SQL and W3C SPARQL), the most practically important semantic web ontology languages (W3C RDF-Schema and OWL RL), and the heart of the most commercially important business rule languages (production rules). They are the main basis for W3C Rule Interchange Format currently in late draft.
Long-standing challenges in the area of services engineering include how to represent effectively: process descriptions that are both structural and causal yet also partial and evolving at multiple grain sizes. Services management tasks across the whole services lifecycle can exploit the recent advances in semantic rules. Potential business value lies particularly in frequently-performed tasks for monitoring, compliance, and confidentiality. But earlier-lifecycle tasks of advertising, discovery, composition, and contracting can benefit significantly as well. Another overall potential benefit is tighter integration of exceptional and ad-hoc workflows with regularized business processes. Industry vertical areas of applicability include e-commerce, e-science, health, security/defense, business intelligence, financial, social networking, travel, news, and many others. We give examples, and briefly roadmap several strategic aspects.
Biography
Benjamin Grosof is a senior research program manager in knowledge systems at Vulcan Inc., the parent company of Paul G. Allen (co-founder of Microsoft). In addition, he has a part-time expert consulting business (Benjamin Grosof & Associates, LLC) advising companies large and small on software technology and related strategy (since 2000). Previously he was a professor of Information Technology at MIT, in the Sloan School of Management (2000-2007), and a senior software research scientist at IBM Research (1988-2000). He holds a PhD in Computer Science from Stanford University, with specialty in Artificial Intelligence (AI), and a BA in Applied Mathematics (with specialty in Economics and Management Science) from Harvard University.
He has pioneered semantic (knowledge-based) technology and standards for:
- rules;
- their combination with ontologies;
- and the semantic web.
He co-founded the influential RuleML industry standards design effort. He was lead inventor of the rule-based technique which rapidly became the currently dominant approach to commercial implementation of OWL. Two W3C industry standards are based largely on his work: Rule Interchange Format (RIF, currently in last phase of finalization) and Web Ontology Language's Rule-based subset (OWL 2 RL Profile, 2009). His notable technical contributions also include fundamental advances in conflict handling for rules (i.e., defaults) and integration of rules with machine learning. He co-founded the International Conference on Rules and Rule Markup Languages for the Semantic Web (which since became the RR and RuleML conferences). He is author of over 50 refereed publications, three major industry software releases, and two patents. He has interacted extensively with a large variety of companies, at CXO level as well as technically, in the course of his research, standards, and consulting activities.
At Vulcan, he conceived and leads a new large advanced research program in the area of rule-based semantic technologies and AI, within Vulcan's overall Project Halo. This includes:
- creation of the game-changing SILK knowledge representation (KR) core technology;
- applying its KR techniques immediately to scientific question-answering, search, and semantic wiki knowledge networking; and
- exploring its longer-term implications in business and government.
At MIT and IBM, his research involved the creation of applied, as well as core, semantic technologies for web-based e-services and business communication. This included pioneering work in three areas:
- e-commerce, including business policies for e-contracts, shopping, and advertising, as well as early commercial intelligent agents;
- information integration in financial services and reporting; and
- policy-based security/privacy trust authorization.
It also included a variety of other application domains, particularly: e-services engineering, including lifecycle reuse of knowledge and business process management; business and defense intelligence; health care patient records; personalization, including in communications and news; operations management for customer service; and travel. He was prime designer and project leader for the SweetRules open source platform for semantic rules and ontologies on the web (2004), which prototyped RuleML, while principal investigator and rules co-lead in the DARPA Agent Markup Language (DAML) program. He was a lead author of the Semantic Web Services Framework (2005). He conceived and led IBM CommonRules (1999) and co-led its application piloting for rule-based XML agent contracting in EECOMS, a $29 Million NIST industry-government consortium project on manufacturing supply chain collaboration.
IEEE EDOC 2010 Sponsors
 |
 |
 |
In Cooperation With
Supporters
 |
 |
|
Patrons
| | ||