Creation of WS-Policy Code Contracts Assertions Sample Clauses

Creation of WS-Policy Code Contracts Assertions. In this step, we create an XML representation for the code contracts expressions according to XML schema for CodeContractsAssertion as defined in the previous sec- tion. We have realized a function createCodeContracts- Assertions that takes a filled dictionary from the previous step. It iterates on the keys and performs the following actions: • For each key, a CodeContractsAssertion is created. The value of its context attribute will be the key’s name. • For each expression contained in a key’s value, an XML element is embedded into the CodeContracts- Assertion. Depending on the well-defined prefix, the XML element will be either requires, ensures, or invariant. The result of this step is a complete list of Code- ContractsAssertions for the code contracts expressions in the service’s implementation. How to embed a set of CodeContractsAssertions as a WS-Policy description into a WSDL file is described next.
AutoNDA by SimpleDocs
Creation of WS-Policy Code Contracts Assertions. In this step, we create an XML representation for the code contracts expressions according to WS-Policy. The XML schema for CodeContractsAssertion has been described in Section V. This transformation is realized as follows: It takes the code contracts dictionary from the previous step and iter- ates over the keys (i.e., methods with code contracts). For each key, a corresponding CodeContractsAssertion is created. A single CodeContractsAssertion may contain several expressions. As each expression string starts with pre:, post:, or inv:, it is clear which of the elements requires, ensures and invariant are to be created in the assertion. How to embed a set of CodeContractsAssertions as a WS-Policy description into a WSDL file is described next.

