El Lenguatge ROSES. Part I

Abstract

This report provides an intuitive understanding and a formal description of the main concepts of the ROSES language. ROSES is a conceptual modelling language for information systems. It allows the definition of the objects model, the events model and the event rules. ROSES allows the incremental definition of the system, which is executable at any time.

La descripció del llenguatge ROSES s'ha estructurat en dues parts. Aquest Report conté la Part I, que inclou una visió intuitiva i la descripció formal de la major part dels conceptes fonamentals del llenguatge. ROSES és un llenguatge per a descriure models conceptuals de sistemes d'informació. Permet definir el model dels objectes, format per les classes d'objectes del sistema, els seus atributs (que poden ser derivats mitjançant una regla de derivació), les restriccions d'integritat i els esdeveniments generats. Una novetat del llenguatge són les anomenades "attribute features", que permeten descriure algunes característiques de l'evolució temporal dels valors dels atributs.A partir del model dels objectes, ROSES determina automàticament els esdeveniments estructurals possibles, entesos com a esdeveniments primitius de l'evolució de la Base d'Informació. Per altra banda, ROSES permet definir els esdeveniments externs (amb els seus atributs i restriccions), comunicats via la interfície d'entrada/sortida al sistema d'informació. La correspondència entre els esdeveniments externs i els estructurals s'estableix mitjançant les regles d'esdeveniments.ROSES permet una definició incremental del sistema, que serà executable en tot moment.