Experimental Metamodel Sample Clauses

Experimental Metamodel. This section contains an experimental formalisation of a metamodel of ordered class models, as a means of answering the question, “what exactly is an ordered class model?” The graph and set theoretical definitions above are unable to answer this question because they elide certain information. As the reader will see, an ordered class model is simply an object of a particular type. Recall that a metamodel is a language for describing the structure and behaviour of particular kinds of models. In this case, the metamodel is a “model of ordered class models”. The metamodel of ordered class models is shown in Figure 3.22, and comprises five de- pendent types: Model(Mo), Class(Cl), Attribute(At), Type(Ty) and Relation(Re). Briefly, an ordered class model is rooted at a particular class; a class has zero or more attributes; an attribute has a type; a class also has zero or more relations; and a relation targets a class. Define the metamodel to be mutually inductive, so that there are no loops at the model level. The formation and introduction rules of each type are given below. The elimination and computation rules are intentionally undefined (they serve no purpose here). Type Type(Ty) The introduction rule asserts that @Ty X is an encoding of type X. X : U0 (Ty F ) X : U0 (Ty I) Ty X : U1 @Ty X : Ty X Model(Mo) X : U0 root : Xx X xxxx J Class(Cl) X : U0 attributes : [ At X ] attributes ∗ relations : [ Re X ] target Attribute(At) X : U0 Y : U relations ∗ Relation(Re)† X : U0 Y : U0 attribute : X → Y relation[@1 R e ] : X → Y type : Ty Y relation[@2 R ] : X → [ Y ] target : Cl Y type J Type(Ty) X : U0 Figure 3.22: A metamodel of ordered class models. Type Attribute(At) The introduction rule asserts that @At X Y attribute type is an en- coding of an attribute of class X whose type is Y , if attribute is a function that takes X to Y , and type is an encoding of type Y . X : U0 (A F ) X : U0 Y : U0 attribute : X → Y type : Ty Y (A I) At X : U1 t @At X Y attribute type : At X t Type Class(Cl) The introduction rule asserts that @Cl X attributes relations is an en- coding of class X, if attributes is a list of encodings of attributes of X, and relations is a list of encodings of relations originating from X. X : U0 (C F ) X : U0 attributes : [ At X ] relations : [ Re X ] (C I) Cl X : U1 l @Cl X attributes relations : Cl X l Re Type Relation(Re) The first introduction rule asserts that @1 X Y relation target is an encoding of a one-valued relation between X and Y , if re...
AutoNDA by SimpleDocs

Related to Experimental Metamodel

  • Supply of Materials The following materials will be supplied by the department Name of Materials Rate. Place of delivery 1.

  • Manufacturing (a) The Supplier shall without limitation be responsible, at no additional cost to the Purchaser, for: sourcing and procuring all raw materials for the Products; obtaining all necessary approvals, permits and licenses for the manufacturing of the Products; providing sufficient qualified staff and workers to perform the obligations under this Purchase Agreement; implementing and maintaining effective inventory and production control procedures with respect to the Products; and handling other matters as reasonably requested by the Purchaser from time to time.

  • Probes Network hosts used to perform (DNS, EPP, etc.) tests (see below) that are located at various global locations.

  • Laboratory Testing All laboratories selected by UPS Freight for analyzing Controlled Substances Testing will be HHS certified.

  • Review of Materials During the term of this Agreement, Client shall ensure that all prospectuses, statements of additional information, registration statements, proxy statements, reports to shareholders, advertising and sales literature or other materials prepared for distribution to Fund shareholders or the public, which refer to the Subadviser in any way, prepared by employees or agents of Client or its affiliates are consistent with information previously provided by Subadviser. Subadviser shall promptly notify the Client of any changes to information pertaining to the Subadviser and stated in the materials described in this Section 6(g).

  • Quality of Materials and Workmanship Unless otherwise specified, all materials shall be new, and both workmanship and materials shall be of good quality. The Contractor shall, if required, furnish satisfactory evidence as to the kind and quality of materials and work. The burden of proof is on the Contractor.

  • Product ACCEPTANCE Unless otherwise provided by mutual agreement of the Authorized User and the Contractor, Authorized User(s) shall have thirty (30) days from the date of delivery to accept hardware products and sixty (60) days from the date of delivery to accept all other Product. Where the Contractor is responsible for installation, acceptance shall be from completion of installation. Failure to provide notice of acceptance or rejection or a deficiency statement to the Contractor by the end of the period provided for under this clause constitutes acceptance by the Authorized User(s) as of the expiration of that period. The License Term shall be extended by the time periods allowed for trial use, testing and acceptance unless the Commissioner or Authorized User agrees to accept the Product at completion of trial use. Unless otherwise provided by mutual agreement of the Authorized User and the Contractor, Authorized User shall have the option to run testing on the Product prior to acceptance, such tests and data sets to be specified by User. Where using its own data or tests, Authorized User must have the tests or representative set of data available upon delivery. This demonstration will take the form of a documented installation test, capable of observation by the Authorized User, and shall be made part of the Contractor’s standard documentation. The test data shall remain accessible to the Authorized User after completion of the test. In the event that the documented installation test cannot be completed successfully within the specified acceptance period, and the Contractor or Product is responsible for the delay, Authorized User shall have the option to cancel the order in whole or in part, or to extend the testing period for an additional thirty (30) day increment. Authorized User shall notify Contractor of acceptance upon successful completion of the documented installation test. Such cancellation shall not give rise to any cause of action against the Authorized User for damages, loss of profits, expenses, or other remuneration of any kind. If the Authorized User elects to provide a deficiency statement specifying how the Product fails to meet the specifications within the testing period, Contractor shall have thirty (30) days to correct the deficiency, and the Authorized User shall have an additional sixty (60) days to evaluate the Product as provided herein. If the Product does not meet the specifications at the end of the extended testing period, Authorized User, upon prior written notice to Contractor, may then reject the Product and return all defective Product to Contractor, and Contractor shall refund any monies paid by the Authorized User to Contractor therefor. Costs and liabilities associated with a failure of the Product to perform in accordance with the functionality tests or product specifications during the acceptance period shall be borne fully by Contractor to the extent that said costs or liabilities shall not have been caused by negligent or willful acts or omissions of the Authorized User’s agents or employees. Said costs shall be limited to the amounts set forth in the Limitation of Liability Clause for any liability for costs incurred at the direction or recommendation of Contractor.

  • Diagnostic procedures to aid the Provider in determining required dental treatment.

  • Research Support opioid abatement research that may include, but is not limited to, the following:

  • API If the Software offers integration capabilities via an API, your use of the API may be subject to additional costs or Sage specific policies and terms and conditions (which shall prevail in relation to your use of the API). You may not access or use the API in any way that could cause damage to us or the Software, or in contravention of any applicable laws. We reserve the right in our sole discretion, to: (i) update any API from time to time; (ii) place limitations around your use of any API; and (iii) deny you access to any API in the event of misuse by you or to otherwise protect our legitimate interests.

Time is Money Join Law Insider Premium to draft better contracts faster.