The Tasking Extension for Event Sample Clauses

The Tasking Extension for Event. B The following text can be read in conjunction with the slides[6] from the Deploy Plenary Meeting - Zurich 2010. Tasking Event-B can be viewed as an extension of the existing Event-B language. We use the existing approaches of refinement and decomposition to structure a development that is suitable for construction of a Tasking Development. At some point during the modelling phase parameters may have to be introduced to facilitate decomposition. This constitutes a natural part of the refinement process as it moves towards decomposition and on to the implementation level. During decomposition parameters form part of the interface that enables event synchronization. We make use of this interface and add information (see Events[7] ) to facilitate code generation. A Tasking Development is generated programmatically, at the direction of the user; the Tasking Development consists of a number of machines (and perhaps associated contexts). In our approach we make use of the Event-B EMF extension mechanism which allows addition of new constructs to a model. The tasking extension consists of the constructs in the following table. Construct Options Machine Type DeclaredTask, AutoTask, SharedMachine Control Sequence, Loop, Branch, EventSynch Task Type Periodic(n), Triggered, Repeating, OneShot Priority - Event Type Branch, Loop, ProcedureDef, ProcedureSynch Parameter Type ActualIn, ActualOut, FormalIn, FormalOut The machines in the Tasking Development are extended with the constructs shown in the table, and may be viewed as keywords in a textual representation of the language. With extensions added, a Tasking Development can be translated to a common language model for mapping to implementation source code. There is also a translator that constructs new machines/contexts modelling the implementation, and these should refine/extend the existing elements of the Event-B project.
Sample 1Sample 2
AutoNDA by SimpleDocs

Related to The Tasking Extension for Event

  • Request for Extension Upon request, the Department may extend the time allowed for both a response to the Letter of Concern and a Corrective Action Plan depending upon the nature of the deficiency. The Provider shall request an extension of time in writing from the Department’s designated representative. The written request shall contain a justification and proposed extension period.

  • Establishment of Probationary Period If the Superintendent concurs with the evaluator’s judgment that the performance of the employee is unsatisfactory, the Superintendent shall place the employee in a probationary status after October 15 but before February 1 of the current school year and ending no later than May 1. The employee shall be given written notice of the action of the Superintendent which shall contain the following information:

  • Extension of Probationary Period The probationary period shall not be extended except in the case of extended illness or injury or compelling personal situation during which time the employee was unable to work. In such cases, the probationary period may be extended for the length of time the ill or injured employee was unable to work.

  • Termination for Market Change (a) In the event of delay or interruption under B8.33, exceeding 90 days, and Contract has not been modified to include replacement timber, this contract may be terminated upon election and written notice by Purchaser, if (i) a rate redetermination for market change under B3.33 shows that the appraised weighted average Indicated Advertised Rate of all Included Timber remaining immediately prior to the delay or interruption has been reduced through a market change by an amount equal to or more than the the weighted average Current Contract Rate, or (ii) the appraised value of the remaining timber is insufficient to cover the adjusted base rates as determined under B3.33.

  • EXPIRATION DATE AND EXTENSION This Contract expires January 31, 2023, unless it is terminated sooner pursuant to Article XX of the General Terms and Conditions, which are incorporated into this Contract by reference. This Contract may be extended up to three additional one-year periods upon request of Sourcewell and with written agreement by the Contractor, not to exceed a total of four years.

  • Termination for Change of Control This Agreement may be terminated immediately by SAP upon written notice to Provider if Provider comes under direct or indirect control of any entity competing with SAP. If before such change Provider has informed SAP of such potential change of control without undue delay, the Parties agree to discuss solutions on how to mitigate such termination impact on Customer, such as stepping into the Customer contract by SAP or by any other Affiliate of Provider or any other form of transition to a third party provider.

  • Listing Period Extension The Commission shall be due if the Property is sold, conveyed, exchanged, optioned, or otherwise transferred within _ _ days (“Extension Period”) after the expiration of the Listing Period to anyone with whom the Broker or Agency has negotiated unless the Property is listed, in good faith, with another real estate agency. The term “negotiation” shall include providing information about the Property, showing the Property, or presenting an offer on the Property. All rights under this Section shall terminate upon the expiration of the Extension Period.

  • TAM Extension Service The TAM Extension Service is an extension of a Red Hat Enterprise Linux TAM Service to provide additional technical knowledge such as SAP implementations on Red Hat Enterprise Linux. The TAM Extension Service requires a separate active and paid standard TAM Service Subscription.

  • Suspension for Ongoing Harm Oracle may suspend Customer’s or Users’ access to, or use of, the Services if Oracle believes that (a) there is a significant threat to the functionality, security, integrity, or availability of the Services or any content, data, or applications in the Services; (b) Customer or Users are accessing or using the Services to commit an illegal act; or (c) there is a violation of the Acceptable Use Policy. When reasonably practicable and lawfully permitted, Oracle will provide Customer with advance notice of any such suspension. Oracle will use reasonable efforts to re-establish the Services promptly after Oracle determines that the issue causing the suspension has been resolved. During any suspension period, Oracle will make Customer Data (as it existed on the suspension date) available to Customer. Any suspension under this Section shall not excuse Customer from Customer’s obligation to make payments under this Agreement.

  • Term of Contract; Contract Extension The Contract will be in effect from the Effective Date (15 December 2016) through 31 December 2018. DAS, in its sole discretion, may extend this Contract for additional terms beyond the original term, prior to Termination or expiration, one or more times for a combined total period not to exceed the complete length of the original term.

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