The Z notation: a reference manual
The Z notation: a reference manual
Set-based analysis of ML programs
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
New Type Checking Rules for OCL Expressions
Modellierung 2001, Workshop der Gesellschaft für Informatik e. V. (GI)
A rigorous approach for proving model refactorings
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Symbolic model checking of declarative relational models
Proceedings of the 28th international conference on Software engineering
A Static Semantics for Alloy and its Impact in Refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated size analysis for OCL
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Towards an Operational Semantics for Alloy
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Translating alloy specifications to UML class diagrams annotated with OCL
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Model typing for improving reuse in model-driven engineering
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Piecewise modelling with state subtypes
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
A type system for object models is described that supports subtyping, unions, and overloading of relation names. No special features need be added to the modelling language; in particular, there are no casts, and the meaning of an object model can be understood without mentioning types. A type error is associated with an expression that can be proved to be _irrelevant_, in the sense that it can be replaced by an empty set or relation without affecting the value of its enclosing constraint. Relevance is computed by a simple abstract interpretation.