کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
434371 | 1441721 | 2011 | 24 صفحه PDF | دانلود رایگان |
This paper is concerned with event refinement in the context of CSP∥B. Our motivation to include this notion within the CSP∥B framework is the desire to increase flexibility in the refinement process. This approach provides the ability to change the events of CSP processes and B machines when refining a system. Notions of refinement based on traces and on traces/divergences allow abstract events to be refined by sequences of concrete events. A complementary notion of refinement between B machines is also proposed, yielding compositionality results for refinement of CSP∥B controlled components. The paper also introduces a notion of I/O refinement into our event refinement framework.
Research highlights
► An approach to event refinement for CSP∥B.
► Refinement of atomic events to more detailed structures.
► Consistency between CSP and B elements of a system description and refinement.
► Interface refinement for relating abstract and concrete I/O within event refinements.
► Compositionality and consistency results for traces and traces/divergences models.
Journal: Science of Computer Programming - Volume 76, Issue 10, 1 October 2011, Pages 837–860