Object Constraint Language (OCL Sample Clauses

Object Constraint Language (OCL. A diagram is an efficient way of conveying meaning. However, there are many nuances of meaning such as uniqueness, limits, constraints and so on, which a diagram cannot easily convey. A wholly graphical means of constructing a precise and unambiguous description of a model is simply not viable. The Object Constraint Language (OCL) [102, 139]—which has moved on from being just a constraint language since its inception—is a fully fledged object expression language, specifically designed to support the construction of precise UML models. It is not a stand-alone language, though, because OCL expressions cannot reside outside the context of a UML model. The power of OCL is roughly equivalent to that of first-order predicate logic. Example 8. (OCL) If A is related to B via R1 as in Figure 3.4, the following OCL A R1 /¸ B B1 : Nat Figure 3.4: A simple class diagram to illustrate the evaluation of an OCL expression. expression evaluates to true, if for all objects of B linked to self (an object of A) via R1, the value of attribute B1 exceeds 0. context: A inv: self.R_1->forAll(B_1() > 0)
AutoNDA by SimpleDocs

Related to Object Constraint Language (OCL

  • Contract Language The following language shall be included in contracts for City projects between the Consultant and any Subcontractors, vendors, and suppliers: Contractor shall not discriminate on the basis of race, gender, gender expression, gender identity, religion, national origin, ethnicity, sexual orientation, age, or disability in the solicitation, selection, hiring, or treatment of subcontractors, vendors, or suppliers. Consultant shall provide equal opportunity for Subcontractors to participate in opportunities. Consultant understands and agrees that violation of this clause shall be considered a material breach of the contract and may result in contract termination, debarment, or other sanctions.

  • Public Posting of Approved Users’ Research Use Statement The PI agrees that information about themselves and the approved research use will be posted publicly on the dbGaP website. The information includes the PI’s name and Requester, project name, Research Use Statement, and a Non-Technical Summary of the Research Use Statement. In addition, and if applicable, this information may include the Cloud Computing Use Statement and name of the CSP or PCS. Citations of publications resulting from the use of controlled-access datasets obtained through this DAR may also be posted on the dbGaP website.

  • Inspection of Goods 8.1 The Buyer shall inspect the goods upon delivery.

  • Step 3 – Contract Language Disputes (a) If a grievance concerning the interpretation or application of this Agreement, other than a grievance alleging that a disciplinary action (reduction in base pay, demotion, involuntary transfer of more than 50 miles by highway, suspension, or dismissal) was taken without cause, is not resolved at Step 2, the grievant or designated representative may appeal the grievance by submitting it to the Office Manager for the Office of the General Counsel of the Department of Management Services, 0000 Xxxxxxxxx Xxx, Xxxxx 000, Xxxxxxxxxxx, Xxxxxxx, 00000-0950, or by email to: Xxxx0Xxxxxxxxxx@xxx.xxxxxxxxx.xxx within 15 days following receipt of the decision at Step 2. The grievance shall include a copy of the grievance forms submitted at Steps 1 and 2, together with all written responses and documents in support of the grievance. When the grievance is eligible for initiation at Step 3, the grievance shall be filed on the grievance form contained in Appendix B of this Contract, setting forth specifically the facts on which the grievance is based, the specific provision(s) of the Contract allegedly violated, and the relief requested.

  • Technical Specifications and Drawings a) The Goods and Related Services supplied under this Contract shall conform to the technical specifications and standards mentioned in Section VI, Schedule of Requirements and, when no applicable standard is mentioned, the standard shall be equivalent or superior to the official standards whose application is appropriate to the Goods' country of origin.

  • Country Specific Terms Appendix A contains additional terms and conditions of the Agreement applicable to Participants residing in those countries. In addition, Appendix A also contains information and notices of exchange control and certain other issues of which the Participant should be aware.

  • English Language Learners The Charter School shall comply with all applicable federal laws and regulations relating to the provision of educational services to English Language Learners.

  • Mandate Letter language The Funder will receive a Mandate Letter from the Ministry annually. Each Mandate Letter articulates areas of focus for the Funder, and the Ministry’s expectation that the Funder and health service providers it funds will collaborate to advance these areas of focus. To assist the HSP in its collaborative efforts with the Funder, the Funder will share each relevant Mandate Letter with the HSP. The Funder may also add local obligations to Schedule D as appropriate to further advance any priorities set put in a Mandate Letter.

  • Sample Language The following provides a sample contract clause: Compliance with the Xxxxxxxx “Anti-Kickback” Act.

  • Languages 20.1 The Proclamation of Sale, these conditions of sale and the Memorandum may have been translated and published in different forms and languages. In the event of any discrepancy, misstatement, omission or error appearing in the various forms or languages, this English version shall prevail.

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