Stress-testing centralised model stores

One of the current challenges in model-driven engineering is enabling effective collaborative modelling. Two common approaches are either storing the models in a central repository, or keeping them under a traditional file-based version control system and build a centralized index for model-wide queries. Either way, special attention must be paid to the nature of these repositories and indexes as networked services: they should remain responsive even with an increasing number of concurrent clients. This paper presents an empirical study on the impact of certain key decisions on the scalability of concurrent model queries, using an Eclipse Connected Data Objects model repository and a Hawk model index. The study evaluates the impact of the network protocol, the API design and the internal caching mechanisms and analyzes the reasons for their varying performance.

Combining data driven programming with component based software development:with applications in geovisualisation and dynamic data driven application systems

Software development methodologies are becoming increasingly abstract, progressing from low level assembly and implementation languages such as C and Ada, to component based approaches that can be used to assemble applications using technologies such as JavaBeans and the .NET framework. Meanwhile, model driven approaches emphasise the role of higher level models and notations, and embody a process of automatically deriving lower level representations and concrete software implementations. The relationship between data and software is also evolving. Modern data formats are becoming increasingly standardised, open and empowered in order to support a growing need to share data in both academia and industry. Many contemporary data formats, most notably those based on XML, are self-describing, able to specify valid data structure and content, and can also describe data manipulations and transformations. Furthermore, while applications of the past have made extensive use of data, the runtime behaviour of future applications may be driven by data, as demonstrated by the field of dynamic data driven application systems. The combination of empowered data formats and high level software development methodologies forms the basis of modern game development technologies, which drive software capabilities and runtime behaviour using empowered data formats describing game content. While low level libraries provide optimised runtime execution, content data is used to drive a wide variety of interactive and immersive experiences. This thesis describes the Fluid project, which combines component based software development and game development technologies in order to define novel component technologies for the description of data driven component based applications. The thesis makes explicit contributions to the fields of component based software development and visualisation of spatiotemporal scenes, and also describes potential implications for game development technologies. The thesis also proposes a number of developments in dynamic data driven application systems in order to further empower the role of data in this field.

Problem solving in architectural design

This thesis is presented in two parts. The first part is an attempt to set out a framework of factors influencing the problem solving stage of the architectural design process. The discussion covers the nature of architectural problems and some of the main ways in which they differ from other types of design problems. The structure of constraints that both the problem and the architect impose upon solutions are seen as of great importance in defining the type of design problem solving situation. The problem solver, or architect, is then studied. The literature of the psychology of thinking is surveyed for relevant work . All of the traditional schools of psychology are found wanting in terms of providing a comprehensive theory of thinking. Various types of thinking are examined, particularly structural and productive thought, for their relevance to design problem solving. Finally some reported common traits of architects are briefly reviewed. The second section is a report of u~o main experiments which model some aspects of architectural design problem solving. The first experiment examines the way in which architects come to understand the structure of their problems. The performances of first and final year architectural students are compared with those of postgraduate science students and sixth form pupils. On the whole these groups show significantly different results and also different cognitive strategies. The second experiment poses design problems which involve both subjective and objective criteria, and examines the way in which final year architectural students are able to relate the different types of constraint produced. In the final section the significance of all the results is suggested. Some educational and methodological implications are discussed and some further experiments and investigations are proposed.

Disentangle contextual and permanent individual motivations:an application to shopping behavior

