Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
Hans-Werner Sehring, Sebastian Bossung, Joachim W....
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...