Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata

We present an adaptation of input/output conformance (ioco) testing principles to families of similar implementation variants as appearing in product line engineering. Our proposed product line testing theory relies on Modal Interface Automata (MIA) as behavioral specification formalism. MIA enrich I/O-labeled transition systems with may/must modalities to distinguish mandatory from optional behavior, thus providing a semantic notion of intrinsic behavioral variability. In particular, MIA constitute a restricted, yet fully expressive subclass of I/O-labeled modal transition systems, guaranteeing desirable refinement and compositionality properties. The resulting modal-ioco relation defined on MIA is preserved under MIA refinement, which serves as variant derivation mechanism in our product line testing theory. As a result, modal-ioco is proven correct in the sense that it coincides with traditional ioco to hold for every derivable implementation variant. Based on this result, a family-based product line conformance testing framework can be established.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301

The role of corporate governance and boards in organisational performance

For more than two decades, successive UK governments have been concerned with modernising the delivery of public services and seeking performance improvements. As part of this drive, corporate governance arrangements across the sector have been reformed and much greater attention has been paid to the training, development and support of those serving on governing bodies and boards. An underlying assumption of these shifts in policy is that improvements in corporate governance arrangements, and in particular the working of boards, will lead to improvements in effectiveness. This chapter examines what evidence there is to support that assumption

Norms and accountability in multi-agent societies

It is argued that norms are best understood as classes of constraints on practical reasoning, which an agent may consult either to select appropriate goals or commitments according to the circumstances, or to construct a discursive justification for a course of action after the event. We also discuss the question of how norm-conformance can be enforced in an open agent society, arguing that some form of peer pressure is needed in open agent societies lacking universally-recognised rules or any accepted authority structure. The paper includes formal specifications of some data structures that may be employed in reasoning about normative agents

Mediation Effect of Lean: A Bidirectional Synergetic Relationship with SCM for Higher Operational Performance

Competitive plants focus their efforts on reducing manufacturing costs and waste along their production chains. Hence, manufacturing programs with important practices and methodologies such as lean, JIT, TPM, and Kaizen have been embraced. However, an empirical investigation of simultaneous use of several manufacturing programs representing multiple facets of lean is lacking in the literature. Various studies have found that some supply chain management practices are bi-directionally related to lean, but its holistic measurement in relation to supply chain management is still lacking. Thus, this paper provides an evidence of mediation effect of lean from high performance manufacturing (HPM) project perspective in relation to supply chain management

Understanding metonymies in discourse

We propose a new computational model for the resolution of metonymies, a particular type of figurative language. Typically, metonymies are considered as a violation of semantic constraints (e.g., those expressed by selectional restrictions) that require some repair mechanism (e.g., type coercion) for proper interpretation. We reject this view, arguing that it misses out on the interpretation of a considerable number of utterances. Instead, we treat literal and figurative language on a par, by computing both kinds of interpretation independently from each other as long as their semantic representation structures are consistent with the underlying knowledge representation structures of the domain of discourse. The following general heuristic principles apply for making reasonable selections from the emerging readings. We argue that the embedding of utterances in a coherent discourse context is as important for recognizing and interpreting metonymic utterances as intrasentential semantic constraints. Therefore, in our approach, (metonymic or literal) interpretations that establish referential cohesion are preferred over ones that do not. In addition, metonymic interpretations that conform to a metonymy schema are preferred over metonymic ones that do not, and metonymic interpretations that are in conformance with knowledge-based aptness conditions are preferred over metonymic ones that are not. We lend further credit to our model by discussing empirical data from an evaluation study which highlights the importance of the discourse embedding of metonymy interpretation for both anaphora and metonymy resolution

Managing the trade-off implications of global supply

The cost versus response trade-off is a growing logistics issue due to many markets being increasingly characterized by demand uncertainty and shorter product life cycles. This is exacerbated further with supply increasingly moving to low cost global sources. However, the poor response implications of global supply are often not addressed or even acknowledged when undertaking such decisions. Consequently, various practical approaches to minimising, postponing or otherwise managing the impact of the demand uncertainty are often only adopted retrospectively. Even though such generic solutions are documented through case examples we lack effective tools and concepts to support the proactive identification and resolution of such trade-offs. This paper reports on case-based theory building research, involving three cases from the UK and USA used in developing a conceptual model with associated tools, in support of such a process