Towards a Formalism-Based Toolkit for Automotive Applications

The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development process based on a singular formal notation and method succeed. The majority of approaches demonstrate a low level of flexibility by attempting to use a single notation to express all of the different aspects encountered in software development. Often, these approaches leave a number of scalability issues open. We prefer a more eclectic approach. In our experience, the use of a formalism-based toolkit with adequate notations for each development phase is a viable solution. Following this principle, any specific notation is used only where and when it is really suitable and not necessarily over the entire software lifecycle. The approach explored in this article is perhaps slowly emerging in practice - we hope to accelerate its adoption. However, the major challenge is still finding the best way to instantiate it for each specific application scenario. In this work, we describe a development process and method for automotive applications which consists of five phases. The process recognizes the need for having adequate (and tailored) notations (Problem Frames, Requirements State Machine Language, and Event-B) for each development phase as well as direct traceability between the documents produced during each phase. This allows for a stepwise verification/validation of the system under development. The ideas for the formal development method have evolved over two significant case studies carried out in the DEPLOY project

'Mamlukisation' between social theory and social practice: an essay on reflexivity, state formation, and the late medieval sultanate of Cairo

This working paper is a reflexive essay that tries to think with and beyond one of the basic assumptions upon which the field of late medieval Syro-Egyptian ‘Mamluk’ studies is built: the idea that all late medieval Syro-Egyptian objects of study are by default first and foremost connected, circumscribed and distinguished by some agency of dominant military slavery, of Mamluk-ness. Acknowledging that there may be different ways to pursue such an epistemological exercise, this essay opts for re-imagining the historical agency of what traditionally tends to be subsumed under the phenomenon of the Mamluk state. It is argued that the notions of state in modern research and of dawla in contemporary texts remain an issue of related analytical confusion. Engaging with this confusion in the generalising fashion of a historical sociology of late medieval Syro-Egyptian political action, this essay proposes an alternative analytical model that is inspired by Michael Chamberlain’s prioritisation of social practices of household reproduction and by Timothy Mitchell’s related understanding of the state as a structural effect of practices of social differentiation. The proposed model sees sultanic political order —the state— as process, in constant flux as the structural effect and structuring embodiment of constantly changing practices of social reproduction, of elite integration and of political distinction, in contexts that range between multipolar and unipolar social organisation at and around Cairo’s court and its military elites. The essay ends with summarily suggesting from this model how the socio-culturally structured and structuring memories of dynastic political order that had remained politically dominant for most of the thirteenth and fourteenth centuries were all but obliterated in the fifteenth century by a new layer of particularly ‘Mamluk’ socio-political meaning

Ontology-driven conceptual modeling: A'systematic literature mapping and review

All rights reserved. Ontology-driven conceptual modeling (ODCM) is still a relatively new research domain in the field of information systems and there is still much discussion on how the research in ODCM should be performed and what the focus of this research should be. Therefore, this article aims to critically survey the existing literature in order to assess the kind of research that has been performed over the years, analyze the nature of the research contributions and establish its current state of the art by positioning, evaluating and interpreting relevant research to date that is related to ODCM. To understand and identify any gaps and research opportunities, our literature study is composed of both a systematic mapping study and a systematic review study. The mapping study aims at structuring and classifying the area that is being investigated in order to give a general overview of the research that has been performed in the field. A review study on the other hand is a more thorough and rigorous inquiry and provides recommendations based on the strength of the found evidence. Our results indicate that there are several research gaps that should be addressed and we further composed several research opportunities that are possible areas for future research

Designing for interaction

At present, the design of computer-supported group-based learning (CS)GBL) is often based on subjective decisions regarding tasks, pedagogy and technology, or concepts such as ‘cooperative learning’ and ‘collaborative learning’. Critical review reveals these concepts as insufficiently substantial to serve as a basis for (CS)GBL design. Furthermore, the relationship between outcome and group interaction is rarely specified a priori. Thus, there is a need for a more systematic approach to designing (CS)GBL that focuses on the elicitation of expected interaction processes. A framework for such a process-oriented methodology is proposed. Critical elements that affect interaction are identified: learning objectives, task-type, level of pre-structuring, group size and computer support. The proposed process-oriented method aims to stimulate designers to adopt a more systematic approach to (CS)GBL design according to the interaction expected, while paying attention to critical elements that affect interaction. This approach may bridge the gap between observed quality of interaction and learning outcomes and foster (CS)GBL design that focuses on the heart of the matter: interaction

