11 research outputs found
Specification of a Service Oriented Architecture for Advertising Games
A critical issue of distributed systems is concerned with the advertising task. Current solutions require an ex-ante agreement on a common shared language. Although such an approach is feasible from the technological point of view, it is not effective in practice. The process of managing this agreement may present social implications that make the solution difficult to achieve. Recent trends in research propose a new approach based on advertising games where the agreement on a common language is produced at run time. Nevertheless up to now such a model has been studied only through simulations with standalone platforms. We present the specifications of the first web services oriented architecture for advertising game
Specification of the Control Logic of an eVoting System in UML: the ProVotE experience
The ProVotE project aims at actuating art. 84 of law 2 - 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections. The goals of the project are building an e-voting system and defining the related process and certification issues in order to deliver a solution which is compliant with the italian electoral law, that is trusted and usable by the voters, and that implements the security and dependability requirements of the best international practices and experiences. This paper presents some of the issues and challenges we faced during the development of the e-voting prototype which was tested by about 8500 voters in three different trials held during the elections for the local representatives. In particular we show how we integrated UML in the development process of the e-voting machine. We also highlight how we extended existing tools to support the formal verification of the UML specifications and how we automated the generation of a critical component of the e-voting machine using UML statecharts
A Service Oriented Architecture for Advertising Games
A critical issue of distributed systems is concerned with the advertising task. Current solutions require an ex-ante agreement on a common shared language. Although such an approach is feasible from the technological point of view, it is not effective in practice. The process of managing this agreement may present social implications that make the solution difficult to achieve. Recent trends in research pro- pose a new approach based on advertising games where the agreement on a common language is produced at run time. Nevertheless up to now such a model has been studied only through simulations with standalone platforms. Our contribution is the design and the development of the first web services oriented architecture for advertising games. Therefore we approached all the issues typical of distributed systems neglected by the simulators like asynchronous communications, denial of services, and so on. Finally we present a real world application where the architecture has been deployed to support the advertising task using an advertising game mode
Generating valid grammar-based test inputs by means of genetic programming and annotated grammars
Generating valid grammar-based test inputs by means of genetic programming and annotated grammars
Automated generation of system level tests for grammar based systems requires the generation of complex and highly structured inputs, which must typically satisfy some formal grammar. In our previous work, we showed that genetic programming combined with probabilities learned from corpora gives significantly better results over the baseline (random) strategy. In this work, we extend our previous work by introducing grammar annotations as an alternative to learned probabilities, to be used when finding and preparing the corpus required for learning is not affordable. Experimental results carried out on six grammar based systems of varying levels of complexity show that grammar annotations produce a higher number of valid sentences and achieve similar levels of coverage and fault detection as learned probabilities