Authors:
Mark Song
1
;
Adriano Pereira
2
and
Sergio Campos
2
Affiliations:
1
Centro Universitário UNA, Brazil
;
2
Universidade Federal de Minas Gerais, Brazil
Keyword(s):
web applications, design specification, model checking, formal verification, transformation patterns.
Related
Ontology
Subjects/Areas/Topics:
Internet Technology
;
Web Information Systems and Technologies
;
Web Services and Web Engineering
Abstract:
Today, the trend in software is toward bigger, more complex systems. This is due in part to the fact that computers become more powerful every year leading users to expect more from them. People want software that is better adapted to their need which, in turn, merely makes software more complex. This trend has also been influenced by the expanding use of the internet for exchanging all kinds of information. As a new computational infra-structure has become available, new distributed applications which were previously too expensive or too complex have become common. In this context, web based systems has become a popular topic for business and academic research. However, web applications tend to generate complex systems. As new services are created, the frequency with which errors appear has increased significantly. This paper presents the UML-CAFE, an environment which can be used to help the designer in the development of transactional systems, such as web based ones. It is divided
into the UML-CAFE Methodology, a set of transformation patterns, and the UML-CAFE translator to describe and map UML specifications into a formal model to be verified.
(More)