The Role of Scientific Language Use and Achievement Level in Student Sensemaking

Many science students struggle with using scientific language and making sense of scientific phenomena. Thus, there is an increased interest in science education research and public policy with regard to understanding and promoting scientific language use and sensemaking in science classrooms. However, there is a lack of comparative studies on how upper-secondary school students of different achievement and language levels use scientific language to make sense of phenomena. The aim of this study was to explore the relationship between achievement level, scientific language use, and sensemaking in chemistry for students being set a sensemaking task while constructing concept maps on the topic of chemical equilibrium. The concept maps were collected from five different upper-secondary schools in Sweden from two school systems (Swedish and International Baccalaureate). Using content analysis, these concept maps were examined for scientific language use as well as structuring of sensemaking. A majority of the students had difficulty structuring sensemaking in their concept maps, independently of achievement level. These difficulties included unstructured reasoning, symbolic representations being used as explanations, surface-level learning, and linear reasoning connected to rote learning. There appeared to be a connection between learning context and student individual structuring of sensemaking as expressed in the concept maps. The results also showed a clear relationship between scientific language use and achievement level in the student sample. The results indicate that the structuring of sensemaking and scientific language use are not always connected processes. In conclusion, teachers may need to adopt a teaching practice that includes directed and differentiated support for scientific sensemaking

Applied knowledge management : a set of well-tried tools

For almost 20 years, Knowledge Management projects hit various domains. This paper focuses on selected tools now of general practice and becoming popular among the practitioners. Originally out of the Information Science labs, the tools introduced here have been proved tested efficient and reliable after hundreds of real projects, no matter what type of industry and domain use them. This paper aims to briefly describe a set of four well-tried Knowledge Management tools allowing practitioners to analyse and structure, describe and represent, share and store, teach and transmit knowledge. This now common practice should open the path to new models for the Knowledge Economy. Dealing with complexity becomes easier as well as putting the Information system at the crossing of the interactive information flows instead of keeping it out of reach of a majority of knowledge workers. Due to the massive retirement of the baby boomers, a large loss of workforce challenges the companies for the first time in history. How to evaluate and pass to the next generation its core business of knowledge is thus of critical importance. This paper reminds that Knowledge Management is no longer a solely academic issue since tools of the next generation are now available, beefing up the growing domain of the knowledge economy.E-learning, Intranets, Knowledge economy, Knowledge management

Knowledge data discovery and data mining in a design environment

Designers, in the process of satisfying design requirements, generally encounter difficulties in, firstly, understanding the problem and secondly, finding a solution [Cross 1998]. Often the process of understanding the problem and developing a feasible solution are developed simultaneously by proposing a solution to gauge the extent to which the solution satisfies the specific requirements. Support for future design activities has long been recognised to exist in the form of past design cases, however the varying degrees of similarity and dissimilarity found between previous and current design requirements and solutions has restrained the effectiveness of utilising past design solutions. The knowledge embedded within past designs provides a source of experience with the potential to be utilised in future developments provided that the ability to structure and manipulate that knowledgecan be made a reality. The importance of providing the ability to manipulate past design knowledge, allows the ranging viewpoints experienced by a designer, during a design process, to be reflected and supported. Data Mining systems are gaining acceptance in several domains but to date remain largely unrecognised in terms of the potential to support design activities. It is the focus of this paper to introduce the functionality possessed within the realm of Data Mining tools, and to evaluate the level of support that may be achieved in manipulating and utilising experiential knowledge to satisfy designers' ranging perspectives throughout a product's development

Tasks, cognitive agents, and KB-DSS in workflow and process management

The purpose of this paper is to propose a nonparametric interest rate term structure model and investigate its implications on term structure dynamics and prices of interest rate derivative securities. The nonparametric spot interest rate process is estimated from the observed short-term interest rates following a robust estimation procedure and the market price of interest rate risk is estimated as implied from the historical term structure data. That is, instead of imposing a priori restrictions on the model, data are allowed to speak for themselves, and at the same time the model retains a parsimonious structure and the computational tractability. The model is implemented using historical Canadian interest rate term structure data. The parametric models with closed form solutions for bond and bond option prices, namely the Vasicek (1977) and CIR (1985) models, are also estimated for comparison purpose. The empirical results not only provide strong evidence that the traditional spot interest rate models and market prices of interest rate risk are severely misspecified but also suggest that different model specifications have significant impact on term structure dynamics and prices of interest rate derivative securities.