Contracts Acting on Systems Sample Clauses

Contracts Acting on Systems p q We can now formally define contract violation. First, we define the predicate vio ϕ . This predicate will be used to verify if a contract is currently violated, which enables us to determine how a system can be monitored with respect to a contract. p q
AutoNDA by SimpleDocs
Contracts Acting on Systems. We can now define how contracts evolve alongside a system, and what it means for a system to satisfy a contract. viopJq = ff viopKq = tt viopPkpaqrdsq = pa, kq viopOkpaqrdsq = ff = = viopFkpaqrdsq pa, kq viopwaitpdqq ff Definition 10 Given a contract ϕ ϵ C with a set of viopϕ; ϕ1q df viopϕq vioprec x.ϕq df viopϕq actions Act1 and a system A, we define the semantics = = = viopcondkpaqrdspϕ, ϕ1qq df ff of ϕ A — the combination of the system with the con- tract — with alphabet Act with Act1 ≤ Act through = viopϕ^ϕ1q df viopϕqvviopϕ1q = = viopϕvϕ1q df viopϕq^viopϕ1q viopϕ§ ϕ1q df viopϕq^viopϕ1q
Contracts Acting on Systems. We can now define how contracts evolve along- side a system, and what it means for a system to satisfy a contract. }A P C Definition 10 Given a contract ϕ with a set of actions Act1 and a system , we define the semantics of ϕ — the combination of the sys- tem with the contract — with alphabet Act with Act1 Ď Act through the following rules: (M1) ϕ −−a−,−kÑ ϕ1, A −−−a−,sÑ A1 ϕ } A =ñ ϕ1 } A1 k P s (M2) ϕ −−pa,kqÑ ϕ1, A ( xa, ky −−− ϕ } A =ñ ϕ1 } A (M3) A −−−−Ñ A1 a R Act1 ϕ } A =ñ ϕ } A1 (M4) d d A ✿✿❀ A1, ϕ ✿✿❀ ϕ1, @d1 < d ¨ if A ✿ d1 A2 and ✿❀ ϕ ✿ d1 ϕ2 then A2 ( viopϕ2q ✿❀ ϕ } A =ñ ϕ1 } A1 Rule M1 and M2 handles synchronization be- tween the contract and the system. If an action a performed by the system is of interest to the con- tract, the contract evolves alongside the system (M1), if the contract allows an agent to perform an action but only agent k (and no other agent) is willing to engage in the action, then only the contract evolves (M2). Rule M3 handles actions on the system in which the contract is not in- terested in. Finally, rule M4 ensures that time cannot skip over a violation. A P C Definition 11 Let be a system and ϕ be a contract. ě • A pA q System can breach ϕ, written breach , ϕ , if there exists a computation that leads to a violation of the contract: for some n 0 and contracts ϕ0 till ϕn such that: ϕ } A = ϕ0 } A0 =ñ . . . ϕn−1 } An−1 =ñ ϕn } An, and An ( viopϕnq. ě • A pA q System may fulfil ϕ, written fulfill , ϕ , if there exists a computation of the system that fulfils the contract: for some n 0 and con- tracts ϕ0 till ϕn: ϕ} A = ϕ0 } A0 =ñ . . . ϕn−1 } An−1 =ñ ϕn } An , and A ( viopϕkq for 0 ď k < n, and ϕn ” J. r 8spK 8q Note that there are contracts that may never be fulfilled. An example of such a contract is ϕ = rec x. a, k, , , which may never be fulfilled since there are no transitions from this contract leading to . Nevertheless, if agent k never performs action a, then neither is the con- tract broken. 5 Refinement

Related to Contracts Acting on Systems

  • Business Contracts All contracts and other agreements (other than the Real Property Leases and Personal Property Leases and the Accounts Receivable) to which the Seller is a party and which are utilized in the conduct of the Business, including without limitation contracts and other agreements relating to suppliers, sales representatives, distributors, consultants, customers, purchase orders, marketing and purchasing arrangements (the "Business Contracts");

  • Disaster Services In the event of a local, state, or federal emergency, including natural, man-made, criminal, terrorist, and/or bioterrorism events, declared as a state disaster by the Governor, or a federal disaster declared by the appropriate federal official, Grantee may be called upon to assist the System Agency in providing the following services: i. Community evacuation; ii. Health and medical assistance; iii. Assessment of health and medical needs; iv. Health surveillance; v. Medical care personnel; vi. Health and medical equipment and supplies; vii. Patient evacuation; viii. In-hospital care and hospital facility status; ix. Food, drug and medical device safety; x. Worker health and safety; xi. Mental health and substance abuse; xii. Public health information; xiii. Vector control and veterinary services; and xiv. Victim identification and mortuary services.

  • Solicitations for Subcontracts, Including Procurement of Materials and Equipment In all solicitations either by competitive bidding or negotiation made by the Local Government for work to be performed under a subcontract, including procurement of materials or leases of equipment, each potential subcontractor or supplier will be notified by the Local Government of the Local Government’s obligations under this Agreement and the Acts and Regulations relative to Nondiscrimination on the grounds of race, color, or national origin.

  • List of Contracts The information set forth in the List of Contracts is true, complete and correct in all material respects as of the Cutoff Date.

  • Direct Contracting Goods and works which the Association agrees meet the requirements for Direct Contracting may be procured in accordance with the provisions of said procurement method.

  • Customer Contracts 6.2.1 The Redistributor should ensure that its contracts with its Customers give it all necessary rights to control and monitor Data use. 6.2.2 The Redistributor is obliged to make the contents of this Schedule available to its customers.

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

  • Contracts, etc To enter into, make and perform all such obligations, contracts, agreements and undertakings of every kind and description, with any Person or Persons, as the Trustees shall in their discretion deem expedient in the conduct of the business of the Trust, for such terms as they shall see fit, whether or not extending beyond the term of office of the Trustees, or beyond the possible expiration of the Trust; to amend, extend, release or cancel any such obligations, contracts, agreements or understandings; and to execute, acknowledge, deliver and record all written instruments which they may deem necessary or expedient in the exercise of their powers;

  • Utilities, Services Landlord shall provide, subject to the terms of this Section 11, water, electricity, heat, air conditioning, light, power, sewer, and other utilities (including gas and fire sprinklers to the extent the Project is plumbed for such services), refuse and trash collection and janitorial services (collectively, “Utilities”). Landlord shall pay, as Operating Expenses or subject to Tenant’s reimbursement obligation, for all Utilities used on the Premises, all maintenance charges for Utilities, and any storm sewer charges or other similar charges for Utilities imposed by any Governmental Authority or Utility provider, and any taxes, penalties, surcharges or similar charges thereon. Landlord shall not cause any Utilities to the Premises which are not currently separately metered to be separately metered. Tenant shall pay directly to the Utility provider, prior to delinquency, any separately metered Utilities and services which may be furnished to Tenant or the Premises during the Term. Tenant shall pay, as part of Operating Expenses, its share of all charges for jointly metered Utilities based upon consumption, as reasonably determined by Landlord. No interruption or failure of Utilities, from any cause whatsoever other than Landlord’s willful misconduct, shall result in eviction or constructive eviction of Tenant, termination of this Lease or the abatement of Rent. Tenant agrees to limit use of water and sewer with respect to Common Areas to normal restroom use. Landlord’s sole obligation for either providing emergency generators or providing emergency back-up power to Tenant shall be: (i) to provide emergency generators with not less than the capacity of the emergency generators located in the Building as of the Commencement Date, and (ii) to contract with a third party to maintain the emergency generators as per the manufacturer’s standard maintenance guidelines. Landlord shall have no obligation to provide Tenant with operational emergency generators or back-up power or to supervise, oversee or confirm that the third party maintaining the emergency generators is maintaining the generators as per the manufacturer’s standard guidelines or otherwise. During any period of replacement, repair or maintenance of the emergency generators when the emergency generators are not operational, including any delays thereto due to the inability to obtain parts or replacement equipment, Landlord shall have no obligation to provide Tenant with an alternative back-up generator or generators or alternative sources of back-up power. Tenant expressly acknowledges and agrees that Landlord does not guaranty that such emergency generators will be operational at all times or that emergency power will be available to the Premises when needed.

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract. a. The contractor shall notify all potential subcontractors and suppliers and lessors of their EEO obligations under this contract. b. The contractor will use good faith efforts to ensure subcontractor compliance with their EEO obligations.

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