1(* ISO TC184/SC4/WG3 N1299 2 Supporting document for: 3 ISO/FDIS 15926-2:2003 4 5 Industrial automation systems and integration -- 6 Integration of life-cycle data for process plants including oil and 7 gas production facilities -- 8 Part 2: Data model 9 10 Date: 2003-04-17 11*) 12 13(* This file was generated by exppp (an EXPRESS Pretty Printer) 14written at the National Institute of Standards and Technology 15by Don Libes, February 19, 1993. 16 17WARNING: If you modify this file and want to save the changes, 18delete this comment block or else the file will be rewritten 19the next time exppp processes this schema. *) 20 21SCHEMA lifecycle_integration_schema; 22 23 ENTITY abstract_object 24 ABSTRACT SUPERTYPE 25 SUBTYPE OF (thing); 26 END_ENTITY; -- abstract_object 27 28 ENTITY activity 29 SUBTYPE OF (possible_individual); 30 END_ENTITY; -- activity 31 32 ENTITY actual_individual 33 SUBTYPE OF (possible_individual); 34 END_ENTITY; -- actual_individual 35 36 ENTITY approval 37 SUBTYPE OF (relationship); 38 approved : relationship; 39 approver : possible_individual; 40 END_ENTITY; -- approval 41 42 ENTITY arithmetic_number 43 SUPERTYPE OF (ONEOF (real_number,integer_number, 44 multidimensional_number)) 45 SUBTYPE OF (class_of_class); 46 END_ENTITY; -- arithmetic_number 47 48 ENTITY arranged_individual 49 SUBTYPE OF (possible_individual); 50 END_ENTITY; -- arranged_individual 51 52 ENTITY arrangement_of_individual 53 SUPERTYPE OF (ONEOF (assembly_of_individual,feature_whole_part)) 54 SUBTYPE OF (composition_of_individual); 55 SELF\composition_of_individual.whole : arranged_individual; 56 END_ENTITY; -- arrangement_of_individual 57 58 ENTITY assembly_of_individual 59 SUBTYPE OF (arrangement_of_individual); 60 END_ENTITY; -- assembly_of_individual 61 62 ENTITY beginning 63 SUBTYPE OF (temporal_bounding); 64 END_ENTITY; -- beginning 65 66 ENTITY boundary_of_number_space 67 SUBTYPE OF (specialization); 68 SELF\specialization.subclass : number_space; 69 SELF\specialization.superclass : number_space; 70 END_ENTITY; -- boundary_of_number_space 71 72 ENTITY boundary_of_property_space 73 SUBTYPE OF (specialization); 74 SELF\specialization.subclass : property_space; 75 SELF\specialization.superclass : property_space; 76 END_ENTITY; -- boundary_of_property_space 77 78 ENTITY cardinality 79 SUBTYPE OF (class); 80 maximum_cardinality : OPTIONAL INTEGER; 81 minimum_cardinality : OPTIONAL INTEGER; 82 END_ENTITY; -- cardinality 83 84 ENTITY cause_of_event 85 SUBTYPE OF (relationship); 86 caused : event; 87 causer : activity; 88 END_ENTITY; -- cause_of_event 89 90 ENTITY class 91 SUPERTYPE OF (role_and_domain ANDOR cardinality ANDOR ONEOF ( 92 class_of_individual,class_of_abstract_object)) 93 SUBTYPE OF (abstract_object); 94 END_ENTITY; -- class 95 96 ENTITY class_of_abstract_object 97 ABSTRACT SUPERTYPE 98 SUBTYPE OF (class); 99 END_ENTITY; -- class_of_abstract_object 100 101 ENTITY class_of_activity 102 SUBTYPE OF (class_of_arranged_individual); 103 END_ENTITY; -- class_of_activity 104 105 ENTITY class_of_approval 106 SUBTYPE OF (class_of_relationship); 107 class_of_approved : class_of_relationship; 108 class_of_approver : class_of_individual; 109 END_ENTITY; -- class_of_approval 110 111 ENTITY class_of_approval_by_status 112 SUBTYPE OF (class_of_relationship); 113 END_ENTITY; -- class_of_approval_by_status 114 115 ENTITY class_of_arranged_individual 116 SUPERTYPE OF (ONEOF (class_of_atom,class_of_biological_matter, 117 class_of_composite_material,class_of_compound, 118 class_of_functional_object,class_of_information_presentation, 119 class_of_information_representation,class_of_molecule, 120 class_of_particulate_material,class_of_sub_atomic_particle, 121 crystalline_structure,phase) ANDOR class_of_organization ANDOR 122 class_of_activity ANDOR class_of_information_object ANDOR 123 class_of_feature ANDOR ONEOF (class_of_organism, 124 class_of_inanimate_physical_object)) 125 SUBTYPE OF (class_of_individual); 126 END_ENTITY; -- class_of_arranged_individual 127 128 ENTITY class_of_arrangement_of_individual 129 SUPERTYPE OF (ONEOF (class_of_feature_whole_part, 130 class_of_assembly_of_individual,namespace)) 131 SUBTYPE OF (class_of_composition_of_individual); 132 SELF\class_of_composition_of_individual.class_of_whole : class_of_arranged_individual; 133 END_ENTITY; -- class_of_arrangement_of_individual 134 135 ENTITY class_of_assembly_of_individual 136 SUBTYPE OF (class_of_arrangement_of_individual); 137 END_ENTITY; -- class_of_assembly_of_individual 138 139 ENTITY class_of_assertion 140 SUBTYPE OF (class_of_relationship); 141 END_ENTITY; -- class_of_assertion 142 143 ENTITY class_of_atom 144 SUBTYPE OF (class_of_arranged_individual); 145 END_ENTITY; -- class_of_atom 146 147 ENTITY class_of_biological_matter 148 SUBTYPE OF (class_of_arranged_individual); 149 END_ENTITY; -- class_of_biological_matter 150 151 ENTITY class_of_cause_of_beginning_of_class_of_individual 152 SUBTYPE OF (class_of_relationship); 153 class_of_begun : class_of_individual; 154 class_of_causer : class_of_activity; 155 END_ENTITY; -- class_of_cause_of_beginning_of_class_of_individual 156 157 ENTITY class_of_cause_of_ending_of_class_of_individual 158 SUBTYPE OF (class_of_relationship); 159 class_of_causer : class_of_activity; 160 class_of_ended : class_of_individual; 161 END_ENTITY; -- class_of_cause_of_ending_of_class_of_individual 162 163 ENTITY class_of_class 164 SUPERTYPE OF (ONEOF (arithmetic_number,class_of_class_of_individual, 165 class_of_class_of_relationship,class_of_number, 166 class_of_property_space,class_of_shape_dimension) ANDOR 167 enumerated_set_of_class) 168 SUBTYPE OF (class_of_abstract_object); 169 END_ENTITY; -- class_of_class 170 171 ENTITY class_of_class_of_composition 172 SUBTYPE OF (class_of_class_of_relationship); 173 class_of_class_of_part : class_of_class_of_individual; 174 class_of_class_of_whole : class_of_class_of_individual; 175 END_ENTITY; -- class_of_class_of_composition 176 177 ENTITY class_of_class_of_definition 178 SUBTYPE OF (class_of_class_of_representation); 179 END_ENTITY; -- class_of_class_of_definition 180 181 ENTITY class_of_class_of_description 182 SUBTYPE OF (class_of_class_of_representation); 183 END_ENTITY; -- class_of_class_of_description 184 185 ENTITY class_of_class_of_identification 186 SUBTYPE OF (class_of_class_of_representation); 187 END_ENTITY; -- class_of_class_of_identification 188 189 ENTITY class_of_class_of_individual 190 SUPERTYPE OF (ONEOF (class_of_class_of_information_representation, 191 class_of_property,class_of_status,shape_dimension)) 192 SUBTYPE OF (class_of_class); 193 END_ENTITY; -- class_of_class_of_individual 194 195 ENTITY class_of_class_of_information_representation 196 SUPERTYPE OF (ONEOF (representation_form,language,document_definition)) 197 SUBTYPE OF (class_of_class_of_individual); 198 END_ENTITY; -- class_of_class_of_information_representation 199 200 ENTITY class_of_class_of_relationship 201 SUPERTYPE OF (ONEOF (class_of_class_of_composition, 202 class_of_class_of_relationship_with_signature, 203 class_of_class_of_representation, 204 class_of_class_of_representation_translation, 205 class_of_class_of_responsibility_for_representation, 206 class_of_class_of_usage_of_representation, 207 class_of_dimension_for_shape,class_of_namespace,class_of_scale, 208 dimension_of_shape,property_space_for_class_of_shape_dimension)) 209 SUBTYPE OF (class_of_class); 210 END_ENTITY; -- class_of_class_of_relationship 211 212 ENTITY class_of_class_of_relationship_with_signature 213 SUBTYPE OF (class_of_class_of_relationship, 214 class_of_relationship_with_signature); 215 END_ENTITY; -- class_of_class_of_relationship_with_signature 216 217 ENTITY class_of_class_of_representation 218 SUBTYPE OF (class_of_class_of_relationship); 219 class_of_pattern : class_of_class_of_information_representation; 220 class_of_represented : class; 221 END_ENTITY; -- class_of_class_of_representation 222 223 ENTITY class_of_class_of_representation_translation 224 SUBTYPE OF (class_of_class_of_relationship); 225 class_of_first : class_of_class_of_information_representation; 226 class_of_second : class_of_class_of_information_representation; 227 END_ENTITY; -- class_of_class_of_representation_translation 228 229 ENTITY class_of_class_of_responsibility_for_representation 230 SUBTYPE OF (class_of_class_of_relationship); 231 class_of_class_of_controlled : class_of_class_of_representation; 232 controller : possible_individual; 233 END_ENTITY; -- class_of_class_of_responsibility_for_representation 234 235 ENTITY class_of_class_of_usage_of_representation 236 SUBTYPE OF (class_of_class_of_relationship); 237 class_of_class_of_used : class_of_class_of_representation; 238 user : possible_individual; 239 END_ENTITY; -- class_of_class_of_usage_of_representation 240 241 ENTITY class_of_classification 242 SUBTYPE OF (class_of_relationship); 243 class_of_classified : class; 244 class_of_classifier : class_of_class; 245 END_ENTITY; -- class_of_classification 246 247 ENTITY class_of_composite_material 248 SUBTYPE OF (class_of_arranged_individual); 249 END_ENTITY; -- class_of_composite_material 250 251 ENTITY class_of_composition_of_individual 252 SUPERTYPE OF (ONEOF (class_of_arrangement_of_individual, 253 class_of_temporal_whole_part,class_of_participation)) 254 SUBTYPE OF (class_of_relationship); 255 class_of_part : class_of_individual; 256 class_of_whole : class_of_individual; 257 END_ENTITY; -- class_of_composition_of_individual 258 259 ENTITY class_of_compound 260 SUBTYPE OF (class_of_arranged_individual); 261 END_ENTITY; -- class_of_compound 262 263 ENTITY class_of_connection_of_individual 264 ABSTRACT SUPERTYPE OF (ONEOF (class_of_direct_connection, 265 class_of_indirect_connection)) 266 SUBTYPE OF (class_of_relationship); 267 class_of_side_1 : class_of_individual; 268 class_of_side_2 : class_of_individual; 269 END_ENTITY; -- class_of_connection_of_individual 270 271 ENTITY class_of_containment_of_individual 272 SUBTYPE OF (class_of_relative_location); 273 END_ENTITY; -- class_of_containment_of_individual 274 275 ENTITY class_of_definition 276 SUBTYPE OF (class_of_representation_of_thing); 277 SELF\class_of_representation_of_thing.represented : class; 278 END_ENTITY; -- class_of_definition 279 280 ENTITY class_of_description 281 SUBTYPE OF (class_of_representation_of_thing); 282 END_ENTITY; -- class_of_description 283 284 ENTITY class_of_dimension_for_shape 285 SUBTYPE OF (class_of_class_of_relationship); 286 class_of_dimension : class_of_shape_dimension; 287 class_of_shape : class_of_shape; 288 END_ENTITY; -- class_of_dimension_for_shape 289 290 ENTITY class_of_direct_connection 291 SUBTYPE OF (class_of_connection_of_individual); 292 END_ENTITY; -- class_of_direct_connection 293 294 ENTITY class_of_event 295 SUBTYPE OF (class_of_individual); 296 END_ENTITY; -- class_of_event 297 298 ENTITY class_of_express_information_representation 299 ABSTRACT SUPERTYPE OF (ONEOF (express_string,express_integer, 300 express_real,express_logical,express_boolean,express_binary)) 301 SUBTYPE OF (class_of_information_representation); 302 END_ENTITY; -- class_of_express_information_representation 303 304 ENTITY class_of_feature 305 SUBTYPE OF (class_of_arranged_individual); 306 END_ENTITY; -- class_of_feature 307 308 ENTITY class_of_feature_whole_part 309 SUBTYPE OF (class_of_arrangement_of_individual); 310 END_ENTITY; -- class_of_feature_whole_part 311 312 ENTITY class_of_functional_mapping 313 SUBTYPE OF (class_of_relationship); 314 codomain : class; 315 domain : class; 316 END_ENTITY; -- class_of_functional_mapping 317 318 ENTITY class_of_functional_object 319 SUBTYPE OF (class_of_arranged_individual); 320 END_ENTITY; -- class_of_functional_object 321 322 ENTITY class_of_identification 323 SUBTYPE OF (class_of_representation_of_thing); 324 END_ENTITY; -- class_of_identification 325 326 ENTITY class_of_inanimate_physical_object 327 SUBTYPE OF (class_of_arranged_individual); 328 END_ENTITY; -- class_of_inanimate_physical_object 329 330 ENTITY class_of_indirect_connection 331 SUBTYPE OF (class_of_connection_of_individual); 332 END_ENTITY; -- class_of_indirect_connection 333 334 ENTITY class_of_indirect_property 335 SUBTYPE OF (class_of_relationship); 336 class_of_possessor : class_of_individual; 337 property_space : property_space; 338 END_ENTITY; -- class_of_indirect_property 339 340 ENTITY class_of_individual 341 SUPERTYPE OF (ONEOF (class_of_event,class_of_arranged_individual, 342 class_of_period_in_time,individual_dimension,property,status) ANDOR 343 participating_role_and_domain) 344 SUBTYPE OF (class); 345 END_ENTITY; -- class_of_individual 346 347 ENTITY class_of_individual_used_in_connection 348 SUBTYPE OF (class_of_relationship); 349 class_of_connection : class_of_connection_of_individual; 350 class_of_usage : class_of_individual; 351 END_ENTITY; -- class_of_individual_used_in_connection 352 353 ENTITY class_of_information_object 354 SUBTYPE OF (class_of_arranged_individual); 355 END_ENTITY; -- class_of_information_object 356 357 ENTITY class_of_information_presentation 358 SUBTYPE OF (class_of_arranged_individual); 359 END_ENTITY; -- class_of_information_presentation 360 361 ENTITY class_of_information_representation 362 SUPERTYPE OF (ONEOF (class_of_express_information_representation, 363 representation_of_gregorian_date_and_utc_time)) 364 SUBTYPE OF (class_of_arranged_individual); 365 END_ENTITY; -- class_of_information_representation 366 367 ENTITY class_of_intended_role_and_domain 368 SUBTYPE OF (class_of_relationship); 369 class_of_player : class_of_individual; 370 played : role_and_domain; 371 END_ENTITY; -- class_of_intended_role_and_domain 372 373 ENTITY class_of_involvement_by_reference 374 SUBTYPE OF (class_of_relationship); 375 class_of_involved : role_and_domain; 376 class_of_involver : class_of_activity; 377 END_ENTITY; -- class_of_involvement_by_reference 378 379 ENTITY class_of_isomorphic_functional_mapping 380 SUPERTYPE OF (ONEOF (scale,class_of_scale_conversion)) 381 SUBTYPE OF (class_of_functional_mapping); 382 END_ENTITY; -- class_of_isomorphic_functional_mapping 383 384 ENTITY class_of_left_namespace 385 SUBTYPE OF (class_of_namespace); 386 END_ENTITY; -- class_of_left_namespace 387 388 ENTITY class_of_lifecycle_stage 389 SUBTYPE OF (class_of_relationship); 390 END_ENTITY; -- class_of_lifecycle_stage 391 392 ENTITY class_of_molecule 393 SUBTYPE OF (class_of_arranged_individual); 394 END_ENTITY; -- class_of_molecule 395 396 ENTITY class_of_multidimensional_object 397 SUBTYPE OF (class_of_abstract_object); 398 cardinalities : OPTIONAL LIST [1:?] OF cardinality; 399 optional_element : LIST [1:?] OF BOOLEAN; 400 parameters : OPTIONAL LIST [1:?] OF thing; 401 parameter_position : OPTIONAL LIST [1:?] OF INTEGER; 402 roles : LIST [1:?] OF role_and_domain; 403 END_ENTITY; -- class_of_multidimensional_object 404 405 ENTITY class_of_namespace 406 SUPERTYPE OF (ONEOF (class_of_left_namespace,class_of_right_namespace)) 407 SUBTYPE OF (class_of_class_of_relationship); 408 class_of_class_of_whole : class_of_class_of_information_representation; 409 class_of_part : class_of_information_representation; 410 END_ENTITY; -- class_of_namespace 411 412 ENTITY class_of_number 413 SUPERTYPE OF (ONEOF (number_space,enumerated_number_set)) 414 SUBTYPE OF (class_of_class); 415 END_ENTITY; -- class_of_number 416 417 ENTITY class_of_organism 418 SUBTYPE OF (class_of_arranged_individual); 419 END_ENTITY; -- class_of_organism 420 421 ENTITY class_of_organization 422 SUBTYPE OF (class_of_arranged_individual); 423 END_ENTITY; -- class_of_organization 424 425 ENTITY class_of_participation 426 SUBTYPE OF (class_of_composition_of_individual); 427 SELF\class_of_composition_of_individual.class_of_part : participating_role_and_domain; 428 SELF\class_of_composition_of_individual.class_of_whole : class_of_activity; 429 END_ENTITY; -- class_of_participation 430 431 ENTITY class_of_particulate_material 432 SUBTYPE OF (class_of_arranged_individual); 433 END_ENTITY; -- class_of_particulate_material 434 435 ENTITY class_of_period_in_time 436 SUBTYPE OF (class_of_individual); 437 END_ENTITY; -- class_of_period_in_time 438 439 ENTITY class_of_person 440 SUBTYPE OF (class_of_organism); 441 END_ENTITY; -- class_of_person 442 443 ENTITY class_of_point_in_time 444 SUBTYPE OF (class_of_event); 445 END_ENTITY; -- class_of_point_in_time 446 447 ENTITY class_of_possible_role_and_domain 448 SUBTYPE OF (class_of_relationship); 449 class_of_player : class_of_individual; 450 played : role_and_domain; 451 END_ENTITY; -- class_of_possible_role_and_domain 452 453 ENTITY class_of_property 454 SUPERTYPE OF (ONEOF (property_space,enumerated_property_set)) 455 SUBTYPE OF (class_of_class_of_individual); 456 END_ENTITY; -- class_of_property 457 458 ENTITY class_of_property_space 459 SUBTYPE OF (class_of_class); 460 END_ENTITY; -- class_of_property_space 461 462 ENTITY class_of_recognition 463 SUBTYPE OF (class_of_relationship); 464 class_of_recognized : class; 465 class_of_recognizing : class_of_activity; 466 END_ENTITY; -- class_of_recognition 467 468 ENTITY class_of_relationship 469 SUPERTYPE OF (ONEOF (class_of_approval,class_of_approval_by_status, 470 class_of_cause_of_beginning_of_class_of_individual, 471 class_of_cause_of_ending_of_class_of_individual, 472 class_of_classification,class_of_composition_of_individual, 473 class_of_connection_of_individual,class_of_functional_mapping, 474 class_of_indirect_property,class_of_individual_used_in_connection, 475 class_of_intended_role_and_domain,class_of_involvement_by_reference, 476 class_of_lifecycle_stage,class_of_assertion, 477 class_of_possible_role_and_domain,class_of_recognition, 478 class_of_relationship_with_signature,class_of_relative_location, 479 class_of_representation_of_thing, 480 class_of_representation_translation, 481 class_of_responsibility_for_representation,class_of_specialization, 482 class_of_temporal_sequence,class_of_usage_of_representation, 483 dimension_of_individual,property_for_shape_dimension) ANDOR ONEOF ( 484 class_of_relationship_with_related_end_1, 485 class_of_relationship_with_related_end_2)) 486 SUBTYPE OF (class_of_abstract_object); 487 end_1_cardinality : OPTIONAL cardinality; 488 end_2_cardinality : OPTIONAL cardinality; 489 END_ENTITY; -- class_of_relationship 490 491 ENTITY class_of_relationship_with_related_end_1 492 SUBTYPE OF (class_of_relationship); 493 related : thing; 494 END_ENTITY; -- class_of_relationship_with_related_end_1 495 496 ENTITY class_of_relationship_with_related_end_2 497 SUBTYPE OF (class_of_relationship); 498 related : thing; 499 END_ENTITY; -- class_of_relationship_with_related_end_2 500 501 ENTITY class_of_relationship_with_signature 502 SUBTYPE OF (class_of_relationship, relationship); 503 class_of_end_1 : OPTIONAL role_and_domain; 504 class_of_end_2 : OPTIONAL role_and_domain; 505 END_ENTITY; -- class_of_relationship_with_signature 506 507 ENTITY class_of_relative_location 508 SUBTYPE OF (class_of_relationship); 509 class_of_located : class_of_individual; 510 class_of_locator : class_of_individual; 511 END_ENTITY; -- class_of_relative_location 512 513 ENTITY class_of_representation_of_thing 514 SUBTYPE OF (class_of_relationship); 515 pattern : class_of_information_representation; 516 represented : thing; 517 END_ENTITY; -- class_of_representation_of_thing 518 519 ENTITY class_of_representation_translation 520 SUBTYPE OF (class_of_relationship); 521 class_of_first : class_of_information_representation; 522 class_of_second : class_of_information_representation; 523 END_ENTITY; -- class_of_representation_translation 524 525 ENTITY class_of_responsibility_for_representation 526 SUBTYPE OF (class_of_relationship); 527 class_of_controlled : class_of_representation_of_thing; 528 controller : possible_individual; 529 END_ENTITY; -- class_of_responsibility_for_representation 530 531 ENTITY class_of_right_namespace 532 SUBTYPE OF (class_of_namespace); 533 END_ENTITY; -- class_of_right_namespace 534 535 ENTITY class_of_scale 536 SUBTYPE OF (class_of_class_of_relationship); 537 END_ENTITY; -- class_of_scale 538 539 ENTITY class_of_scale_conversion 540 SUBTYPE OF (class_of_isomorphic_functional_mapping); 541 SELF\class_of_functional_mapping.codomain : scale; 542 SELF\class_of_functional_mapping.domain : scale; 543 END_ENTITY; -- class_of_scale_conversion 544 545 ENTITY class_of_shape 546 SUBTYPE OF (property_space); 547 END_ENTITY; -- class_of_shape 548 549 ENTITY class_of_shape_dimension 550 SUBTYPE OF (class_of_class); 551 END_ENTITY; -- class_of_shape_dimension 552 553 ENTITY class_of_specialization 554 SUBTYPE OF (class_of_relationship); 555 class_of_subclass : class_of_class; 556 class_of_superclass : class_of_class; 557 END_ENTITY; -- class_of_specialization 558 559 ENTITY class_of_status 560 SUBTYPE OF (class_of_class_of_individual); 561 END_ENTITY; -- class_of_status 562 563 ENTITY class_of_sub_atomic_particle 564 SUBTYPE OF (class_of_arranged_individual); 565 END_ENTITY; -- class_of_sub_atomic_particle 566 567 ENTITY class_of_temporal_sequence 568 SUBTYPE OF (class_of_relationship); 569 class_of_predecessor : class_of_individual; 570 class_of_successor : class_of_individual; 571 END_ENTITY; -- class_of_temporal_sequence 572 573 ENTITY class_of_temporal_whole_part 574 SUBTYPE OF (class_of_composition_of_individual); 575 END_ENTITY; -- class_of_temporal_whole_part 576 577 ENTITY class_of_usage_of_representation 578 SUBTYPE OF (class_of_relationship); 579 class_of_used : class_of_representation_of_thing; 580 user : possible_individual; 581 END_ENTITY; -- class_of_usage_of_representation 582 583 ENTITY classification 584 SUBTYPE OF (relationship); 585 classified : thing; 586 classifier : class; 587 END_ENTITY; -- classification 588 589 ENTITY comparison_of_property 590 SUBTYPE OF (relationship); 591 greater_element : property; 592 lesser_element : property; 593 END_ENTITY; -- comparison_of_property 594 595 ENTITY composition_of_individual 596 SUPERTYPE OF (ONEOF (arrangement_of_individual,temporal_whole_part, 597 participation,temporal_bounding)) 598 SUBTYPE OF (relationship); 599 part : possible_individual; 600 whole : possible_individual; 601 END_ENTITY; -- composition_of_individual 602 603 ENTITY connection_of_individual 604 SUPERTYPE OF (ONEOF (direct_connection,indirect_connection)) 605 SUBTYPE OF (relationship); 606 side_1 : possible_individual; 607 side_2 : possible_individual; 608 END_ENTITY; -- connection_of_individual 609 610 ENTITY containment_of_individual 611 SUBTYPE OF (relative_location); 612 END_ENTITY; -- containment_of_individual 613 614 ENTITY coordinate_system 615 SUBTYPE OF (multidimensional_scale); 616 END_ENTITY; -- coordinate_system 617 618 ENTITY crystalline_structure 619 SUBTYPE OF (class_of_arranged_individual); 620 END_ENTITY; -- crystalline_structure 621 622 ENTITY definition 623 SUBTYPE OF (representation_of_thing); 624 SELF\representation_of_thing.represented : class; 625 END_ENTITY; -- definition 626 627 ENTITY description 628 SUBTYPE OF (representation_of_thing); 629 END_ENTITY; -- description 630 631 ENTITY difference_of_set_of_class 632 SUBTYPE OF (functional_mapping); 633 SELF\functional_mapping.input : enumerated_set_of_class; 634 SELF\functional_mapping.result : class; 635 END_ENTITY; -- difference_of_set_of_class 636 637 ENTITY dimension_of_individual 638 SUBTYPE OF (class_of_relationship); 639 individual : possible_individual; 640 individual_dimension : individual_dimension; 641 END_ENTITY; -- dimension_of_individual 642 643 ENTITY dimension_of_shape 644 SUBTYPE OF (class_of_class_of_relationship); 645 dimension : shape_dimension; 646 shape : shape; 647 END_ENTITY; -- dimension_of_shape 648 649 ENTITY direct_connection 650 SUBTYPE OF (connection_of_individual); 651 END_ENTITY; -- direct_connection 652 653 ENTITY document_definition 654 SUBTYPE OF (class_of_class_of_information_representation); 655 END_ENTITY; -- document_definition 656 657 ENTITY ending 658 SUBTYPE OF (temporal_bounding); 659 END_ENTITY; -- ending 660 661 ENTITY enumerated_number_set 662 SUBTYPE OF (class_of_number, enumerated_set_of_class); 663 END_ENTITY; -- enumerated_number_set 664 665 ENTITY enumerated_property_set 666 SUBTYPE OF (class_of_property, enumerated_set_of_class); 667 END_ENTITY; -- enumerated_property_set 668 669 ENTITY enumerated_set_of_class 670 SUBTYPE OF (class_of_class); 671 END_ENTITY; -- enumerated_set_of_class 672 673 ENTITY event 674 SUBTYPE OF (possible_individual); 675 END_ENTITY; -- event 676 677 ENTITY express_binary 678 SUBTYPE OF (class_of_express_information_representation); 679 content : BINARY; 680 UNIQUE 681 rule_1 : content; 682 END_ENTITY; -- express_binary 683 684 ENTITY express_boolean 685 SUBTYPE OF (class_of_express_information_representation); 686 content : BOOLEAN; 687 UNIQUE 688 rule_1 : content; 689 END_ENTITY; -- express_boolean 690 691 ENTITY express_integer 692 SUBTYPE OF (class_of_express_information_representation); 693 content : INTEGER; 694 UNIQUE 695 rule_1 : content; 696 END_ENTITY; -- express_integer 697 698 ENTITY express_logical 699 SUBTYPE OF (class_of_express_information_representation); 700 content : LOGICAL; 701 UNIQUE 702 rule_1 : content; 703 END_ENTITY; -- express_logical 704 705 ENTITY express_real 706 SUBTYPE OF (class_of_express_information_representation); 707 content : REAL; 708 UNIQUE 709 rule_1 : content; 710 END_ENTITY; -- express_real 711 712 ENTITY express_string 713 SUBTYPE OF (class_of_express_information_representation); 714 content : STRING; 715 UNIQUE 716 rule_1 : content; 717 END_ENTITY; -- express_string 718 719 ENTITY feature_whole_part 720 SUBTYPE OF (arrangement_of_individual); 721 END_ENTITY; -- feature_whole_part 722 723 ENTITY functional_mapping 724 SUBTYPE OF (relationship); 725 input : thing; 726 result : thing; 727 END_ENTITY; -- functional_mapping 728 729 ENTITY functional_physical_object 730 SUBTYPE OF (physical_object); 731 END_ENTITY; -- functional_physical_object 732 733 ENTITY identification 734 SUBTYPE OF (representation_of_thing); 735 END_ENTITY; -- identification 736 737 ENTITY indirect_connection 738 SUBTYPE OF (connection_of_individual); 739 END_ENTITY; -- indirect_connection 740 741 ENTITY indirect_property 742 SUBTYPE OF (relationship); 743 possessor : possible_individual; 744 property : property; 745 END_ENTITY; -- indirect_property 746 747 ENTITY individual_dimension 748 SUBTYPE OF (class_of_individual); 749 END_ENTITY; -- individual_dimension 750 751 ENTITY individual_used_in_connection 752 SUBTYPE OF (relationship); 753 connection : connection_of_individual; 754 usage : possible_individual; 755 END_ENTITY; -- individual_used_in_connection 756 757 ENTITY integer_number 758 SUBTYPE OF (arithmetic_number); 759 END_ENTITY; -- integer_number 760 761 ENTITY intended_role_and_domain 762 SUBTYPE OF (relationship); 763 played : role_and_domain; 764 player : possible_individual; 765 END_ENTITY; -- intended_role_and_domain 766 767 ENTITY intersection_of_set_of_class 768 SUBTYPE OF (functional_mapping); 769 SELF\functional_mapping.input : enumerated_set_of_class; 770 SELF\functional_mapping.result : class; 771 END_ENTITY; -- intersection_of_set_of_class 772 773 ENTITY involvement_by_reference 774 SUBTYPE OF (relationship); 775 involved : thing; 776 involver : activity; 777 END_ENTITY; -- involvement_by_reference 778 779 ENTITY language 780 SUBTYPE OF (class_of_class_of_information_representation); 781 END_ENTITY; -- language 782 783 ENTITY left_namespace 784 SUBTYPE OF (namespace); 785 END_ENTITY; -- left_namespace 786 787 ENTITY lifecycle_stage 788 SUBTYPE OF (relationship); 789 interest : possible_individual; 790 interested : possible_individual; 791 END_ENTITY; -- lifecycle_stage 792 793 ENTITY lower_bound_of_number_range 794 SUBTYPE OF (classification); 795 SELF\classification.classified : arithmetic_number; 796 SELF\classification.classifier : number_range; 797 END_ENTITY; -- lower_bound_of_number_range 798 799 ENTITY lower_bound_of_property_range 800 SUBTYPE OF (classification); 801 SELF\classification.classified : property; 802 SELF\classification.classifier : property_range; 803 END_ENTITY; -- lower_bound_of_property_range 804 805 ENTITY materialized_physical_object 806 SUBTYPE OF (physical_object); 807 END_ENTITY; -- materialized_physical_object 808 809 ENTITY multidimensional_number 810 SUBTYPE OF (arithmetic_number, multidimensional_object); 811 END_ENTITY; -- multidimensional_number 812 813 ENTITY multidimensional_number_space 814 SUBTYPE OF (number_space, multidimensional_object); 815 END_ENTITY; -- multidimensional_number_space 816 817 ENTITY multidimensional_object 818 SUPERTYPE OF (ONEOF (multidimensional_property_space, 819 multidimensional_number,multidimensional_property, 820 multidimensional_number_space,multidimensional_scale)) 821 SUBTYPE OF (abstract_object); 822 elements : LIST [1:?] OF thing; 823 position : OPTIONAL LIST [1:?] OF INTEGER; 824 END_ENTITY; -- multidimensional_object 825 826 ENTITY multidimensional_property 827 SUBTYPE OF (property, multidimensional_object); 828 END_ENTITY; -- multidimensional_property 829 830 ENTITY multidimensional_property_space 831 SUBTYPE OF (property_space, multidimensional_object); 832 END_ENTITY; -- multidimensional_property_space 833 834 ENTITY multidimensional_scale 835 SUBTYPE OF (scale, multidimensional_object); 836 END_ENTITY; -- multidimensional_scale 837 838 ENTITY namespace 839 ABSTRACT SUPERTYPE OF (ONEOF (right_namespace,left_namespace)) 840 SUBTYPE OF (class_of_arrangement_of_individual); 841 SELF\class_of_composition_of_individual.class_of_part : class_of_information_representation; 842 SELF\class_of_arrangement_of_individual.class_of_whole : class_of_information_representation; 843 END_ENTITY; -- namespace 844 845 ENTITY number_range 846 SUBTYPE OF (number_space); 847 END_ENTITY; -- number_range 848 849 ENTITY number_space 850 SUPERTYPE OF (ONEOF (number_range,multidimensional_number_space)) 851 SUBTYPE OF (class_of_number); 852 END_ENTITY; -- number_space 853 854 ENTITY other_relationship 855 SUBTYPE OF (relationship); 856 end_1 : thing; 857 end_2 : thing; 858 END_ENTITY; -- other_relationship 859 860 ENTITY participating_role_and_domain 861 SUBTYPE OF (role_and_domain, class_of_individual); 862 END_ENTITY; -- participating_role_and_domain 863 864 ENTITY participation 865 SUBTYPE OF (composition_of_individual); 866 SELF\composition_of_individual.whole : activity; 867 END_ENTITY; -- participation 868 869 ENTITY period_in_time 870 SUBTYPE OF (possible_individual); 871 END_ENTITY; -- period_in_time 872 873 ENTITY phase 874 SUBTYPE OF (class_of_arranged_individual); 875 END_ENTITY; -- phase 876 877 ENTITY physical_object 878 SUBTYPE OF (possible_individual); 879 END_ENTITY; -- physical_object 880 881 ENTITY point_in_time 882 SUBTYPE OF (event); 883 END_ENTITY; -- point_in_time 884 885 ENTITY possible_individual 886 SUBTYPE OF (thing); 887 END_ENTITY; -- possible_individual 888 889 ENTITY possible_role_and_domain 890 SUBTYPE OF (relationship); 891 played : role_and_domain; 892 player : possible_individual; 893 END_ENTITY; -- possible_role_and_domain 894 895 ENTITY property 896 SUBTYPE OF (class_of_individual); 897 END_ENTITY; -- property 898 899 ENTITY property_for_shape_dimension 900 SUBTYPE OF (class_of_relationship); 901 property : property; 902 shape_dimension : shape_dimension; 903 END_ENTITY; -- property_for_shape_dimension 904 905 ENTITY property_quantification 906 SUBTYPE OF (functional_mapping); 907 SELF\functional_mapping.input : property; 908 SELF\functional_mapping.result : arithmetic_number; 909 END_ENTITY; -- property_quantification 910 911 ENTITY property_range 912 SUBTYPE OF (property_space); 913 END_ENTITY; -- property_range 914 915 ENTITY property_space 916 SUBTYPE OF (class_of_property); 917 END_ENTITY; -- property_space 918 919 ENTITY property_space_for_class_of_shape_dimension 920 SUBTYPE OF (class_of_class_of_relationship); 921 class_of_shape_dimension : class_of_shape_dimension; 922 property_space : property_space; 923 END_ENTITY; -- property_space_for_class_of_shape_dimension 924 925 ENTITY real_number 926 SUBTYPE OF (arithmetic_number); 927 END_ENTITY; -- real_number 928 929 ENTITY recognition 930 SUBTYPE OF (relationship); 931 recognized : thing; 932 recognizing : activity; 933 END_ENTITY; -- recognition 934 935 ENTITY relationship 936 ABSTRACT SUPERTYPE OF (ONEOF (approval,cause_of_event, 937 class_of_relationship_with_signature,classification, 938 comparison_of_property,composition_of_individual, 939 connection_of_individual,functional_mapping,indirect_property, 940 individual_used_in_connection,intended_role_and_domain, 941 involvement_by_reference,lifecycle_stage,other_relationship, 942 possible_role_and_domain,recognition,relative_location, 943 representation_of_thing,responsibility_for_representation, 944 specialization,temporal_sequence,usage_of_representation)) 945 SUBTYPE OF (abstract_object); 946 END_ENTITY; -- relationship 947 948 ENTITY relative_location 949 SUBTYPE OF (relationship); 950 located : possible_individual; 951 locator : possible_individual; 952 END_ENTITY; -- relative_location 953 954 ENTITY representation_form 955 SUBTYPE OF (class_of_class_of_information_representation); 956 END_ENTITY; -- representation_form 957 958 ENTITY representation_of_gregorian_date_and_utc_time 959 SUBTYPE OF (class_of_information_representation); 960 year : INTEGER; 961 month : OPTIONAL INTEGER; 962 day : OPTIONAL INTEGER; 963 hour : OPTIONAL INTEGER; 964 minute : OPTIONAL INTEGER; 965 second : OPTIONAL REAL; 966 WHERE 967 valid_month: ((1 <= month) AND (month <= 12)); 968 valid_day: ((1 <= day) AND (day <= 31)); 969 valid_hour: ((0 <= hour) AND (hour <= 23)); 970 valid_minute: ((0 <= minute) AND (minute <= 59)); 971 valid_second: ((0 <= second) AND (second < 61)); 972 END_ENTITY; -- representation_of_gregorian_date_and_utc_time 973 974 ENTITY representation_of_thing 975 SUBTYPE OF (relationship); 976 represented : thing; 977 sign : possible_individual; 978 END_ENTITY; -- representation_of_thing 979 980 ENTITY responsibility_for_representation 981 SUBTYPE OF (relationship); 982 controlled : representation_of_thing; 983 controller : possible_individual; 984 END_ENTITY; -- responsibility_for_representation 985 986 ENTITY right_namespace 987 SUBTYPE OF (namespace); 988 END_ENTITY; -- right_namespace 989 990 ENTITY role 991 SUBTYPE OF (role_and_domain); 992 END_ENTITY; -- role 993 994 ENTITY role_and_domain 995 SUBTYPE OF (class); 996 END_ENTITY; -- role_and_domain 997 998 ENTITY scale 999 SUBTYPE OF (class_of_isomorphic_functional_mapping); 1000 SELF\class_of_functional_mapping.codomain : number_space; 1001 SELF\class_of_functional_mapping.domain : property_space; 1002 END_ENTITY; -- scale 1003 1004 ENTITY shape 1005 SUBTYPE OF (property); 1006 END_ENTITY; -- shape 1007 1008 ENTITY shape_dimension 1009 SUBTYPE OF (class_of_class_of_individual); 1010 END_ENTITY; -- shape_dimension 1011 1012 ENTITY single_property_dimension 1013 SUBTYPE OF (property_space); 1014 END_ENTITY; -- single_property_dimension 1015 1016 ENTITY spatial_location 1017 SUBTYPE OF (physical_object); 1018 END_ENTITY; -- spatial_location 1019 1020 ENTITY specialization 1021 SUPERTYPE OF (ONEOF (boundary_of_number_space, 1022 boundary_of_property_space,specialization_by_domain, 1023 specialization_by_role, 1024 specialization_of_individual_dimension_from_property)) 1025 SUBTYPE OF (relationship); 1026 subclass : class; 1027 superclass : class; 1028 END_ENTITY; -- specialization 1029 1030 ENTITY specialization_by_domain 1031 SUBTYPE OF (specialization); 1032 SELF\specialization.subclass : role_and_domain; 1033 END_ENTITY; -- specialization_by_domain 1034 1035 ENTITY specialization_by_role 1036 SUBTYPE OF (specialization); 1037 SELF\specialization.subclass : role_and_domain; 1038 SELF\specialization.superclass : role; 1039 END_ENTITY; -- specialization_by_role 1040 1041 ENTITY specialization_of_individual_dimension_from_property 1042 SUBTYPE OF (specialization); 1043 SELF\specialization.subclass : individual_dimension; 1044 SELF\specialization.superclass : property; 1045 END_ENTITY; -- specialization_of_individual_dimension_from_property 1046 1047 ENTITY status 1048 SUBTYPE OF (class_of_individual); 1049 END_ENTITY; -- status 1050 1051 ENTITY stream 1052 SUBTYPE OF (physical_object); 1053 END_ENTITY; -- stream 1054 1055 ENTITY temporal_bounding 1056 ABSTRACT SUPERTYPE OF (ONEOF (ending,beginning)) 1057 SUBTYPE OF (composition_of_individual); 1058 SELF\composition_of_individual.part : event; 1059 END_ENTITY; -- temporal_bounding 1060 1061 ENTITY temporal_sequence 1062 SUBTYPE OF (relationship); 1063 predecessor : possible_individual; 1064 successor : possible_individual; 1065 END_ENTITY; -- temporal_sequence 1066 1067 ENTITY temporal_whole_part 1068 SUBTYPE OF (composition_of_individual); 1069 END_ENTITY; -- temporal_whole_part 1070 1071 ENTITY thing 1072 ABSTRACT SUPERTYPE OF (ONEOF (possible_individual,abstract_object)); 1073 id : STRING; 1074 record_copy_created : OPTIONAL representation_of_gregorian_date_and_utc_time; 1075 record_created : OPTIONAL representation_of_gregorian_date_and_utc_time; 1076 record_creator : OPTIONAL possible_individual; 1077 record_logically_deleted : OPTIONAL representation_of_gregorian_date_and_utc_time; 1078 why_deleted : OPTIONAL 1079 class_of_information_representation; 1080 UNIQUE 1081 ur1 : id; 1082 END_ENTITY; -- thing 1083 1084 ENTITY union_of_set_of_class 1085 SUBTYPE OF (functional_mapping); 1086 SELF\functional_mapping.input : enumerated_set_of_class; 1087 SELF\functional_mapping.result : class; 1088 END_ENTITY; -- union_of_set_of_class 1089 1090 ENTITY upper_bound_of_number_range 1091 SUBTYPE OF (classification); 1092 SELF\classification.classified : arithmetic_number; 1093 SELF\classification.classifier : number_range; 1094 END_ENTITY; -- upper_bound_of_number_range 1095 1096 ENTITY upper_bound_of_property_range 1097 SUBTYPE OF (classification); 1098 SELF\classification.classified : property; 1099 SELF\classification.classifier : property_range; 1100 END_ENTITY; -- upper_bound_of_property_range 1101 1102 ENTITY usage_of_representation 1103 SUBTYPE OF (relationship); 1104 used : representation_of_thing; 1105 user : possible_individual; 1106 END_ENTITY; -- usage_of_representation 1107 1108 ENTITY whole_life_individual 1109 SUBTYPE OF (possible_individual); 1110 END_ENTITY; -- whole_life_individual 1111 1112END_SCHEMA; -- lifecycle_integration_schema 1113