Past studies resulted in conflicting definitions of consumer motivation. On the one hand, motivations are seen as the consumer’s characteristics that shape her general behavior (motivational trait). On the other hand, they are seen as contextual variables representing the reason why the individual is behaving specific to today’s context (motivational state). The objective of this research is to stress the difference between these two concepts and to understand the impact of each on consumer behavior. We applied our empirical study to shopping motivations; our results show a strong interaction between motivational trait and motivational state. Problem and Hypothesis On the one hand, Westbrook and Black (1985) consider shopping motivations as individual permanent characteristics. This concept is shared by other researchers (Rohm and Swaminathan 2004), which show that some shoppers are functional (they shop for convenience, information seeking, and time saving) while some others are hedonic (they shop for social interaction, bargain hunting and browsing). On the other hand, Kaltcheva and Weitz (2006) define motivations as a contextual orientation changing over time, depending on the situation, and show that contextual shopping motivations have a strong impact on shopping behavior. From our knowledge, no research specifically examined the respective impact of both these shopping motivation types. To deal with this issue, we used the notions of “traits” and “states” that have been largely used in marketing research to designate respectively a permanent characteristic of the individual and a temporary orientation of the consumer (Mowen 2000). The reversal theory (Apter 2001) suggests that two opposite states exist: the telic and the paratelic states. In the telic state, individuals set goals for themselves, must be disciplined to reach these goals, and do not behave in accordance with their personal trait. In the paratelic state, individuals are seeking arousal and enjoyment, do not set rules, and one could postulate that they act in accordance with their natural tendencies. Based on these considerations, we hypothesize the following process: in situations involving paratelic states, hedonic as well as functional individuals should behave according to their natural traits, whereas in situations involving telic states, hedonic people should inhibit their natural propensity to enjoy shopping and behave similarly to functional people. Hence, we postulate the following: Hypothesis: Compared to shoppers with functional motivational trait, shoppers with hedonic motivational trait will a) significantly display more hedonic shopping behavior intentions in a condition of paratelic motivational state, and b) not display more hedonic shopping behavior intentions in a condition a telic motivational state Empirical Research First, 108 participants were asked to fill a multi-items scale about their shopping habits, which actually measured their shopping motivational traits. This questionnaire allowed us to highlight four different dimensions in shopping motivational traits: social interaction, novelty/utility seeking, bargain hunting, and browsing. According to their scores on different items, participants were classified as functional or as hedonic on each of these four dimensions (a single individual may be hedonic on some dimensions and functional on others). Then, participants were then induced to adopt either a telic or a paratelic shopping motivational state while reading an appropriate scenario. Finally, participants were asked for their shopping behavior intentions in response to the shopping context. Four items were developed, corresponding to the four shopping motivational trait dimensions we found with our factor analysis. Results As we found four dimensions in shopping motivational trait, we set up four quasi-experimental designs to capture the entire phenomenon: for each dimension, a 2 (motivational trait) x 2 (motivational state) design was built, where the dependant variable was the shopping behavior element corresponding to the studied dimension. Four 2 x 2 Anovas were performed to assess the interaction between motivational trait and motivational state. Concerning the three dimensions - browsing, novelty/utility seeking, and bargain hunting- , in the paratelic state scenario participants with hedonic motivational trait displayed significantly more hedonic shopping behavior intentions than participants with a functional motivational trait (resp. F = 9.701, p = .003; F = 4.979, p = .03; F = 5.757, p = .02); and in the telic state scenario, there was no significant difference in behavior intentions between participants with hedonic or functional motivation trait. Each time, the interaction effect between motivational state and motivational trait was significant (resp. F = 4.859, p = .03; F = 3.314, p = .07; F = 2.98, p = .08). Concerning the fourth dimension, social interaction, shopping behavior intentions of participants with hedonic and with functional motivational traits were significantly different in the paratelic state scenario (F = 29.898, p <.000) as well as in the telic state scenario (F = 9.559, p = .003). However, the interaction effect showed that this behavioral difference was significantly stronger in the paratelic scenario. All these results support our research hypothesis. Discussion and Implications Our study provides consistent support for our hypotheses saying that there is an interaction effect between shopping motivational states and shopping motivational traits. The generalization of the results is strengthened by the study of four different shopping traits: social interaction, novelty/utility seeking, bargain hunting and browsing. As we proposed, when shopping in a goal-oriented state (telic state), behaviors of hedonic and functional shoppers do not differ significantly. Conversely, when shopping for a recreational reason (paratelic state), hedonic and functional shoppers behave significantly different. These results could explain why some previous studies concluded that shopping motivational traits had no impact on shopping behavior: they did not take into consideration the interaction between motivational trait and motivational state. Moreover, our study shows that marketing surveys performed by store managers to draw the personal profile of their customers must be crossed with contextual motivations in order to accurately forecast shopper behavior. Future Developments Our results can be explained by the self-control process, which pushes hedonic-trait shoppers to behave in a rather functional way in utilitarian situations. However, to be certain that this is the very process that occurs, we plan to add self-control perception scales to our existing measures. This is obviously the next step of this research.

Relaxing claims:coping with uncertainty while evaluating assumptions at run time

