https://pleiad.dcc.uchile.cl/aspectscript/ 2026-04-15T15:25:04+00:00 https://pleiad.dcc.uchile.cl/aspectscript/ https://pleiad.dcc.uchile.cl/aspectscript/lib/tpl/bootstrap3/images/favicon.ico text/html 2011-01-12T05:20:51+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.dcc.uchile.cl/aspectscript/otm/lc?rev=1294809651&do=diff Explanation! Go OTM home. text/html 2011-12-21T03:20:52+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.dcc.uchile.cl/aspectscript/otm/matchercells?rev=1324437652&do=diff This is the web page. text/html 2011-06-27T09:19:35+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.dcc.uchile.cl/aspectscript/otm/ordering_of_messages?rev=1309166375&do=diff Controlling Message Causality A Web application can send several Ajax requests to different servers. However, the application can retrieve and process the server responses in an arbitrary order; meaning that this application may behave nondeterministically due to the lack of control of the causality between Ajax requests and server responses. For example, the figure shows that if a WebApp sends two Ajax requests to a server, two scenarios are possible:the server returns server response 1 foll… text/html 2010-06-03T16:11:37+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.dcc.uchile.cl/aspectscript/otm/paperexample?rev=1275581497&do=diff The restrictive discount feature in the Boutique Web Application The Boutique store sells clothing online: the catalogue of this boutique can be viewed on a website, and clients can place their orders online. A client adds products from the catalogue to a virtual shopping cart in a dedicated page, which displays each product added with its price. Besides, this page contains a checkout form asking for a desired payment method. text/html 2011-01-12T05:21:32+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.dcc.uchile.cl/aspectscript/otm/s?rev=1294809692&do=diff Explanation Go OTM home. text/html 2011-06-27T09:14:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://pleiad.dcc.uchile.cl/aspectscript/otm/the_matching_of_causal_sequences?rev=1309166089&do=diff Social network applications like Twitter and Facebook are another kind of Web application. Nowadays, these applications are widely used, making the analysis of their flow of information an active research topic. This flow of information is analyzed through the messages sent and received between users of these applications. Such an analysis is complex due to the need to observe and react to distributed causal relations that occur among user interactions. As an example of the analysis of the flow …