Свойство объекта. 
Программная инженерия. 
Парадигмы, технологии и case-средства

Это унарный предикат, который определяется на множестве объектов ПрО и принимает значение истины на данном объекте. Объект имеет следующие свойства. Внешнее свойство объекта это какой-либо аспект проблемной ориентации объекта в рамках данной модели ПрО. Внутреннее свойство объекта определяет статус объекта как множества и, в общем случае, совместно с другими внутренними свойствами объекта, принимающего участие в формировании его вида.

Объекту, который имеет одновременно статус множества, являясь элементом какого-либо множества, присуще два вида свойств — внешняя и внутренняя, как характеристик, способствующих формированию множеств.

Характеристика объекта — это совокупность свойств (унарных предикатов), которая является подмножеством множества, выделенных в системе предикатов и удовлетворяющих условию, за которым на каждом объекте принимается значение истины одновременно не более, чем одним предикатом из совокупности, которая определяет характеристику.

Дадим конкретизацию типов характеристик:

• 1) внешняя характеристика объекта — это характеристика, каждое свойство которой есть внешнее свойство объекта, и которая задает вес аспекты проблемной ориентации объекта в рамках ПрО;
• 2) внутренняя характеристика объекта — это характеристика объекта, которая отображает внутреннее свойство данного объекта и определяет вид объекта как множество.

Характеристики имеют область определения и их значений. Областью определения характеристик объекта является упорядоченное множество, у которого существует взаимно однозначное соответствие между ним и совокупностью свойств, которые определяют заданную характеристику объекта. Значением харакгеристики объекга является элемент области ее определения объекта, который имеет свойство объекта и входит в состав данной характеристики со значением истины этого объекта.