Structural Refinement of Systems Specified in Object-Z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.     

Historical narratives as strategic resources: analysis of the Turkish international contracting sector

The Turkish contracting sector has an enviable reputation for operating in high-risk international markets. The sector’s ability to respond to market instability could meaningfully be construed as sectoral-level capability. We aim to demonstrate how history can be mobilised in a formalised “strategy text” to create a strategic narrative on the sectoral level. The Geography of Contractors as published by the Turkish Contractors Association (TCA) ostensively portrays the strategic development of Turkish international contractors over four decades. Such quasi-historical narratives are routinely mobilised for the purposes of creating a shared memory on the sectoral level. The chosen strategy text draws from multiple narrative fragments derived from past experience to generate a strategic agenda for the future. The representation given to multiple voices reflects the pluralistic nature of strategy making praxis. The overarching strategy narrative reflects a performative intent in legitimising some practices whilst discrediting others. Narrative analysis demonstrates the way in which actors, actions and events are positioned within a plot structure, with direct implications for the enactment of future strategic practices. The findings suggest that strategic actions can only ever be identified in retrospect and that such arguments are always made with an eye on the future.     

由无监管供货来源引起的接触镜并发症综述

正前言:2014年1月,美国眼科医师接触镜协会的专业权威杂志《眼睛和接触镜》发表了业界著名英国学者的文献综述,指出全球未经验配师正规验配、处方、指导、随访的隐形眼镜销售会带来更大的不良反应,特别是美容平光镜片,呼吁发展中国家借鉴英美历史经验教训,消除隐患。文章发表后引起行业内外巨大反响,现重点翻译摘要内容如下。