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. Definition 3.6 (Enriched component contract) Let Ctr be a protocol oriented component contract, and a metadata derived from its elements. An enriched component contract that includes Ctr is represented by: (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 D...
Sample 1
AutoNDA by SimpleDocs

Related to Extended Component Model

  • Extended Contract Teachers whose regularly assigned service is required beyond 196 days will be paid at the rate of 1/196 of their annual contracted salary for each day of service. The principal/immediate supervisor may recommend a supplemental contract for the number of days for which their services are required.

  • Extended Work Day Teachers who, during the 196-day work year, are employed for 36 instruction at the District office or a school beyond the defined teacher work day, will be paid 37 according to their current base rate of pay, exclusive of any supplements paid. 39 (3) Professional Development

  • Extended Work Year A teacher requested by the Board to work in his/her regular assignment beyond the contracted number of days shall be offered an extended contract and compensated at the scheduled per diem rate, as specified in Article XXV. Compensation for weeks worked after July 1 shall be at the new rate.

  • Program Components Activities and services delivered under this Program Element align with Foundational Programs and Foundational Capabilities, as defined in Oregon’s Public Health Modernization Manual, (xxxx://xxx.xxxxxx.xxx/oha/PH/ABOUT/TASKFORCE/Documents/public_health_modernization_man ual.pdf) as well as with public health accountability outcome and process metrics (if applicable) as follows:

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

  • Maintenance Programme 17.4.1 On or before COD and no later than 45 (forty five) days prior to the beginning of each Accounting Year during the Operation Period, as the case may be, the Concessionaire shall provide to the Authority and the Independent Engineer, its proposed annual programme of preventive, urgent and other scheduled maintenance (the “Maintenance Programme”) to comply with the Maintenance Requirements, Maintenance Manual and Safety Requirements. Such Maintenance Programme shall include:

  • Household Component The Medical Expenditure Panel Survey (MEPS) provides nationally representative estimates of health care use, expenditures, sources of payment, and health insurance coverage for the U.S. civilian non-institutionalized population. The MEPS Household Component (HC) also provides estimates of respondents’ health status, demographic and socio-economic characteristics, employment, access to care, and satisfaction with health care. Estimates can be produced for individuals, families, and selected population subgroups. The panel design of the survey, which includes 5 Rounds of interviews covering 2 full calendar years, provides data for examining person level changes in selected variables such as expenditures, health insurance coverage, and health status. Using computer assisted personal interviewing (CAPI) technology, information about each household member is collected, and the survey builds on this information from interview to interview. All data for a sampled household are reported by a single household respondent. The MEPS-HC was initiated in 1996. Each year a new panel of sample households is selected. Because the data collected are comparable to those from earlier medical expenditure surveys conducted in 1977 and 1987, it is possible to analyze long-term trends. Each annual MEPS-HC sample size is about 15,000 households. Data can be analyzed at either the person or event level. Data must be weighted to produce national estimates. The set of households selected for each panel of the MEPS HC is a subsample of households participating in the previous year’s National Health Interview Survey (NHIS) conducted by the National Center for Health Statistics. The NHIS sampling frame provides a nationally representative sample of the U.S. civilian non-institutionalized population and reflects an oversample of blacks and Hispanics. In 2006, the NHIS implemented a new sample design, which included Asian persons in addition to households with black and Hispanic persons in the oversampling of minority populations. MEPS further oversamples additional policy relevant sub- groups such as low income households. The linkage of the MEPS to the previous year’s NHIS provides additional data for longitudinal analytic purposes.

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

  • Local Circuit Switching Capability, including Tandem Switching Capability 4.2.1 Local circuit switching capability is defined as: (A) line-side facilities, which include, but are not limited to, the connection between a loop termination at a main distribution frame and a switch line card; (B) trunk-side facilities, which include, but are not limited to, the connection between trunk termination at a trunk-side cross-connect panel and a switch trunk card; (C) switching provided by remote switching modules; and (D) all features, functions, and capabilities of the switch, which include, but are not limited to: (1) the basic switching function of connecting lines to lines, line to trunks, trunks to lines, and trunks to trunks, as well as the same basic capabilities made available to BellSouth’s customers, such as a telephone number, white page listings, and dial tone; and (2) all other features that the switch is capable of providing, including but not limited to customer calling, customer local area signaling service features, and Centrex, as well as any technically feasible customized routing functions provided by the switch. Any features that are not currently available but are technically feasible through the switch can be requested through the BFR/NBR process.

  • SPECIALIZED JOB CLASSES Where there is a particular specialized job class in which the pay rate is below the local market value assessment of that job class, the parties may use existing means under the collective agreement to adjust compensation for that job class.

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