Model-based, event-driven programming paradigm for interactive web applications

Authors:
Aleksandar Milicevic;Daniel Jackson;Milos Gligoric;Darko Marinov
Affiliations:
Massachusetts Institute of Technology, Cambridge, MA, USA;Massachusetts Institute of Technology, Cambridge, MA, USA;University of Illinois at Urbana Champaign, Urbana, IL, USA;University of Illinois at Urbana Champaign, Urbana, IL, USA
Venue:
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Year:
2013

Citing 57
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The mythical man-month (anniversary ed.)

The mythical man-month (anniversary ed.)
Role-Based Access Control Models

Computer
Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
JFlow: practical mostly-static information flow control

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Symbolic execution and program testing

Communications of the ACM
Protecting privacy using the decentralized label model

ACM Transactions on Software Engineering and Methodology (TOSEM)
Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
Lattice-Based Access Control Models

Computer
Formalizing Design Spaces: Implicit Invocation Mechanisms

VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Protection

ACM SIGOPS Operating Systems Review
TinyGALS: a programming model for event-driven embedded systems

Proceedings of the 2003 ACM symposium on Applied computing
A logic-based framework for attribute based access control

Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Positive active XML

PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Verification and change-impact analysis of access-control policies

Proceedings of the 27th international conference on Software engineering
From statecharts to ESP: programming with events, states and predicates for embedded systems

Proceedings of the 5th ACM international conference on Embedded software
Attributed Based Access Control (ABAC) for Web Services

ICWS '05 Proceedings of the IEEE International Conference on Web Services
Implementing declarative overlays

Proceedings of the twentieth ACM symposium on Operating systems principles
Hilda: A High-Level Language for Data-DrivenWeb Applications

ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Event-driven programming for robust software

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Combinatorial sketching for finite programs

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Tasks: language support for event-driven programming

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Dytan: a generic dynamic taint analysis framework

Proceedings of the 2007 international symposium on Software testing and analysis
Software Technology in the 1990's: Using a New Paradigm

Computer
The IBM type 705 autocoder

AIEE-IRE '56 (Western) Papers presented at the February 7-9, 1956, joint ACM-AIEE-IRE western computer conference
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications

Theoretical Computer Science
Software for Dependable Systems: Sufficient Evidence?

Software for Dependable Systems: Sufficient Evidence?
Declarative networking

Communications of the ACM - Scratch Programming for All
Improving application security with data flow assertions

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Coherent reaction

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Flapjax: a programming language for Ajax applications

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Model-Driven Development with Executable UML

Model-Driven Development with Executable UML
A Framework for State-Space Exploration of Java-Based Actor Programs

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Boom analytics: exploring data-centric, declarative programming for the cloud

Proceedings of the 5th European conference on Computer systems
Complete functional synthesis

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
WPF 4 Unleashed

WPF 4 Unleashed
Node.js: Using JavaScript to Build High-Performance Network Programs

IEEE Internet Computing
The margrave tool for firewall analysis

LISA'10 Proceedings of the 24th international conference on Large installation system administration
Unifying execution of imperative and declarative code

Proceedings of the 33rd International Conference on Software Engineering
Precise identification of problems for structural test generation

Proceedings of the 33rd International Conference on Software Engineering
A rule-based language for web data management

Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Spreadsheet table transformations from examples

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Synthesizing data structure manipulations from storyboards

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
A language for automatically enforcing privacy policies

POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Netlog, a rule-based language for distributed programming

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
A fast linear-arithmetic solver for DPLL(T)

CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Specifying and reasoning about dynamic access-control policies

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
X10X: Model Checking a New Programming Language with an "Old" Model Checker

ICST '12 Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Access control: principle and practice

IEEE Communications Magazine
A unified attribute-based access control model covering DAC, MAC and RBAC

DBSec'12 Proceedings of the 26th Annual IFIP WG 11.3 conference on Data and Applications Security and Privacy
TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs

FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Synthesizing iterators from abstraction functions

Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Beginning ASP.NET 4.5 in C#

Beginning ASP.NET 4.5 in C#
Program extrapolation with jennisys

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Rubicon: bounded verification of web applications

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
Model checking database applications

TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Applications are increasingly distributed and event-driven. Advances in web frameworks have made it easier to program standalone servers and their clients, but these applications remain hard to write. A model-based programming paradigm is proposed that allows a programmer to represent a distributed application as if it were a simple sequential program, with atomic actions updating a single, shared global state. A runtime environment executes the program on a collection of clients and servers, automatically handling (and hiding from the programmer) complications such as network communication (including server push), serialization, concurrency and races, persistent storage of data, and queuing and coordination of events.