About
5
Publications
1,433
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
19
Citations
Introduction
Publications
Publications (5)
EB3 is a formal language for specifying information systems (IS). In EB3, the sequences of events accepted by the system are described with a process algebra; they represent the valid traces of the IS. Entity type and association attributes are computed by means of recursive functions defined on the valid traces of the system. In this paper, we pre...
eb 3 is a trace-based formal language created for the specification of information systems (IS). In this technical report, we present the eb 3 formal language for attribute definitions. Attributes, linked to entities and associations of an IS, are computed in eb 3 by recursive functions on the valid traces of the system. The syntax and the main pro...
