Statecharts: A visual formalism for complex systems
Science of Computer Programming
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Theoretical Computer Science
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
AnWeb: a system for automatic support to web application verification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Code synthesis for timed automata
Nordic Journal of Computing
Modeling web applications reacting to user behaviors
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
YAWL: yet another workflow language
Information Systems
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
| Hi-index | 0.00 |
We developed XAL, a framework that, in our opinion, allows to build web-oriented applications and services in a more productive way. The core of the framework is a programming language based upon timed-automata. We believe this formalism reflects the nature of many web-oriented applications, each page being a state, and each link being a transition toward another state. Once the programmer defined the set of states that characterize the application, she/he can provide a behavior to each single state, binding the state to a small program written in its favorite programming language. Furthermore, we realized that often companies require an application to behave differently depending on some conditions over real-time. Our language, being a modified version of the timed-automata, allows the programmer to specify constraints over real-time in a declarative way, rather than mix them within the logic of the application.