A. .. References, AMISA Method, 2008.

A. A. Bézivin, J. Didonet, M. Fabro, D. Jouault, and F. , Air Transport Association of America Association Web Page Retrieved from http://www.airlines.org/About A Practical Approach to Bridging Domain Specific Languages with UML profiles, Workshop on Best Practices for Model Driven Development, 2005.

. Accellera, Property Specification Language Reference Manual. Language (pp. 1-123), 2004.

Y. Ait-ameur, F. Besnard, P. Girard, G. Pierra, and J. C. Potier, Formal specification and metaprogramming in the EXPRESS language, Conference on Software Engineering and Knowledge Engineering, pp.181-189, 1995.

Y. Ait-ameur, G. Pierra, and E. Sardet, Using the EXPRESS language for metaprogramming, Proceedings of the 3rd International Conference of EXPRESS User Group EUG'95, 1995.

P. Alexander, C. Kong, P. Ashenden, A. Systems, D. Barton et al., Kansas, Rosetta Strawman Version 0.3. Distribution, pp.1-150, 2003.

Y. An and I. Song, Discovering Semantically Similar Associations (SeSA) for Complex Mappings between Conceptual Models. Conceptual Modeling -ER, 27th International Conference on Conceptual Modelling, pp.369-382, 2008.

. Springer, Retrieved from http://books.google.com/books?id=Y 17gZ6rdid4C&pg=PA369&lpg=PA3 69&dq=semantically+similar+associa tions+an+song&source=bl&ots=xaba 0GLboa&sig=tbAC0UlSEzm5IR3ee NJvr_aWpHg&hl=fr&ei=OsyoS_foI MKSjAf224DoAQ&sa=X&oi=book_ result&ct=result&resnum=1&ved=0C AsQ6AEwAA#v=onepage&q=seman tically similar associations an song&f=false

F. D. Antonio, M. Missikoff, P. Bottoni, and A. Hahn, An ontology for describing model mapping / transformation tools and methodologies: the MoMo ontology, Proceedings of EMOI-INTEROP. CEUR, 2006.

A. Project, Semantic Annotation language and tool for Information and Business Processes Apendix F: User Manual, pp.1-26, 2006.

A. Bakhtouchi, C. Chakroun, L. Bellatreche, Y. S. Aït-ameur, F. Harmelen et al., Mediated Data Integration Systems using Functional Dependencies Embedded in Ontologies. Recent Trends in Information Reuse and Integration, pp.227-256, 2004.
DOI : 10.1007/978-3-7091-0738-6_11

T. Berners-lee, R. Fielding, U. Irvine, and L. Masinter, Uniform Resource Identifier (URI): Generic Syntax. Request for Comments 2396, 1998.
DOI : 10.17487/rfc3986

B. Boehm and R. Turner, Balancing Agility and Discipline: A Guide for the Perplexed, pp.1-272, 2003.
DOI : 10.1007/978-3-540-24675-6_1

A. Boronat, A. Knapp, J. Meseguer, and M. Wirsing, What Is a Multi-modeling Language?, WADT, pp.71-87, 2008.
DOI : 10.1007/978-3-540-24626-8_24

N. Boudjlida and H. Panetto, Annotation of Enterprise Models for Interoperability Purposes, 2008 International Workshop on Advanced Information Systems for Enterprises, 2008.
DOI : 10.1109/IWAISE.2008.15

URL : https://hal.archives-ouvertes.fr/hal-00232842

M. Bräuer, Design of a Semantic Connector Model for Composition of Metamodels in the Context of Software Variability, 2007.

G. Caplat, J. L. Sourrouille, and B. B. Pascal, Considerations about Model Mapping. INSA, 2003.

B. E. Cerami, Web Services Essentials (p. 304). O'Reilly, pp.0-596, 2002.

B. Chandrasekaran, J. R. Josephson, and V. R. Benjamins, What are ontologies, and why do we need them?, IEEE Intelligent Systems, vol.14, issue.1, pp.20-261094, 1999.
DOI : 10.1109/5254.747902

