XAL: A Web Oriented Programming Language Based on Timed-Automata.

Salvatore Campana Luca Spalazzi Francesco Spegni

Published in: Web Intelligence (2008)

Keyphrases

oriented programming
timed automata
object oriented
model checking
website
multi agent
web pages
web applications
semantic web
reachability analysis
web documents
web users
web mining
temporal logic
information sources
information extraction
linked data
web data
real time
web resources
artificial intelligence