Information modeling in the time of the revolution
Guest editorial: Special issue on advanced Information Systems Engineering
Integrating semi-formal and formal software specification techniques
Formalizing and validating behavioral models through the event calculus
Complex entity versioning at two granularity levels
Specifying global behaviour in database federations
Defining the semantics of reactive components in event-driven workflow execution with event histories
A framework for expressing semantic relationships between multiple information systems for cooperation