Related to Creation of WS-Policy Code Contracts Assertions

  • Certification for Federal-Aid Contracts Lobbying Activities A. The CONSULTANT certifies, by signing and submitting this Contract, to the best of its knowledge and belief after diligent inquiry, and other than as disclosed in writing to the LPA prior to or contemporaneously with the execution and delivery of this Contract by the CONSULTANT, the CONSULTANT has complied with Section 1352, Title 31, U.S. Code, and specifically, that:

  • PROHIBITION ON CONTRACTS WITH COMPANIES BOYCOTTING ISRAEL CERTIFICATION As required by Chapter 2271 of the Texas Local Government Code the Contractor must verify that it 1) does not boycott Israel; and 2) will not boycott Israel during the term of the Contract. Pursuant to Section 2271.001, Texas Government Code:

  • Local Business Enterprise and Non-Discrimination in Contracting Ordinance Contractor shall comply with all applicable provisions of Chapter 14B (“LBE Ordinance”). Contractor is subject to the enforcement and penalty provisions in Chapter 14B. Contractor shall utilize LBE Subcontractors for at least [enter percentage] of the Services except as otherwise authorized in writing by the Director of CMD. Contractor shall incorporate the requirements of the LBE Ordinance in each subcontract made in the fulfillment of Contractor’s LBE subcontracting commitments.

  • OBLIGATIONS AND ACTIVITIES OF CONTRACTOR AS BUSINESS ASSOCIATE 1. Contractor agrees not to use or further disclose PHI County discloses to Contractor other than as permitted or required by this Business Associate Contract or as required by law.

  • Violence Policies and Procedures The Employer agrees to have in place explicit policies and procedures to deal with violence. The policy will address the prevention of violence, the management of violent situations, provision of legal counsel and support to employees who have faced violence. The policies and procedures shall be part of the employee's health and safety policy and written copies shall be provided to each employee. Prior to implementing any changes to these policies, the employer agrees to consult with the Association.

  • School Code, Section 10-20.21 - Contracts (Sheet is unprotected and can be re-formatted as needed, but must be used for submission) Name of Vendor Product or Service Provided Net Revenue Non-Monetary Remuneration Purpose of Proceeds Distribution Method and Recipient of Non- Monetary Remunerations Distributed Reference Description

  • Solicitations for Subcontracts, Including Procurement of Materials and Equipment In all solicitation, either by competitive bidding or negotiation, made by the Contractor for work to be performed under a subcontract, including procurement of materials or leases of equipment, each potential Subcontractor or supplier shall be notified by the Contractor of the Contractor’s obligations under this Agreement and the Regulations relative to non-discrimination on the grounds of race, color, or national origin.

  • Title VI List of Pertinent Nondiscrimination Acts and Authorities During the performance of this contract, the Consultant, for itself, its assignees, and successors in interest (hereinafter referred to as the “Consultant”) agrees to comply with the following non-discrimination statutes and authorities; including but not limited to: • Title VI of the Civil Rights Act of 1964 (42 U.S.C. § 2000d et seq., 78 stat. 252), (prohibits discrimination on the basis of race, color, national origin); • 49 CFR part 21 (Non-discrimination In Federally-Assisted Programs of The Department of Transportation—Effectuation of Title VI of The Civil Rights Act of 1964); • The Uniform Relocation Assistance and Real Property Acquisition Policies Act of 1970, (42 U.S.C. § 4601), (prohibits unfair treatment of persons displaced or whose property has been acquired because of Federal or Federal-aid programs and projects); • Section 504 of the Rehabilitation Act of 1973, (29 U.S.C. § 794 et seq.), as amended, (prohibits discrimination on the basis of disability); and 49 CFR part 27; • The Age Discrimination Act of 1975, as amended, (42 U.S.C. § 6101 et seq.), (prohibits discrimination on the basis of age); • Airport and Airway Improvement Act of 1982, (49 USC § 471, Section 47123), as amended, (prohibits discrimination based on race, creed, color, national origin, or sex); • The Civil Rights Restoration Act of 1987, (PL 100-209), (Broadened the scope, coverage and applicability of Title VI of the Civil Rights Act of 1964, The Age Discrimination Act of 1975 and Section 504 of the Rehabilitation Act of 1973, by expanding the definition of the terms “programs or activities” to include all of the programs or activities of the Federal-aid recipients, sub-recipients and contractors, whether such programs or activities are Federally funded or not); • Titles II and III of the Americans with Disabilities Act of 1990, which prohibit discrimination on the basis of disability in the operation of public entities, public and private transportation systems, places of public accommodation, and certain testing entities (42 U.S.C. §§ 12131 – 12189) as implemented by Department of Transportation regulations at 49 CFR parts 37 and 38; • The Federal Aviation Administration’s Non-discrimination statute (49 U.S.C. § 47123) (prohibits discrimination on the basis of race, color, national origin, and sex); • Executive Order 12898, Federal Actions to Address Environmental Justice in Minority Populations and Low-Income Populations, which ensures non-discrimination against minority populations by discouraging programs, policies, and activities with disproportionately high and adverse human health or environmental effects on minority and low-income populations; • Executive Order 13166, Improving Access to Services for Persons with Limited English Proficiency, and resulting agency guidance, national origin discrimination includes discrimination because of limited English proficiency (LEP). To ensure compliance with Title VI, you must take reasonable steps to ensure that LEP persons have meaningful access to your programs (70 Fed. Reg. at 74087 to 74100); • Title IX of the Education Amendments of 1972, as amended, which prohibits you from discriminating because of sex in education programs or activities (20 U.S.C. 1681 et seq).

  • Solicitations for Subcontracts, Including Procurements of Materials and Equipment In all solicitations either by competitive bidding or negotiation made by the Engineer for work to be performed under a subcontract, including procurements of materials or leases of equipment, each potential subcontractor or supplier shall be notified by the Engineer of the Engineer's obligations under this contract and the Regulations relative to nondiscrimination on the grounds of race, color, or national origin.

  • Business Contracts All contracts, agreements and personal property leases (other than the Real Property Leases, the Transferable Permits, the Fuel Contracts and the Colstrip Contracts) used primarily in the operation of the Colstrip Facilities, that are listed in Section 1.01(a)(v) of the Disclosure Schedule (the "Business Contracts");

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