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 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.
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 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.

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:

  • CONTRACTOR’S SUBMISSION OF CONTRACT MODIFICATIONS In connection with any Contract modification, OGS reserves the right to:  request additional information  reject Contract modifications  remove Products from Contract modification requests  request additional discounts for new or existing Products

  • Texas Education Code Chapter 22 Contractor Certification for Contractor Employees Introduction Texas Education Code Chapter 22 requires entities that contract with school districts to provide service s to obtain criminal history record information regarding covered employees. Contractors must certify to the district t hat they have complied. Covered employees with disqualifying criminal histories are prohibited from serving at a sch ool district. Definitions: Covered employees: Employees of a contractor or subcontractor who have or will have continuing dutie s related to the service to be performed at the District and have or will have direct contact with students. The District will be the final arbiter of what constitutes direct contact with students. Disqualifying criminal history: Any conviction or other criminal history information designated by the District, or one of the following offenses, if at the time of the o ffense, the victim was under 18 or enrolled in a public school: (a) a felony offense under Title 5, Texas Penal Code; (b) an offense for which a defendant is required to register as a sex offender under Chapter 62, Texas Code of Criminal Procedure; or (c) an equivalent offense under federal law or the laws of another state. I certify that: NONE (Section A) of the employees of Contractor and any subcontractors are covered employees, as defined abo ve. If this box is checked, I further certify that Contractor has taken precautions or imposed conditions to ensure tha t the employees of Contractor and any subcontractor will not become covered employees. Contractor will maintain t hese precautions or conditions throughout the time the contracted services are provided. OR SOME (Section B) or all of the employees of Contractor and any subcontractor are covered employees. If this box is checked, I further certify that: (1) Contractor has obtained all required criminal history record information regarding its covered employees. None of the covered employees has a disqualifying criminal history. (2) If Contractor receives information that a covered employee subsequently has a reported criminal history, Contra ctor will immediately remove the covered employee from contract duties and notify the District in writing within 3 busi ness days. (3) Upon request, Contractor will provide the District with the name and any other requested information of covered employees so that the District may obtain criminal history record information on the covered employees. (4) If the District objects to the assignment of a covered employee on the basis of the covered employee's criminal h istory record information, Contractor agrees to discontinue using that covered employee to provide services at the District. Noncompliance or misrepresentation regarding this certification may be grounds for contract termination. None Texas Business and Commerce Code § 272 Requirements as of 9-1-2017 SB 807 prohibits construction contracts to have provisions requiring the contract to be subject to the laws of anothe r state, to be required to litigate the contract in another state, or to require arbitration in another state. A contract wit h such provisions is voidable. Under this new statute, a “construction contract” includes contracts, subcontracts, or agreements with (among others) architects, engineers, contractors, construction managers, equipment lessors, or materials suppliers. “Construction contracts” are for the design, construction, alteration, renovation, remodeling, or repair of any building or improvement to real property, or for furnishing materials or equipment for the project. The t erm also includes moving, demolition, or excavation. BY RESPONDING TO THIS SOLICITATION, AND WHEN APPLI CABLE, THE PROPOSER AGREES TO COMPLY WITH THE TEXAS BUSINESS AND COMMERCE CODE § 272 WH EN EXECUTING CONTRACTS WITH TIPS MEMBERS THAT ARE TEXAS GOVERNMENT ENTITIES. 7 5 Texas Government Code 2270 Verification Form Texas Government Code 2270 Verification Form Texas 2017 House Xxxx 89 has been signed into law by the governor and as of September 1, 2017 will be codified as Texas Government Code § 2270 and 808 et seq. The relevant section addressed by this form reads as follows: Texas Government Code Sec. 2270.002. PROVISION REQUIRED IN CONTRACT. A governmental entity may not ent er into a contract with a company for goods or services unless the contract contains a written verification from the c ompany that it: (1) does not boycott Israel; and (2) will not boycott Israel during the term of the contract.engaged by ESC Region 8/The Interlocal Purchasing System (TIPS) 0000 Xxxxxxx 000 Xxxxx Xxxxxxxxx,XX,00000 verify by this writing that the above-named company affirms that it (1) does not boycott Israel; and (2) will not boycot t Israel during the term of this contract, or any contract with the above-named Texas governmental entity in the futur e. I further affirm that if our company’s position on this issue is reversed and this affirmation is no longer valid, that t he above-named Texas governmental entity will be notified in writing within one (1) business day and we understand that our company’s failure to affirm and comply with the requirements of Texas Government Code 2270 et seq. shall be grounds for immediate contract termination without penalty to the above-named Texas governmental entity. AND our company is not listed on and we do not do business with companies that are on the the Texas Comptroller of Pu blic Accounts list of Designated Foreign Terrorists Organizations per Texas Gov't Code 2270.0153 found at xxxxx://x xxxxxxxxxx.xxxxx.xxx/xxxxxxxxxx/xxxx/xxxxxxx-xxxxxxxxx.xxx I swear and affirm that the above is true and correct. YES

  • Contractor Certification regarding Business with Certain Countries and Organizations Pursuant to Subchapter F, Chapter 2252, Texas Government Code], Contractor certifies Contractor is not engaged in business with Iran, Sudan, or a foreign terrorist organization. Contractor acknowledges this Agreement may be terminated and payment withheld if this certification is inaccurate.

  • Special Claims Made Policy Form Provisions CONTRACTOR shall not provide a Commercial General Liability (Claims Made) policy without the express prior written consent of COUNTY, which consent, if given, shall be subject to the following conditions:

  • 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.

  • Security Policy for Contractors 1. The Department for Work and Pensions treats its information as a valuable asset and considers that it is essential that information must be protected, together with the systems, equipment and processes which support its use. These information assets may include data, text, drawings, diagrams, images or sounds in electronic, magnetic, optical or tangible media, together with any Personal Data for which the Department for Work and Pensions is the Data Controller.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!