Y. Chen and H. Chu, Enabling collaborative product design through distributed engineering knowledge management, Computers in Industry, vol.59, issue.4, pp.395-409, 2007.
DOI : 10.1016/j.compind.2007.10.001

P. Coleman, Developing the Behavioural Digital Aircraft (pp. 1- 16). Madrid, Spain. Retrieved from http, 2011.

D. Connolly, F. Harmelen, . Van, I. Horrocks, D. L. Mcguinness et al., DAML+OIL Reference Description. W3C Note. Retrieved from http, 2001.

F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi et al., Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing, vol.6, issue.2, pp.86-9310, 2002.
DOI : 10.1109/4236.991449

R. Delmas, Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés, 2004.

C. Gonzalez-perez and B. Henderson-sellers, Modelling software development methodologies: A conceptual foundation, Journal of Systems and Software, vol.80, issue.11, 2007.
DOI : 10.1016/j.jss.2007.02.048

URL : https://opus.lib.uts.edu.au/bitstream/10453/3956/3/2006014571.pdf

T. Gruber, Toward principles for the design of ontologies used for knowledge sharing?, International Journal of Human-Computer Studies, vol.43, issue.5-6, 1995.
DOI : 10.1006/ijhc.1995.1081

G. Guizzardi, Ontology-Driven Conceptual Modeling with Applications. Gramado, Brazil. Retrieved from http, 2008.

A. Y. Halevy, A. Arbor, and C. Yu, Data Integration with Uncertainty, VLDB '07 Porceeedings of the 33rd international conference on Very Large Data Bases, pp.687-698, 2007.

A. Halevy and J. Ordille, Data Integration: The Teenage Years, VLDB '06 Porceeedings of the 32nd international conference on Very Large Data Bases, pp.9-16, 2006.

B. Hammond, A. Sheth, and K. Kochut, Semantic Enhancement Engine: A Modular Document Enhancement Platform for Semantic Applications over Heterogeneous Content, Real-world Semantic Web applications, pp.29-49, 2002.

S. Handschuh, S. Staab, and F. Ciravegna, S-CREAM ? Semiautomatic CREAtion of Metadata, Int'l Journal on Semantic Web & Information Systems, vol.1, issue.1, pp.1-18, 2005.

. Modhel-'x, A Component-Oriented Approach to Multi-Formalism Modeling, Models in Software Engineering, pp.247-258

C. Haskins, K. Forsberg, M. Krueger, D. Walden, and R. D. Hamelin, Systems Engineering Handbook, 2010.

A. Hessellund, Domain-Specific Multimodeling, 2009.

D. Hillmann, Using Dublin Core Retrieved from http://dublincore.org/documents, 2005.

E. C. Honour, Understanding the Value of Systems Engineering, Proceedings of the 14th Annual INCOSE International Symposium, 2004.

K. Hose, A. Roth, A. Zeitz, K. Sattler, . Uwe et al., A research agenda for query processing in large-scale peer data management systems, Information Systems, vol.33, issue.7-8, pp.597-610, 2008.
DOI : 10.1016/j.is.2008.01.012

D. S. Kolovos, R. F. Paige, and F. A. Polack, The Epsilon Object Language (EOL), Lecture Notes in Computer Science, pp.128-142, 2006.
DOI : 10.1007/11787044_11

D. Kolovos, R. Paige, and F. Polack, Detecting and Repairing Inconsistencies across Heterogeneous Models, 2008 International Conference on Software Testing, Verification, and Validation, pp.356-364, 2008.
DOI : 10.1109/ICST.2008.23

. Ieee, doi:10.1109/ICST, p.23, 2008.

A. Krygiel, Behind the Wizard 's Curtain. An Integration Environment for a System of Systems, 1999.

T. Kvan, Collaborative design: what is it?, Automation in Construction, vol.9, issue.4, pp.409-41510, 2000.
DOI : 10.1016/S0926-5805(99)00025-4

