Tasking Event-B and its edition Sample Clauses

Tasking Event-B and its edition. A text-based task body editor was added, to minimize the amount of editing required with the EMF tree editor. The task body editor is associated with a parser-builder; after the text is entered in the editor the EMF representation is generated (by clicking a button) that is, assuming parsing is successful. If the parser detects an error, information about the parse error is displayed in an adjoining text box. When specifying events in the task body, there is no longer a need to specify two events involved in a synchronization. The code generator automatically finds the corresponding event of a synchronization, based on the event name, and using the composed machine component [8]. Composed machines are used to store event 'synchronizations', and are generated automatically during the decomposition process. This reduces the amount of typing in the TaskBody editor, since we no longer need to specify both local and remote (synchronizing) events. The new feature also overcomes the 'problem' that we previously experienced, with duplicate event names in a development, and event selection, when specifying the task body. The EMF tree editor in Rose is now only used minimally; to add annotations for Tasking, Shared and Environ Machines; typing annotations, and parameter direction information; and sensing/actuating annotations, where necessary. Further work is under way to integrate the code generation feature with the new Rodin editor.
Sample 1
AutoNDA by SimpleDocs

Related to Tasking Event-B and its edition

  • Rate Redetermination after Catastro- phic Damage In event of Catastrophic Damage and ad- justment, if any, of Included Timber, Contracting Officer shall make an appraisal to determine for each species the catastrophe-caused difference between the appraised unit value of Included Timber remaining immediately prior to the catastrophe and the appraised unit value of existing and potential Included Timber immediately after the ca- tastrophe. Included Timber is any that would not be elimi- nated under B8.32. Potential Included Timber is any that would be added under B8.32. Tentative Rates and Flat Rates in effect at the time of catastrophe shall be adjusted by said differences to be- come the redetermined rates for the purpose of a contract modification under B8.32. Accordingly, Base Rates shall be adjusted to correspond to the redetermined rates if redetermined rates are less than the original Base Rates, subject to new Base Rate limitations of 25 cents per hun- dred cubic feet or equivalent. However, existing Base In- dices shall not be changed under this Subsection. Upon agreement under B8.32, redetermined rates and Required Deposits shall be considered established under B3.1 for timber Scaled subsequent to Catastrophic Damage. At time of such appraisal, Specified Road construc- tion cost shall include the estimated cost of any construc- tion work listed in the Schedule of Items performed and abandoned.

  • Therapist Availability Therapist’s office is equipped with a confidential voice mail system that allows Patient to leave a message at any time. Therapist will make every effort to return calls within 24 hours (or by the next business day), but cannot guarantee the calls will be returned immediately. Therapist is unable to provide 24-hour crisis service. In the event that Patient is feeling unsafe or requires immediate medical or psychiatric assistance, he/she should call 911, or go to the nearest emergency room.

  • EFFECTIVE DATE/COMPLETION OF SERVICES 3.1 Notwithstanding any provision of this Agreement to the contrary, and subject to the approval of the Governor and Executive Council of the State of New Hampshire, if applicable, this Agreement, and all obligations of the parties hereunder, shall become effective on the date the Governor and Executive Council approve this Agreement as indicated in block 1.17, unless no such approval is required, in which case the Agreement shall become effective on the date the Agreement is signed by the State Agency as shown in block 1.13 (“Effective Date”).

  • Utilization Scale STATE shall scale logs or portions of logs that are broken, wasted, or not removed by PURCHASER due to: (1) improper felling or bucking of the logs; (2) failure to remove the logs prior to deterioration; and (3) logs remaining on the timber sale area after completion of logging, provided the logs were merchantable prior to breakage or wastage. Material used to meet down material requirements in the section titled, "Reserved Timber," shall not be considered for utilization scale. PURCHASER shall pay for the logs at the contract price designated in Section 44. STATE shall notify PURCHASER of the volume of logs so scaled. Payment shall be considered due on such volume as if the logs were removed on the date of said notification. In the event PURCHASER disagrees with the findings made by STATE under this section, PURCHASER may furnish scaling by a third-party scaling organization acceptable to STATE. Costs and expenses of such third party shall be paid for by PURCHASER, and the findings of the third party shall be final.

  • Availability of Services CBT agrees not to discontinue or refuse to provide any service provided or required hereunder other than in accordance with the terms of this Agreement, or unless required by the Commission.

  • Years Experience Company years experience in this category? This is an evaluation criterion worth a maximum of 10 points. See RFP for more information. (If applicable, vendor should download the Reseller/Dealers spreadsheet from the Attachments section, fill out the f orm and submit the document in the ”Response Attachments” RESELLERS section. EXAMPLE: BIGmart is a reseller of ACME brand televisions. If ACME were a TIPS awarded vendor, then ACME woul d list BIGmart as a reseller.

  • Commercial Operation Date (COD 15.1.1 The Project shall be deemed to be complete when the Completion Certificate or the Provisional Certificate, as the case may be, is issued under the provisions of Article 14, and accordingly the commercial operation date of the Project shall be the date on which such Completion Certificate or the Provisional Certificate is issued (the “COD”). The Project shall enter into commercial service on COD whereupon the Concessionaire shall be entitled to demand and collect Annuity Payments in accordance with the provisions of this Agreement.

  • Experience Credits Full credit for public school teaching outside of the District shall be granted up to the limits of the salary schedule.

  • Conditions to Financial Assistance and its Disbursement The Grantor's obligations hereunder, including its obligation to make financial assistance available to the Recipient pursuant to the terms of this Agreement, are contingent upon compliance by the Recipient with the following conditions:

  • Initial Forecasts/Trunking Requirements Because Verizon’s trunking requirements will, at least during an initial period, be dependent on the Customer segments and service segments within Customer segments to whom CSTC decides to market its services, Verizon will be largely dependent on CSTC to provide accurate trunk forecasts for both inbound (from Verizon) and outbound (to Verizon) traffic. Verizon will, as an initial matter, provide the same number of trunks to terminate Reciprocal Compensation Traffic to CSTC as CSTC provides to terminate Reciprocal Compensation Traffic to Verizon. At Verizon’s discretion, when CSTC expressly identifies particular situations that are expected to produce traffic that is substantially skewed in either the inbound or outbound direction, Verizon will provide the number of trunks CSTC suggests; provided, however, that in all cases Verizon’s provision of the forecasted number of trunks to CSTC is conditioned on the following: that such forecast is based on reasonable engineering criteria, there are no capacity constraints, and CSTC’s previous forecasts have proven to be reliable and accurate.

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