Formal deadlock elimination in an object oriented conceptual schema

Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types

IEEE Transactions on Software Engineering

Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis

IEEE Transactions on Knowledge and Data Engineering

Sequence constraints in business modelling and business process modelling

Enterprise information systems IV

Events as atomic contracts for component integration

Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context

A scenario-based verification technique to assess the compatibility of collaborative business processes

Data & Knowledge Engineering

Improving the reuse possibilities of the behavioral aspects of object-oriented domain models

ER'00 Proceedings of the 19th international conference on Conceptual modeling

A layered software specification architecture

ER'00 Proceedings of the 19th international conference on Conceptual modeling

Object class or association class? testing the user effect on cardinality interpretation

ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling

Understanding Business Domain Models: The Effect of Recognizing Resource-Event-Agent Conceptual Modeling Structures

Journal of Database Management