C. Larman and V. R. Basili, Iterative and incremental developments. a brief history, Computer, vol.36, issue.6, pp.47-56, 2003.
DOI : 10.1109/MC.2003.1204375

M. Lenzerini, Data integration, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, 2002.
DOI : 10.1145/543613.543644

Y. Lin, Model annotations using requirements engineering techniques for model reuse and model integration Retrieved from http://caise04dc.idi.ntnu.no/CRC_Cai seDC Relationships between Common Graphical Representations in System Engineering. Retrieved from http, YunLin.pdf Long, J, 2000.

H. Lykins and N. F. Ave, Adapting UML for an Object Oriented Systems Engineering Method ( OOSEM ), Proceedings of the 10'th International INCOSE Symposium, 1999.

S. Mandutianu, Modeling Pilot for Early Design Space Missions, 7th Annual Conference on Systems Engineering Research, 2009.

L. S. Mastella, M. Abel, L. F. Ros, M. Perrin, and J. Rainaud, Event Ordering Reasoning Ontology applied to Petrology and Geological Modelling Advances in Soft Computing, 42(Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, pp.465-475, 2007.

N. Mokhtari and O. Corby, Contextual semantic annotations, Proceedings of the fifth international conference on Knowledge capture, K-CAP '09, 2009.
DOI : 10.1145/1597735.1597782

A. Monzón, Bi-directional Mapping between CMMI and INCOSE SE Handbook. ERTS 2, 2010.

T. Mossakowski, Heterogeneous Specification and the Heterogeneous Tool Set, Proceedings of CombLog'04 Workshop on Combination of Logics: Theory and Applications, pp.129-140, 2004.

J. Mukerji and J. Miller, MDA Guide Version 1.0.1. Retrieved from http://www.enterprisearchitecture .info/Images/MDA/MDA Guide v1-0-1.pdf NASA NASA Systems Engineering Handbook. NASA. Retrieved from http, 1999.

D. Oberle, Semantic management of middleware, Proceedings of the 1st international doctoral symposium on Middleware -, 2006.
DOI : 10.1145/1028480.1028484

K. Oliveira, K. Breitman, and T. Oliveira, Ontology Aided Model Comparison, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009.
DOI : 10.1109/ICECCS.2009.55

B. W. Oppenheim, Lean enablers for systems engineering, Crosstalk Defense Journal, pp.10-1002, 2009.
DOI : 10.1002/sys.20161

P. Gmbh, ECCO Toolkit. Strategic Analysis. Karlsruhe: PDTec GmbH, 1998.

C. J. Paredis, Y. Bernard, R. M. Koning, D. Peter, and S. Friedenthal, 5.5.1 An Overview of the SysML-Modelica Transformation Specification, INCOSE International Symposium, vol.20, issue.1, 2010.
DOI : 10.1002/j.2334-5837.2010.tb01099.x

G. Pierra, Modelling Classes of Pre-existing Components in a CIM Perspective: the ISO 13584 Approach. Revue International de CFAO et d'Infographie, pp.435-454, 1992.

G. Pierra, Context Representation in Domain Ontologies, Journal on Data Semantics X, vol.1, issue.4900, pp.174-211, 2008.

A. Pop, D. Akhvlediani, and P. Fritzson, Towards Unified System Modeling with the ModelicaML UML Profile Introduction to ISO 10303?the STEP Standard for Product Data Exchange, Proceedings of the 1st International Workshop on EquationBased ObjectOriented Languages and Tools EOOLT'07, pp.13-24, 2001.

M. Ruzzi, Data Integration Issues in Research Supporting Sustainable Natural Resource Management, Geographical Research, vol.24, pp.230-386, 2004.

J. Seng and I. L. Kong, A schema and ontology-aided intelligent information integration, Expert Systems with Applications, vol.36, issue.7, pp.10538-10550, 2009.
DOI : 10.1016/j.eswa.2009.02.067

A. P. Sheth and J. A. Larson, Federated database systems for managing distributed, heterogeneous, and autonomous databases, ACM Computing Surveys, vol.22, issue.3, 1990.
DOI : 10.1145/96602.96604

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.6768

A. Sheth, C. Ramakrishnan, and C. Thomas, Semantics for the Semantic Web, International Journal on Semantic Web & Information Systems, vol.1, issue.1, pp.1-18, 2005.
DOI : 10.4018/978-1-59904-426-2.ch001

C. D. Silva, Découverte de correspondances sémantiques entre ressources hétérogènes dans un environnement coopératif, 2007.

S. Zayas, D. Monceaux, A. Ait-ameur, and Y. , Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010.
DOI : 10.1109/ICECCS.2010.35

S. Zayas, D. Monceaux, A. Ait-ameur, and Y. , Using knowledge and expressions to validate intermodel constraints, 2011.
DOI : 10.3182/20110828-6-it-1002.03801

S. Zayas, D. Monceaux, A. Aitameur, and Y. , Knowledge Based Characterization Of Cross-Models Constraints To Check Design And Modeling Requirements, 2011.

E. Sirin and B. Parsia, Pellet: An OWL DL Reasoner Description Logics, 2004.

T. Snodgrass and M. Kassi, Function Analysis The Stepping Stones to Good Value, 1986.

P. Spiby, STEP AP233 Systems Engineering. Systems Engineering. Eurostep Group Retrieved from http://www2.pdteurope.com/media/54 159/1b. step ap233 systems engineering, The C2 Constellation A US Air Force Network Centric Warfare Program Network Centric Applications and C4ISR Architecture. Info, pp.1-31, 2004.

J. E. Team, Jena -A Semantic Web Framework for Java Retrieved from http://jena.sourceforge.net/index SCADE Suite. Retrieved a from http://www.estereltechnologies.com/products/scade- suite, SCADE System. Retrieved b from http, 2011.

. Topcased, TOPCASED The Open-Source Toolkit for Critical Systems. Retrieved from http, 2011.

T. N. Tran, K. M. Khan, and Y. Lan, A Framework for Transforming Artifacts from Data Flow Diagrams to UML, Proceeding of the IASTED International Conference on Software Engineering, 2004.

T. Tudorache, Employing Ontologies for an Improved Development Process in Collaborative Engineering, 2006.

V. Uren, W. Hall, and M. Keynes, Semantic annotation for knowledge management: Requirements and a survey of the state of the art, Web Semantics: Science, Services and Agents on the World Wide Web, pp.14-28, 2006.
DOI : 10.1016/j.websem.2005.10.002

M. Uschold, Where are the Semantics in the Semantic Web?, 2002.

S. Vajna, Approaches of Knowledge-Based Design, Volume 2: 29th Design Automation Conference, Parts A and B, 2002.
DOI : 10.1115/DETC2003/DAC-48741

J. Verries, Approche pour la Conception de Systèmes Aéronautiques Innovants en Vue d'Optimiser l'Architecture Application au Système Portes Passagers, 2010.

S. Vinoski, CORBA: integrating diverse applications within distributed heterogeneous environments, IEEE Communications Magazine, vol.35, issue.2, 1997.
DOI : 10.1109/35.565655

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.6098

J. B. Warner and A. G. Kleppe, The Object Constraint Language: Precise Modeling with UML, p.144, 1998.

M. Yoshimura, System Design Optimization for Product Manufacturing, Concurrent Engineering, vol.15, issue.4, pp.329-34310, 2007.
DOI : 10.1177/1063293X07083087

N. Zouggar, B. Vallespir, and D. Chen, Semantic Enrichment of Enterprise Models. IWEI, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00324536

. Self\binary_generic_expression, OPERANDS : LIST [2:2] OF NUMERIC_EXPRESSION

. Self\binary_generic_expression, OPERANDS : LIST [2:2] OF EXPRESSION

E. Minus_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, THE_VALUE- ARG\BINARY_NUMERIC_EXPRESSION.OPERANDS

E. Div_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, ARE CORRECT NUMBERS THAT CAN BE EVALUATED/OBTAINED RETURN (ARG\BINARY_NUMERIC_EXPRESSION.OPERANDSTHE_VALUE DIV ARG\BINARY_NUMERIC_EXPRESSION.OPERANDSTHE_VALUE, issue.12

E. Mod_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, ARG\BINARY_NUMERIC_EXPRESSION.OPERANDS[1].THE_VALUE MOD ARG\BINARY_NUMERIC_EXPRESSION.OPERANDS

E. Slash_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, THE_VALUE / ARG\BINARY_NUMERIC_EXPRESSION.OPERANDS

E. Power_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, THE_VALUE ** ARG\BINARY_NUMERIC_EXPRESSION.OPERANDS

E. Minus_unary_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, ARE CORRECT NUMBERS THAT CAN BE EVALUATED/OBTAINED RETURN (-ARG\UNARY_NUMERIC_EXPRESSION.OPERAND.THE_VALUE

E. Maximum_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; LOCAL I: INTEGER; RES: NUMBER := 0

E. Minimum_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; LOCAL I: INTEGER; RES: NUMBER := 0

E. Length_fct, ARG: LENGTH_FUNCTION) : INTEGER; LOCAL STR: STRING

E. Value_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, ARE CORRECT NUMBERS THAT CAN BE EVALUATED/OBTAINED RETURNVALUE(ARG\VALUE_FUNCTION.OPERAND.THE_VALUE)

E. Int_value_fct, ARG: NUMERIC_EXPRESSION) : INTEGER; --HYP: THE OPERANDS, ARE CORRECT NUMBERS THAT CAN BE EVALUATED/OBTAINED RETURNVALUE(ARG\VALUE_FUNCTION.OPERAND.THE_VALUE)

E. Abs_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, ARE CORRECT NUMBERS THAT CAN BE EVALUATED/OBTAINED RETURNABS(ARG\UNARY_NUMERIC_EXPRESSION.OPERAND.THE_VALUE)

E. Xor_fct, ARG: BOOLEAN_EXPRESSION) : BOOLEAN; RETURN (ARG\XOR_EXPRESSION.OPERANDS[1], THE_VALUE XOR ARG\XOR_EXPRESSION.OPERANDSTHE_VALUE, issue.2

E. Concat_fct, ARG: STRING_EXPRESSION) : STRING

