Extended Component Model Sample Clauses

Extended Component Model. ‌ In our approach, metadata comprise information that can (at any moment) be derived from other component contract elements. Such metadata enriches component contracts with static information that assists the runtime envi- ronment with additional (validation) properties. The metadata information is: (1) dual protocols; (2) context protocols; (3) protocol implementations; and (4) decoupled channels. Informally, the behaviour of the dual protocol of a process P after a trace s is always an external choice of the outputs and one of the inputs of P , if it exists, after s. Furthermore, a context protocol of a process P is a deadlock-free deterministic process that has the same traces as P . Both are used in protocol compatibility verifications. The main metadata information selected in our approach are decoupled channels and protocol implementations. These are important conditions in the communi- cation and feedback compositions rules. Similarly to the composition rules presented before, we presented four composition rules for enriched component contracts. In particular, we use metadata to alleviate several verifications in our rigorous strategy for component compositions. The extended contracts specialise the notion of protocol oriented component and enrich their contract with metadata. (BCtr, RCtr, ICtr, CCtr, K) where K comprises the following information: K : (Prot K, CTXK, DProt K, DecK) such that: • dom Prot K ⊆ CCtr ∧ ∀ c : dom Prot K • Prot K(c) ±F ProtIMP (Ctr, c) • dom DProt K ⊆ CCtr ∧ ∀ c : dom DProt K • DProt K(c) is the dual protocol of Prot K(c) • dom CTXK ⊆ CCtr ∧ ∀ c : dom CTXK • CTXK(c) is the context process of Prot K(c) • dom DecK ⊆ CCtr ∧ ran DecK ⊆ CCtr • ∀ c1, c2 : CCtr • c1 DecK c2 ⇒ {c1, c2} DecoupledIn Ctr ∧ c2 DecK c1 The element Prot K is a relation from channels to protocols, which represent the actual port-protocol of the component on that channel. If a protocol within Prot K satisfies a property, then, by refinement, it also holds for the protocol of the component. Similarly, the elements DProt K and CTXK map channels into context processes and dual protocols, respectively. They are used to support the use of the protocols within Prot K; these are used, for instance, in protocol compatibility verifications. Finally the element DecK is a relation among decoupled channels of the component. Since these metadata comprise derived information, it can be ignored by a composition environment, and, furthermore, the component can still be u...
View SourceView Similar (2)

Related to Extended Component Model

  • Alternative Work Schedule An alternate forty (40) hour work schedule (other than five (5) uniform and consecutive eight (8) hour days in a seven (7) day period), or for hospital personnel an eighty (80) hour workweek in a fourteen (14) day period and other mutually agreed upon schedules that comply with applicable federal and state law. Employee work schedules normally include two (2) consecutive days off.

  • Extended Tours/Hybrid Schedules The Employer and the Union may agree to implement extended tours or hybrid schedule (mix of extended and normal tours). For clarity, a hybrid schedule may include extended tours on weekends and normal tours during the week. The following will apply: (a) Each facility/unit must have sixty-six and two thirds percent (66⅔%) agreement of the full-time and part-time employees who work in the facility/ unit. Each Home must have the majority agreement of the full-time and part- time employees who vote on the issue to agree on a trial period of up to six months. Once the trial period is complete, each Home must have a minimum of 66⅔% agreement of the full-time and part-time employees who vote on the issue to continue with the new schedule on a permanent basis. (b) The Extended Tour/Hybrid Schedule may be cancelled by either party on giving ten (10) calendar weeks’ notice to the other in writing of its desire to terminate. A meeting shall be held within two (2) weeks of receipt of such notice to discuss the reasons for the cancellation. Extended tours may be discontinued by the Union in any facility/unit when sixty percent (60%) of the full-time and part-time employees in the facility/unit so indicate by secret ballot to the Union. (c) With the exception of the specific variations set forth in this Article, all other conditions and terms of the Collective Agreement and Appendices shall remain in full force and effect.

  • Optional Features The Optional Features Prices selected for the Option Aircraft will be adjusted to Boeing's current prices as of the date of execution of the definitive agreement for the Option Aircraft.

  • Maintenance Programme (i) The Contractor shall prepare a monthly maintenance programme (the “Maintenance Programme”) in consultation with the Authority’s Engineer and submit the same to the Authority’s Engineer not later than 10 (ten) days prior to the commencement of the month in which the Maintenance is to be carried out. For this purpose a joint monthly inspection by the Contractor and the Authority’s Engineer shall be undertaken. The Maintenance Programme shall contain the following: (a) The condition of the road in the format prescribed by the Authority’s Engineer; (b) the proposed maintenance Works; and (c) deployment of resources for maintenance Works.

  • Additional Features Additional Features are invoiced at the start of the first Contract Year following the Contract Year in which such Additional Features are activated.