Self-adaptation enables software systems to respond to changing environmental contexts that may not be fully understood at design time. Designing a dynamically adaptive system (DAS) to cope with this uncertainty is challenging, as it is impractical during requirements analysis and design time to anticipate every environmental condition that the DAS may encounter. Previously, the RELAX language was proposed to make requirements more tolerant to environmental uncertainty, and Claims were applied as markers of uncertainty that document how design assumptions affect goals. This paper integrates these two techniques in order to assess the validity of Claims at run time while tolerating minor and unanticipated environmental conditions that can trigger adaptations. We apply the proposed approach to the dynamic reconfiguration of a remote data mirroring network that must diffuse data while minimizing costs and exposure to data loss. Results show RELAXing Claims enables a DAS to reduce adaptation costs. © 2012 Springer-Verlag.

A novel architecture for all-optical add-drop multiplexing of OFDM signals

We propose a novel architecture for all-optical add-drop multiplexing of OFDM signals. Extensive numerical simulations have been carried out to benchmark the performance of the architecture against critical design parameters.

Towards flexible parsing of structured textual model representations

Existing parsers for textual model representation formats such as XMI and HUTN are unforgiving and fail upon even the smallest inconsistency between the structure and naming of metamodel elements and the contents of serialised models. In this paper, we demonstrate how a fuzzy parsing approach can transparently and automatically resolve a number of these inconsistencies, and how it can eventually turn XML into a human-readable and editable textual model representation format for particular classes of models.

Integration of a graph-based model indexer in commercial modelling tools

Softeam has over 20 years of experience providing UML-based modelling solutions, such as its Modelio modelling tool, and its Constellation enterprise model management and collaboration environment. Due to the increasing number and size of the models used by Softeam’s clients, Softeam joined the MONDO FP7 EU research project, which worked on solutions for these scalability challenges and produced the Hawk model indexer among other results. This paper presents the technical details and several case studies on the integration of Hawk into Softeam’s toolset. The first case study measured the performance of Hawk’s Modelio support using varying amounts of memory for the Neo4j backend. In another case study, Hawk was integrated into Constellation to provide scalable global querying of model repositories. Finally, the combination of Hawk and the Epsilon Generation Language was compared against Modelio for document generation: for the largest model, Hawk was two orders of magnitude faster.

Summary of the 10th International workshop on Models@run.time

The 10th anniversary of the workshop Models@run.time was held at the 18th International Conference on Model Driven Engineering Languages and Systems. The workshop took place in the city of Ottawa, Canada, on the 29th of September 2015. The workshop was organized by Sebastian Gtz, Nelly Bencomo, Gordon Blair and Hui Song. Here, we present a summary of the discussions at the workshop and a synopsis of the topics discussed and highlighted during the workshop. The workshop received the award for the best workshop at the MODELS 2015 conference out of 18 workshops in total. The award was based upon the organization, program, web site timing and the feedback provided by the workshop participants.

CADS*: Computer-Aided Development of self-* systems

We present the prototype tool CADS* for the computer-aided development of an important class of self-* systems, namely systems whose components can be modelled as Markov chains. Given a Markov chain representation of the IT components to be included into a self-* system, CADS* automates or aids (a) the development of the artifacts necessary to build the self-* system; and (b) their integration into a fully-operational self-* solution. This is achieved through a combination of formal software development techniques including model transformation, model-driven code generation and dynamic software reconfiguration.

Fluidized bed gasification of biomass

A fluidized bed process development unit of 0.8 m internal diameter was designed on basis of results obtained from a bench scale laboratory unit. For the scaling up empirical models from the literature were used. The process development unit and peripheral equipment were constructed, assembled and commissioned, and instruments were provided for data acquisition. The fluidization characteristics of the reactor were determined and were compared to the design data. An experimental programme was then carried out and mass and energy balances were made for all the runs. The results showed that the most important independent experimental parameter was the air factor, with an optimum at 0.3. The optimum higher heating value of the gas produced was 6.5 MJ/Nm3, while the thermal efficiency was 70%. Reasonably good agreement was found between the experimental results, theoretical results from a thermodynamic model and data from the literature. It was found that the attainment of steady state was very sensitive to a continuous and constant feedstock flowrate, since the slightest variation in feed flow resulted in fluctuations of the gas quality. On the basis of the results a set of empirical relationships was developed, which constitutes an empirical model for the prediction of the performance of fluidized bed gasifiers. This empirical model was supplemented by a design procedure by which fluidized bed gasifiers can be designed and constructed. The design procedure was then extended to cover feedstock feeding and gas cleaning in a conceptual design of a fluidized bed gasification facility. The conceptual design was finally used to perform an economic evaluation of a proposed gasification facility. The economics of this plant (retrofit application) were favourable.