E. Square_fct, ARG: NUMERIC_EXPRESSION) : NUMBER; --HYP: THE OPERANDS, ARE CORRECT NUMBERS THAT CAN BE EVALUATED/OBTAINED RETURN (SQRT(ARG\UNARY_NUMERIC_EXPRESSION.OPERAND.THE_VALUE)

F. Find_attribute_values, ARG:GENERIC;ATT_NAME:STRING): SET OF T_DOMAINE; LOCAL einfo: entity_info; atts: LIST OF attribute; SIZE_ATTRIBUTES : INTEGER := 0; END_LOCAL; einfo := get_type_info(ARG)

-. Look and . The, = 1 TO SIZE_ATTRIBUTES; IF (atts[I].name = ATT_NAME) THEN RETURN(atts[I]

-. Look and . The, = 1 TO SIZE_ATTRIBUTES; IF (atts[I].name = ATT_NAME) THEN RETURN(atts[I]

-. Look and . The, = 1 TO SIZE_ATTRIBUTES; IF (atts[I].name = ATT_NAME) THEN RETURN(atts[I]

-. Function, . Get, . Set, . Values, . From et al., ARG:GENERIC_EXPRESSION): SET OF T_DOMAINE; LOCAL ENTITY_OF_ATTRIBUTES: ENTITY_CLASS; SIZE_ATTRIBUTES : INTEGER := 0; SIZE_ANNOTATIONS : INTEGER := 0

. Self\core_relation, DESTINATION: EXIT; SELECTION_PROBABILITY: OPTIONAL REAL; --PROBABILITY TO USE THE EXIT EXIT_TYPE: EXIT_TYPE

D. Boolean, DECOMPOSES: OPTIONAL SET[0:?] OF FUNCTION_CORE; SERVICES: OPTIONAL SET[0:?] OF LINK; SPECIFIED_BY: OPTIONAL SET[0:?] OF REQUIREMENT; ALLOCATED_TO: OPTIONAL ALLOCATED_TO_RELATION; INPUTS: OPTIONAL SET[0:?] OF ITEM_CORE, OF ITEM_CORE; TRIGGERED_BY: OPTIONAL SET

I. Basedon, SET[0:?] OF REQUIREMENT FOR BASIS_OF; DECOMPOSED_BY: SET[0:?] OF FUNCTION_CORE FOR DECOMPOSES

A. Set, OF LINK; CONNECTED_THROUGH: SET[0:?] OF LINK; --DERIVED: THE LINKS ALLOCATED TO A COMPONENT ARE ALSO ALLOCATED TO AN UPPER COMPONENT (BUILT FROM RELATION) JOINED_TO: SET[0:?] OF INTERFACE_CORE; JOINED_THROUGH: SET[0:?] OF INTERFACE_CORE; --DERIVED: THE INTERFACES ALLOCATED TO A COMPONENT ARE ALSO ALLOCATED TO AN UPPER COMPONENT (BUILT FROM RELATION) PERFORMS: SET[0:?] OF PERFORMS_RELATION, COMPLEMENT OF ALLOCATED_TO SPECIFIED_BY: SET[0:?] OF REQUIREMENT; DERIVE SELF\ENTITY_CLASS.NAME:STRING := 'COMPONENT'; INVERSE BUILT_FROM: SET[0:?] OF COMPONENT FOR BUILT_IN

R. Of, . Should, . Be, . With, . Relation et al., NAME:STRING := 'INTERFACE_CORE'; INVERSE JOINS_THROUGH: SET[0:?] OF COMPONENT FOR JOINED_THROUGH, COMPRISED_OF: SET, p.SET

]. Necessarily, . To, . Serviced_by, . Function, . But et al., NAME:STRING := 'LINK', SERVICED_BY: SET[0:?] OF FUNCTION_CORE FOR SERVICES; COMPRISES: SET[0:?] OF INTERFACE_CORE FOR COMPRISED_OF

I. Media_type, PRIORITY: OPTIONAL STRING; ACCURACY: OPTIONAL STRING; TIMELINESS: OPTIONAL STRING; FORMAT_TYPE: OPTIONAL STRING; FIELDS: SET[0:?] OF STRING; DECOMPOSES: SET[0:?] OF ITEM_CORE; TRIGGERS: SET[0:?] OF TRIGGERS_FUNCTION_RELATION; SPECIFIED_BY: SET[0:?] OF REQUIREMENT; DERIVE SELF\ENTITY_CLASS.NAME:STRING := 'ITEM'; INVERSE DECOMPOSED_BY: SET[0:?] OF ITEM_CORE FOR DECOMPOSES; INPUT_TO: SET[0:?] OF FUNCTION_CORE FOR INPUTS, OUTPUT_FROM: SET[0:?] OF FUNCTION_CORE FOR OUTPUTS; INPUTS: T_BRANCH_TARGET; OUTPUTS: T_BRANCH_TARGET; EXITS_BY: OPTIONAL EXIT; ANNOTATION: OPTIONAL STRING

O. Set and . Parameter_uml, IS_ABSTRACT: OPTIONAL BOOLEAN; METHOD: OPTIONAL SET[0:?] OF BEHAVIOR; RAISED_EXCEPTION: OPTIONAL SET[0:?] OF CLASSIFIER; DERIVE SELF\FEATURE.NAME:STRING := ', BEHAVIORAL_FEATURE

I. Optional, . On, . The, . Values, . An et al., LOWER : OPTIONAL INTEGER; --DERIVED. UPPER : OPTIONAL INTEGER; -->=0, DERIVED. CLASS : OPTIONAL CLASS_UML, OF OPERATION_UML; RETURN_TYPE: OPTIONAL TYPE_UML; --DERIVED OWNER_INTERFACE: OPTIONAL INTERFACE_UML; DERIVE SELF\BEHAVIORAL_FEATURE.NAME:STRING := 'OPERATION_UML

I. Set, OF FEATURE; --DERIVED GENERAL: OPTIONAL SET[0:?] OF CLASSIFIER; --DERIVED GENERALIZATION: OPTIONAL SET[0:?] OF GENERALIZATION; INHERITED_ELEMENT: OPTIONAL SET[0:?] OF NAMED_ELEMENT; --DERIVED REDEFINED_CLASSIFIER: OPTIONAL SET[0:?] OF CLASSIFIER, DERIVED (REFERENCES THE CLASSIFIERS THAT ARE REDEFINED BY THIS CLASSIFIER) COLLABORATION_USE: OPTIONAL COLLABORATION_USE; REPRESENTATION: OPTIONAL COLLABORATION_USE; DERIVE SELF\NAMESPACE.NAME:STRING := 'CLASSIFIER

I. Boolean, NESTED_CLASSIFIER: OPTIONAL SET[0:?] OF CLASSIFIER; SUPER_CLASS: OPTIONAL SET[0:?] OF CLASS_UML; --DERIVED DERIVE SELF\ENCAPSULATED_CLASSIFIER, NAME:STRING := 'CLASS_UML

I. Boolean, LOWER: OPTIONAL INTEGER; --DERIVED UPPER: OPTIONAL INTEGER, UNLIMITED NATURAL >=0 LOWER_VALUE: OPTIONAL VALUE_SPECIFICATION; UPPER_VALUE: OPTIONAL VALUE_SPECIFICATION; DERIVE SELF\NAMED_ELEMENT.NAME:STRING := 'MULTIPLICITY_ELEMENT

I. Set, OF PROPERTY_UML; OWNED_END: OPTIONAL SET [0:?] OF PROPERTY_UML; NAVIGABLE_OWNED_END: OPTIONAL SET [0:?] OF PROPERTY_UML, OF TYPE_UML; DERIVE SELF\RELATIONSHIP.NAME:STRING := 'ASSOCIATION

A. Boolean, SUPER_CLASS: OPTIONAL SET[0:?] OF CLASS_UML; --DERIVED ASSOCIATION: OPTIONAL ASSOCIATION; OWNING_ASSOCIATION: OPTIONAL ASSOCIATION; DATA_TYPE: OPTIONAL DATA_TYPE_UML; DEFAULT_VALUE: OPTIONAL VALUE_SPECIFICATION; REDEFINED_PROPERTY: OPTIONAL SET[0:?] OF PROPERTY_UML; SUBSETTED_PROPERTY: OPTIONAL SET, OF PROPERTY_UML; OPPOSITE: OPTIONAL PROPERTY_UML; CLASS_UML: OPTIONAL SET OF CLASS_UML

S. State_machine and . State, OPTIONAL STATE ; TRANSITION: OPTIONAL SET[0:?] OF TRANSITION; SUBVERTEX: OPTIONAL SET[0:?] OF VERTEX, THE REGION OF WHICH THIS REGION IS AN EXTENSION REDEFINITON_CONTEXT: OPTIONAL CLASSIFIER; --DERIVED, REFERENCES THE CLASSIFIER IN WHICH CONTEXT THIS ELEMENT MAY BE REDEFINED END_ENTITY

I. Set, OF ACTIVITY_GROUP; NODE: OPTIONAL SET[0:?] OF ACTIVITY_NODE; EDGE: OPTIONAL SET[0:?] OF ACTIVITY_EDGE; PARTITION: OPTIONAL SET[0:?] OF ACTIVITY_PARTITION, OF STRUCTURED_ACTIVITY_NODE; VARIABLE: OPTIONAL SET

#. , $. , $. , and #. To_step_confirmed, TO step confirmed subphase