Общая характеристика языка OCL
Более точный и лаконичный способ формулировки ограничений обеспечивает язык OCL (Object Constraints Language). Вот общая характеристика этого языка.
Из языка UML1) в OCL заимствованы, в первую очередь, следующие концепции:
- класс, атрибут, операция;
- объект (экземпляр класса);
- ассоциация;
- тип данных (включая набор предопределенных типов Boolean, Integer, Real и String);
- значение (экземпляр типа данных).
Для понимания языка OCL существенны определяемые в UML традиционные для объектных моделей данных различия между объектом некоторого класса и значением некоторого типа:
- объект обладает уникальным идентификатором и может сравниваться с другими объектами только по значению идентификатора; следствием этого является возможность определения операций над множествами объектов в терминах их идентификаторов2);
- объект может быть ассоциирован через бинарную связь3) с другими объектами, что позволяет определить в OCL операцию перехода от данного объекта к связанным с ним объектам;
- в то же время значение является «чистым значением» в том смысле, что:
- при сравнении двух значений проверяются сами эти значения;
- кроме того, значения не могут участвовать в связях, поскольку понятие связи определено только для объектов классов.
В дополнение к скалярным типам данных, заимствованным из UML, в OCL предопределены структурные типы, которые являются разновидностями типов коллекций (collection):
- математическое множество (set), неупорядоченная коллекция, не содержащая одинаковых элементов;
- мультимножество (bag), неупорядоченная коллекция, которая может содержать повторяющиеся элементы-дубликаты;
- последовательность (sequence), упорядоченная коллекция, которая может содержать элементы-дубликаты.4)
В OCL элементами каждого из трех типов коллекций могут быть либо объекты, либо значения.
Язык OCL предназначен, главным образом, для определения ограничений целостности данных, соответствующих модели, которая представлена в терминах диаграммы классов UML. OCL может применяться для определения ограничений, описывающих пред- и постусловия операций классов, и ограничений, представляющих собой инварианты классов. При проектировании реляционных баз данных возможность определения пред- и постусловий операций вряд ли может оказаться существенной5). С точки зрения определения ограничений целостности баз данных более важны средства определения инвариантов классов.
Содержание Назад Вперед
