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...
AutoNDA by SimpleDocs

Related to Extended Component Model

  • Extended Contract The in-school work year of employees contracted on a twelve-month (12) basis shall not exceed two hundred forty-four (244) days.

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

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

  • Unbundled Channelization (Multiplexing) 5.7.1 To the extent NewPhone is purchasing DS1 or DS3 or STS-1 Dedicated Transport pursuant to this Agreement, Unbundled Channelization (UC) provides the optional multiplexing capability that will allow a DS1 (1.544 Mbps) or DS3 (44.736 Mbps) or STS-1 (51.84 Mbps) Network Elements to be multiplexed or channelized at a BellSouth central office. Channelization can be accomplished through the use of a multiplexer or a digital cross-connect system at the discretion of BellSouth. Once UC has been installed, NewPhone may request channel activation on a channelized facility and BellSouth shall connect the requested facilities via COCIs. The COCI must be compatible with the lower capacity facility and ordered with the lower capacity facility. This service is available as defined in NECA 4. 5.7.2 BellSouth shall make available the following channelization systems and interfaces: 5.7.2.1 DS1 Channelization System: channelizes a DS1 signal into a maximum of twenty- four (24)

  • OPEN SOURCE COMPONENTS The DS Offerings may include open source components. Whenever notices (such as acknowledgment, copies of licenses or attribution notice) are required by the original licensor, such notices are included in the Documentation of the DS Offerings. Moreover, some open source components may not be distributed and licensed under the terms of the Agreement but under the terms of their original licenses as set forth in the Documentation of the DS Offerings themselves. Source code for open source software components is available upon request. Except for components mentioned in the section EXCLUSIONS below, the warranty and indemnification provided by DS under the Agreement apply to all open source software components and shall be provided by DS and not by the original licensor, but only for the use of the DS Offerings that is in compliance with the terms of the Agreement, and in conjunction with the DS Offerings. The original licensors of said open source software components provide them on an “as is” basis and without any liability whatsoever to Customer.

  • Local Circuit Switching Capability, including Tandem Switching Capability 4.1.3.1 Definition 4.1.3.2 Notwithstanding BellSouth’s general duty to unbundle local circuit switching, BellSouth shall not be required to unbundle local circuit switching for <<customer_name>> when <<customer_name>> serves end-users with four (4) or more voice-grade (DS-0) equivalents or lines in locations served by BellSouth’s local circuit switches, which are in the following MSAs: Atlanta, GA; Miami, FL; Orlando, FL; Ft. Lauderdale, FL; Charlotte-Gastonia-Rock Hill, NC; Greensboro-Winston Salem-High Point, NC; Nashville, TN; and New Orleans, LA, and BellSouth has provided non-discriminatory cost based access to the Enhanced Extended Link (EEL) throughout Density Zone 1 as determined by NECA Tariff No. 4 as in effect on January 1, 1999. 4.1.3.3 In the event that <<customer_name>> orders local circuit switching for a single end user account name at a single physical end user location with four (4) or more 2-wire voice-grade loops from a BellSouth central office in an MSA listed above, BellSouth shall charge <<customer_name>> the market based rate in Exhibit C for use of the local circuit switching functionality for the affected facilities. 4.1.3.4 A featureless port is one that has a line port, switching facilities, and an interoffice port. A featured port is a port that includes all features then capable or a number of then capable features specifically requested by <<customer_name>>. Any features that are not currently then capable but are technically feasible through the switch can be requested through the NBR/BFR process. 4.1.3.5 BellSouth will provide to <<customer_name>> customized routing of calls: (i) to a requested directory assistance services platform; (ii) to an operator services platform pursuant to Section 10 of Attachment 2; (iii) for <<customer_name>>’s PIC’ed toll traffic in a two (2) PIC environment to an alternative OS/DA platform designated by <<customer_name>>. <<customer_name>> customers may use the same dialing arrangements as BellSouth customers. 4.1.3.6 Remote Switching Module functionality is included in Switching Capability. The switching capabilities used will be based on the line side features they support. 4.1.3.7 Switching Capability will also be capable of routing local, intraLATA, interLATA, and calls to international customer’s preferred carrier; call features (e.g. call forwarding) and Centrex capabilities. 4.1.3.8 Where required to do so in order to comply with an effective Commission order, BellSouth will provide to <<customer_name>> purchasing local BellSouth switching and reselling BellSouth local exchange service under Attachment 1, selective routing of calls to a requested directory assistance services platform or operator services platform. <<customer_name>> customers may use the same dialing arrangements as BellSouth customers, but obtain a <<customer_name>> branded service.

  • Extended Local Calling Scope Arrangement An arrangement that provides a Customer a local calling scope (Extended Area Service, “EAS”), outside of the Customer’s basic exchange serving area.

  • Enhanced Extended Links (EELs) 5.3.1 EELs are combinations of Loops and Dedicated Transport as defined in this Attachment, together with any facilities, equipment, or functions necessary to combine those Network Elements. BellSouth shall provide CCI with EELs where the underlying Network Element are available and are required to be provided pursuant to this Agreement and in all instances where the requesting carrier meets the eligibility requirements, if applicable. 5.3.2 High-capacity EELs are (1) combinations of Loop and Dedicated Transport, (2) Dedicated Transport commingled with a wholesale loop, or (3) a loop commingled with wholesale transport at the DS1 and/or DS3 level as described in 47 C.F.R. § 51.318(b). 5.3.3 By placing an order for a high-capacity EEL, CCI thereby certifies that the service eligibility criteria set forth herein are met for access to a converted high-capacity EEL, a new high-capacity EEL, or part of a high-capacity commingled EEL as a UNE. BellSouth shall have the right to audit CCI’s high-capacity EELs as specified below.

  • Unbundled Loop Modifications (Line Conditioning 2.5.1 Line Conditioning is defined as routine network modification that BellSouth regularly undertakes to provide xDSL services to its own customers. This may include the removal of any device, from a copper Loop or copper Subloop that may diminish the capability of the Loop or Subloop to deliver high-speed switched wireline telecommunications capability, including xDSL service. Such devices include, load coils, excessive bridged taps, low pass filters, and range extenders. Excessive bridged taps are bridged taps that serves no network design purpose and that are beyond the limits set according to industry standards and/or the BellSouth’s TR 73600 Unbundled Local Loop Technical Specification. 2.5.2 BellSouth will remove load coils only on copper Loops and Subloops that are less than eighteen thousand (18,000) feet in length. 2.5.3 For any copper loop being ordered by NewPhone which has over six thousand (6,000) feet of combined bridged tap will be modified, upon request from NewPhone, so that the loop will have a maximum of six thousand (6,000) feet of bridged tap. This modification will be performed at no additional charge to NewPhone. Loop conditioning orders that require the removal of bridged tap that serves no network design purpose on a copper Loop that will result in a combined total of bridged tap between two thousand five hundred (2,500) and six thousand (6,000) feet will be performed at the rates set forth in Exhibit A. 2.5.4 NewPhone may request removal of any unnecessary and non-excessive bridged tap (bridged tap between zero (0) and two thousand five hundred (2,500) feet which serves no network design purpose), at rates pursuant to BellSouth’s SC Process as mutually agreed to by the Parties. 2.5.5 Rates for ULM are as set forth in Exhibit A. 2.5.6 BellSouth will not modify a Loop in such a way that it no longer meets the technical parameters of the original Loop type (e.g., voice grade, ADSL, etc.) being ordered. 2.5.7 If NewPhone requests ULM on a reserved facility for a new Loop order, BellSouth may perform a pair change and provision a different Loop facility in lieu of the reserved facility with ULM if feasible. The Loop provisioned will meet or exceed specifications of the requested Loop facility as modified. NewPhone will not be charged for ULM if a different Loop is provisioned. For Loops that require a DLR or its equivalent, BellSouth will provide LMU detail of the Loop provisioned. 2.5.8 NewPhone shall request Loop make up information pursuant to this Attachment prior to submitting a service inquiry and/or a LSR for the Loop type that NewPhone desires BellSouth to condition. 2.5.9 When requesting ULM for a Loop that BellSouth has previously provisioned for NewPhone, NewPhone will submit a SI to BellSouth. If a spare Loop facility that meets the Loop modification specifications requested by NewPhone is available at the location for which the ULM was requested, NewPhone will have the option to change the Loop facility to the qualifying spare facility rather than to provide ULM. In the event that BellSouth changes the Loop facility in lieu of providing ULM, NewPhone will not be charged for ULM but will only be charged the service order charges for submitting an order.

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