Differences

This shows you the differences between two versions of the page.

--- start [2007/08/01 09:05] – added tvcutsem
+++ start [2010/07/15 11:44] – tvcutsem
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== Ambient-Oriented Programming ======
+Ambient-Oriented Programming is a novel programming paradigm for programming spontaneous interactions between mobile and/or embedded devices.
-Welcome to our website on Ambient-Oriented Programming, a novel programming paradigm geared towards promoting and programming spontaneous interactions between different mobile and/or embedded devices.
-{{:at:atlogo.jpg?80  |:at:atlogo.jpg}} This webpage is also the home of AmbientTalk, our experimental programming language to develop applications for software running on mobile ad hoc networks. The current implementation of AmbientTalk is relatively stable. The best way to get started is to [[at:download|download]] the language and to read the [[at:tutorial:tutorial|tutorial]].
+{{:at:atlogo.jpg?80  |:at:atlogo.jpg}} This page is also the home of AmbientTalk, our experimental programming language to develop applications for software running on mobile ad hoc networks. To get started, you can read the [[at:tutorial:tutorial|tutorial]] or [[http://code.google.com/p/ambienttalk/#The_Essence_of_AmbientTalk_in_10_Steps|the essence of AmbientTalk in 10 steps]]. To experiment with the language, you can download [[http://code.google.com/p/ambienttalk/wiki/EclipsePlugin|IdeAT, our Eclipse plug-in for AmbientTalk]] or simply download a stand-alone version of [[at:download|the interpreter]] and develop code using your favorite text editor (an [[http://soft.vub.ac.be/pipermail/ambienttalk/2010-July/000043.html|Emacs mode]] and a [[http://soft.vub.ac.be/amop/downloads/at2textmate.zip|TextMate bundle]] are available).
-===== What is AmbientTalk about? =====
+<note>
+AmbientTalk is now [[http://code.google.com/p/ambienttalk|open-sourced]] on Google Code under an [[Wp>MIT_License|MIT License]]!
+[[http://code.google.com/p/ambienttalk|{{ http://code.google.com/hosting/images/code_sm.png?150 }}]]
+</note>
-Ambient-Oriented programming is a programming paradigm whose properties are derived from the characteristics of hardware platforms for mobile computing. Mobile hardware devices are often provided with wireless networks facilities, allowing them to engage in collaboration with their environment. However, the autonomous nature of these devices as well as the volatile connections over their wireless infrastructure has its repercussions on the software that employs them. The basic assumption of the Ambient-Oriented Programming paradigm is that languages should incorporate possible network failures at the heart of their programming model.
+====== What is AmbientTalk about? ======
+Ambient-Oriented programming is a programming paradigm whose properties are derived from the characteristics of hardware platforms for mobile computing. Mobile hardware devices are often provided with wireless networks facilities, allowing them to engage in collaboration with nearby devices in their environment. However, the autonomous nature of these devices as well as the volatile connections over their wireless infrastructure has its repercussions on the software that employs them. The basic assumption of the Ambient-Oriented Programming paradigm is that languages should incorporate possible network failures at the heart of their programming model.
 From this observation, several characteristics of programming languages can be derived. Our own experimental language, AmbientTalk, differs from most traditional languages because:
   * It employs a purely //event-driven// concurrency framework, founded on actors.
-  * It abandons the RPC abstraction in favor of //asynchronous, non-blocking// message passing. Because the system automatically buffers such messages while the receiver of the message is disconnected, the programmer can abstract over temporary network failures //by default//!
+  * It abandons the RPC abstraction in favor of //asynchronous, non-blocking// message passing. Because the system automatically buffers such messages while the receiver of the message is disconnected, the programmer can make abstraction from temporary network failures //by default//.
-  * It has built-in programming language constructs for objects to //discover// one another in the local ad hoc network. Peer-to-peer //service discovery// is built into the language.
+  * It has built-in programming language constructs for objects to discover one another in the local ad hoc network. Peer-to-peer //service discovery// is built into the language.
-  * It features a dynamic OO kernel language built upon the principles of prototype-based programming. More importantly, the kernel language is reflective and hence extensible from within the language itself.
+  * It features a functional, object-oriented kernel language built upon the principles of prototype-based programming (based on Scheme, Self and Smalltalk). The kernel language is reflective and hence extensible from within the language itself.
-Check out the [[at:introduction|introduction]] to AmbientTalk for a hands-on example showing you the benefits in actual code.
+Check out the [[at:introduction|introduction]] to AmbientTalk for a hands-on example showing you the benefits in actual code. Alternatively, glance at the [[at:byexample|key expressions]] in the language to get a 60-second overview of the language's design and intents.
 AmbientTalk is not our only research artifact. There is also [[crime:introduction|CRIME]], a data-driven programming language which explores the logic programming paradigm to tackle similar coordination issues in mobile ad hoc networks.
-===== Contact =====
+====== Why another programming language? ======
-The [[http://prog.vub.ac.be/mailman/listinfo/ambienttalk-user|AmbientTalk user list]], for questions and general information on AmbientTalk: ''ambienttalk-user at prog.vub.ac.be''. If you want to contact any one of us personally, please see the [[people|People pages]] for personal contact details.
+"What does a high-level language accomplish? It frees a program from much of its accidental complexity. An abstract program consists of conceptual constructs: operations, data types, sequences, and communication. The concrete machine program is concerned with bits, registers, conditions, branches, channels, disks, and such. To the extent that the high-level language embodies the constructs one wants in the abstract program and avoids all lower ones, it eliminates a whole level of complexity that was never inherent in the program at all."   - Frederick Brooks, //No Silver Bullet: Essence and Accidents of
+Software Engineering//
+====== Contact ======
+The [[http://soft.vub.ac.be/mailman/listinfo/ambienttalk|AmbientTalk mailing list]], for questions and general information on AmbientTalk: {{:listadress.gif}}. If you want to contact any one of us personally, please see the [[people|People pages]] for personal contact details.
-===== Further Reading =====
+====== Further Reading ======
 If you're interested in the Ambient-oriented Programming paradigm in general, check out the [[research:papers|papers on AmOP]] page. The seminal [[http://prog.vub.ac.be/Publications/2005/vub-prog-tr-05-10.pdf|OOPSLA2005 Onward! paper]] pretty much sums up our earliest musings on AmOP. A year later, at [[http://prog.vub.ac.be/Publications/2006/vub-prog-tr-06-11.pdf|ECOOP2006]], we refined these ideas and applied them to our first AmbientTalk prototype.
@@ Line 29: / Line 38: @@
 If you're interested in the AmbientTalk programming language, check out the [[research:atpapers|papers on AmbientTalk]] page. The [[http://prog.vub.ac.be/Publications/2006/vub-prog-tr-06-11.pdf|ECOOP2006 paper]] is the first paper describing AmbientTalk in-depth. However, since mid-2006, the language has been extensively revised. A good starting point for reading about the revised language is the [[http://prog.vub.ac.be/Publications/2007/vub-prog-tr-07-17.pdf|SCCC2007 paper]].
-===== Research Topics =====
+====== Research Topics ======
   * [[research:ambientrefs|Ambient References]]
-  * [[research:exceptions|Ambient-Oriented Exception Handling]]
+  * [[research:recap|Reactive Context-Aware Computing]]
   * [[research:context|Context-Dependent Behaviour Adaptations]]
   * [[research:dgc|Distributed Garbage Collection]]
   * [[research:modelling|Modelling for Ambient Intelligence]]
   * [[research:biomodels|Biologically-Inspired Programming Models]]