Modelling and Refinement in CODA
نویسندگان
چکیده
This paper provides an overview of the CODA framework for modelling and refinement of componentbased embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plugin for the Rodin toolset. CODA augments Event-B with constructs for component-based modelling including components, communications ports, port connectors, timed communications and timing triggers. Component behaviour is specified through a combination of UML-B state machines and Event-B. CODA communications and timing are given an Event-B semantics through translation rules. Refinement is based on Event-B refinement and allows layered construction of CODA models in a consistent way.
منابع مشابه
Optimality Theoretic Account of Acquisition of Consonant Clusters of English Syllables by Persian EFL Learners*
This study accounts for the acquisition of the consonant clusters of English syllable structures both in onset and coda positions by Persian EFL learners. Persian syllable structure is "CV(CC)", composed of one consonant at the initial position and two optional consonants at the final position; whereas English syllable structure is "(CCC)V(CCCC)". Therefore, Persian EFL learners need to resolve...
متن کاملStochastic waveguide in the lithosphere: Indonesian subduction zone to Australian craton
S U M M A R Y Earthquakes occurring in the Indonesian subduction zone recorded in the cratonic regions of northern Australia have long, high frequency coda associated with both P and Swaves. Similar behaviour is seen for earthquakes within Australia on paths within the cratonic regions. The complex character of the coda and its rapid spatial variation indicate that the high frequency waves have...
متن کاملDiscoursal Analysis of Rhetorical Structure of an Online Iraqi English Newspaper
Abstract Rhetorical structure is helpful in improving how the writers maintain cohesion in their writings. This study examines how the Iraqi writers maintain cohesion in the text by analyzing the various rhetorical moves in Azzaman, an online Iraqi newspaper. To this purpose, twelve opinion articles from Azzaman Iraqi newspaper, published from January 2013 to June 2013 were analyzed. The findin...
متن کاملRefinement Plans for Informed Formal Design
Refinement is a powerful technique for tackling the complexities that arise when formally modelling systems. Here we focus on a posit-and-prove style of refinement, and specifically where a user requires guidance in order to overcome a failed refinement step. We take an integrated approach – combining the complementary strengths of topdown planning and bottom-up theory formation. In this paper ...
متن کاملVariability Modelling for Model-Driven Development of Software Product Lines
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development, product variability has to be represented on every modelling level and preserved under model refinement. In this paper, we propose ∆-modelling as an generally applicable variability modelling concept that is orthogo...
متن کامل