Designing a methodology for an office communication and information system:for executives in the Malaysian public sector : the Prime Minister's office

Modern managers are under tremendous pressure in attempting to fulfil a profoundly complex managerial task, that of handling information resources. Information management, an intricate process requiring a high measure of human cognition and discernment, involves matching a manager's lack of information processing capacity against his information needs, with voluminous information at his disposal. The nature of the task will undoubtedly become more complex in the case of a large organisation. Management of large-scale organisations is therefore an exceedingly challenging prospect for any manager to be faced with. A system that supports executive information needs will help reduce managerial and informational mismatches. In the context of the Malaysian public sector, the task of overall management lies with the Prime Minister and the Cabinet. The Prime Minister's Office is presently supporting the Prime Minister's information and managerial needs, although not without various shortcomings. The rigid formalised structure predominant of the Malaysian public sector, so opposed to dynamic treatment of problematic issues as faced by that sector, further escalates the managerial and organisational problem of coping with a state of complexity. The principal features of the research are twofold: the development of a methodology for diagnosing the problem organisation' and the design of an office system. The methodological development is done in the context of the Malaysian public sector, and aims at understanding the complexity of its communication and control situation. The outcome is a viable model of the public sector. `Design', on the other hand, is developing a syntax or language for office systems which provides an alternative to current views on office systems. The design is done with reference to, rather than for, the Prime Minister's Office. The desirable outcome will be an office model called Office Communication and Information System (OCIS).

The mechanics of continuous roller bending of plates

This research initiates a study of the mechanics of four roll plate bending and provides a methodology to investigate the process experimentally. To carry out the research a suitable model bender was designed and constructed. The model bender was comprehensively instrumented with ten load cells, three torquemeters and a tachometer. A rudimentary analysis of the four roll pre-bending mode considered the three critical bending operations. The analysis also gave an assessment of the model bender capacity for the design stage. The analysis indicated that an increase in the coefficient of friction in the contact region of the pinch rolls and the plate would reduce the pinch resultant force required to end a plate to a particular bend radius. The mechanisms involved in the four roll plate bending process were investigated and a mathematical model evolved to determine the mechanics of four roll thin plate bending. A theoretical and experimental investigation was conducted for the bending of HP30 aluminium plates in both single and multipass bending modes. The study indicated that the multipass plate bending mechanics of the process varied according to the number of bending passes executed and the step decrement of the anticipated finished bend radius in any two successive passes (i.e. the bending route). Experimental results for single pass bending indicated that the rollers normally exert a higher bending load for the steady-continous bending with the pre-inactive side roll oper?tive. For the pre-bending mode and the steady-continous bending mode with the pre-active side roll operative, the former exerted the higher loads. The single pass results also indicated that the force on the side roll, the torque and power steadily increased as the anticipated bend radius decreased. Theoretical predictions for the plate internal resistance to accomplish finished bend radii of between 2500mm and 500mm for multipass bending HP30 aluminium plates, suggested that there was a certain bending route which would effectively optimise the bender capacity.

Second international workshop on models@run.time

The second edition of the workshop Models@run.time was co-located with the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems. The workshop took place in the lively city of Nashville, USA, on the 2nd of October, 2007. The workshop was organised by Nelly Bencomo, Robert France, and Gordon Blair and was attended by at least 25 people from 7 countries. This summary gives an overview of the presentations and lively discussions that took place during the workshop. © 2008 Springer-Verlag Berlin Heidelberg.

4th international workshop on Models@run.time

The 4th edition of the workshop Models@run.time was held at the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS). The workshop took place in the city of Denver, Colorado, USA, on the 5th of October 2009. The workshop was organised by Nelly Bencomo, Robert France, Gordon Blair, Freddy Muñoz, and Cédric Jeanneret. It was attended by at least 45 people from more than 10 countries. In this summary we present a synopsis of the presentations and discussions that took place during the 4th International Workshop on Models@run.time. © Springer-Verlag Berlin Heidelberg 2010.