Secure Tropos: A Security-Oriented Extension of the Tropos methodology

Although security plays an important role in the development of multiagent systems, a careful analysis of software development processes shows that the definition of security requirements is, usually, considered after the design of the system. One of the reasons is the fact that agent oriented software engineering methodologies have not integrated security concerns throughout their developing stages. The integration of security concerns during the whole range of the development stages can help towards the development of more secure multiagent systems. In this paper we introduce extensions to the Tropos methodology to enable it to model security concerns throughout the whole development process. A description of the new concepts and modelling activities is given along with a discussion on how these concepts and modelling activities are integrated to the current stages of Tropos. A real life case study from the health and social care sector is used to illustrate the approach.

Development of a platform for lean manufacturing simulation games

More than ever, the economic globalization is creating the need to increase business competitiveness. Lean manufacturing is a management philosophy oriented to the elimination of activities that do not create any type of value and are thus considered a waste. One of the main differences from other management philosophies is the shop-floor focus and the operators' involvement. Therefore, the training of all organization levels is crucial for the success of lean manufacturing. Universities should also participate actively in this process by developing students' lean management skills and promoting a better and faster integration of students into their future organizations. This paper proposes a single realistic manufacturing platform, involving production and assembly operations, to learn by playing many of the lean tools such as VSM, 5S, SMED, poke-yoke, line balance, TPM, Mizusumashi, plant layout, and JIT/kanban. This simulation game was built in tight cooperation with experienced lean companies under the international program “Lean Learning Academy,”http://www.leanlearningacademy.eu/ and its main aim is to make bachelor and master courses in applied sciences more attractive by integrating classic lectures with a simulated production environment that could result in more motivated students and higher study yields. The simulation game results show that our approach is efficient in providing a realistic platform for the effective learning of lean principles, tools, and mindset, which can be easily included in course classes of less than two hours.

The use of future-oriented knowledge in regional innovation processes: Research on knowledge generation, transfer and conversion

The importance of the regional level in research has risen in the last few decades and a vast literature in the fields of, for instance, evolutionary and institutional economics, network theories, innovations and learning systems, as well as sociology, has focused on regional level questions. Recently the policy makers and regional actors have also began to pay increasing attention to the knowledge economy and its needs, in general, and the connectivity and support structures of regional clusters in particular. Nowadays knowledge is generally considered as the most important source of competitive advantage, but even the most specialised forms of knowledge are becoming a short-lived resource for example due to the accelerating pace of technological change. This emphasizes the need of foresight activities in national, regional and organizational levels and the integration of foresight and innovation activities. In regional setting this development sets great challenges especially in those regions having no university and thus usually very limited resources for research activities. Also the research problem of this dissertation is related to the need to better incorporate the information produced by foresight process to facilitate and to be used in regional practice-based innovation processes. This dissertation is a constructive case study the case being Lahti region and a network facilitating innovation policy adopted in that region. Dissertation consists of a summary and five articles and during the research process a construct or a conceptual model for solving this real life problem has been developed. It is also being implemented as part of the network facilitating innovation policy in the Lahti region.

Strategies for economic development in the Commonwealth Caribbean: a comparative study of the foreign economic policy strategies adopted by the Manley government in Jamaica and the Williams government in Trinidad and Tobago

This thesis compares the foreign economic poUcy dimension of the development strategies adopted by the governments of two Commonwealth caribbean countries: The Hardey government In Jamaica, and the· Williams government in Trlnidad and T ooago, The foreign economic policIes adopted by these governments appeared, on the surface~ to be markedly dissimilar. The Jamakan strategv on the one hand, emphasised self-reliance and national autonomy; and featured the espousal of radical oonaHgnment together with attempts to re-deftne the terms of the Islands externaa economIc relaUoos. The Trinidadian strategy 00 the other hand, featured Uberal externaUy-oriented growth poUctes, and close relatjoos with Western governments and financial institutions. Th1s study attempts to identify the explanatory factors that account for the apparent dlssimUarUy 1n the foreign economic policies of these two govemnents. The study is based on a comparison of how the structural bases of an underdeveloped ecooomYg and the foreign penetration and vulnerabUUy to external pressures asSOCiated wUh dependence, shape and influence foreign economic poUcy strategy. The framework views fore1gn ecooom1c strategy as an adaptive response on the part of the decision makers of a state to the coostralnts and opportunities provided by a particular situation. The · situat i 00' in this case being the events, conditions, structures and processes, associated wUh dependente and underdevelopment. The results indicate that the similarities and dissimHarities in the foreign economic policies of the governments of Jamaica and Trinidad were a reflecUon of the simHarities and dissimilarities in their respective situations. The conclusion derived suggests that If the foreign pol1cy field as an arena of choice, Is indeed one of opportunities and constraints for each and every state, then poHcy makers of smaU, weak, hlghW penetrated and vulnerable states enter thlS arena with constraints outweighing opportunities. This places effective limits 00 their decisional latitude and the range of policy options avaUable. Policy makers thus have to decide critical issues with few estabUshed precedents, in the face of domestic social and political cleavages, as wen as serious foreign pressures. This is a reflection not only of the trappings of dependence, but also of the Umned capabilities arising from the sman size of the state, and the Impact of the resource-gap In an underdeveloped economy. The Trinidadian strategy 1s UlustraUve of a development strategy made viable through a combination of a fortuitous circumstance, a confluence of the interests of influential groups» and accurate perception on the part of poUcy makers. These factors enabled policy makers to minimise some of the constraints of dependence. The faUure of Manlets strategy on the other hand, 15 iHustraUve of the problems involved tn the adoption of poUcles that work against the interest of internal and external political and economic forces. It is also tUustraUve of the consequences of the faUure 00 the part of policy makers to clarify goals, and to reconcile the values of rapid economic growth with increased self-reliance and national autonomy. These values tend to be mutuany Incompatible given the existing patterns of relations in the jnternational economy.

Examining and describing professional development and continuing education in the personal training and fitness industry : sites and issues of disconnect

The following phenomenologically oriented study examines and describes the relevance and effectiveness of professional development and continuing education programs for real-world situations of personal trainers. The participants were personal trainers, facility managers, and persons involved in the accreditation process. Data collection took place in 3 phases. The first phase consisted of the participants completing the PUMP Questionnaire, followed by focus groups with personal trainers and interviews with managers. The study's 3 data sets required reduction via a content analysis by question, content analysis by existential categories, and further thematic analysis using the lived relation existential dimension. The discussion contains the salient sites and issues of disconnect between clients, personal trainers, and facility managers and how they might affect the personal training experience. The intergenerational disconnect emphasized between Boomers as clients and Millennials as personal trainers requires further exploration and dialogue and underscores the need for different approaches to content and delivery of professional development and continuing education experiences for personal trainers and managers of fitness facilities.

Winâ Foy : functional object-oriented programming language

This thesis will introduce a new strongly typed programming language utilizing Self types, named Win--*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a programming language is based on deficiencies found in programming languages that support both Self types and subtyping. Subtyping is a concept that is taken for granted by most software engineers programming in object-oriented languages. Subtyping supports subsumption but it does not support the inheritance of binary methods. Binary methods contain an argument of type Self, the same type as the object itself, in a contravariant position, i.e. as a parameter. There are several arguments in favour of introducing Self types into a programming language (11. This rationale led to the development of a relation that has become known as matching [4, 5). The matching relation does not support subsumption, however, it does support the inheritance of binary methods. Two forms of matching have been proposed (lJ. Specifically, these relations are known as higher-order matching and I-bound matching. Previous research on these relations indicates that the higher-order matching relation is both reflexive and transitive whereas the f-bound matching is reflexive but not transitive (7]. The higher-order matching relation provides significant flexibility regarding inheritance of methods that utilize or return values of the same type. This flexibility, in certain situations, can restrict the programmer from defining specific classes and methods which are based on constant values [21J. For this reason, the type This is used as a second reference to the type of the object that cannot, contrary to Self, be specialized in subclasses. F-bound matching allows a programmer to define a function that will work for all types of A', a subtype of an upper bound function of type A, with the result type being dependent on A'. The use of parametric polymorphism in f-bound matching provides a connection to subtyping in object-oriented languages. This thesis will contain two main sections. Firstly, significant details concerning deficiencies of the subtype relation and the need to introduce higher-order and f-bound matching relations into programming languages will be explored. Secondly, a new programming language named Win--*Foy Functional Object-Oriented Programming Language has been created, along with a suitable user interface, in order to facilitate experimentation by programmers regarding the matching relation. The construction of the programming language and the user interface will be explained in detail.

The Influence of Motivational Behaviours and Goal Profiles on Positive Youth Development

Positive Youth Development (PYD) research has started to shift focus onto how different internal factors such as temperament, dispositions, and/or personality characteristics could influence levels of PYD for youth participating is organized sport. The purpose of this study is to examine how different goal profiles, specifically categorized by diverse levels of task and ego orientation, can influence levels of PYD in an organized youth sport setting. One hundred youth sport participants (mean age = 16.8) completed the short form Youth Experiences Survey for Sport (short form YES-S; Sullivan et al., 2013) to measure PYD, as well as the Task and Ego Orientation in Sport Questionnaire (TEOSQ; Duba 1989) to assess each athlete’s goal profile. A TwoStep Cluster Analysis was used to classify each individual’s personal goal profile into 3 statistically different cluster groupings. Results indicated significant interaction between the PYD outcome factor of Initiative vs. Clusters [F(2,95)= 10.86, p < 0.001, p2= 0.19] as well as Goal Setting vs. Clusters [F(2,95)= 3.95, p < 0.05, p2= 0.08]. Post-hoc analyses provided results that suggest that those athletes who are more task oriented have fostered more positive outcomes from sport, therefore having more goal setting skills and initiative.

An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Management of Traffic Control — A Computer Oriented Approach

Traffic Management system (TMS) comprises four major sub systems: The Network Database Management system for information to the passengers, Transit Facility Management System for service, planning, and scheduling vehicle and crews, Congestion Management System for traffic forecasting and planning, Safety Management System concerned with safety aspects of passengers and Environment. This work has opened a rather wide frame work of model structures for application on traffic. The facets of these theories are so wide that it seems impossible to present all necessary models in this work. However it could be deduced from the study that the best Traffic Management System is that whichis realistic in all aspects is easy to understand is easy to apply As it is practically difficult to device an ideal fool—proof model, the attempt here has been to make some progress-in that direction.

Learning achievements of farmers during the transition to market-oriented organic agriculture in rural Uganda

Organic agriculture requires farmers with the ability to develop profitable agro-enterprises on their own. By drawing on four years of experiences with the Enabling Rural Innovation approach in Uganda, we outline how smallholder farmers transition to organic agriculture and, at the same time, increase their entrepreneurial skills and competences through learning. In order to document this learning we operationalised the Kirkpatrick learning evaluation model, which subsequently informed the collection of qualitative data in two study sites. Our analysis suggests that the Enabling Rural Innovation approach helps farmers to develop essential capabilities for identifying organic markets and new organic commodities, for testing these organic commodities under varying organic farm management scenarios, and for negotiating contracts with organic traders. We also observed several obstacles that confront farmers’ transition to organic agriculture when using the Enabling Rural Innovation approach. These include the long duration of agronomic experimentation and seed multiplication, expensive organic certification procedures and the absence of adequate mechanism for farmers to access crop finance services. Despite prevailing obstacles we conclude that the Enabling Rural Innovation approach provides a starting point for farmers to develop entrepreneurial competences and profitable agro-enterprises on their own.

Influence of molecular composition on the development of microstructure from sheared polyethylene melts: Molecular and lamellar templating

A combination of in situ and ex situ X-ray scattering techniques and transmission electron microscopy has been used to study the crystallization behaviour of polyethylene, following the imposition of melt shear. In the case of a branched material, the imposition of shear flow up to a rate of 30 s(-1) was found to induce no anisotropy. Although shearing the linear material only ever induced a very small degree of anisotropy in the melt, for shear rates > 0.15 s(-1), subsequent crystallization resulted in increasing anisotropy. Blends of the above two polyethylenes were produced, in which the linear material constituted the minority fraction (similar to 10%). Isothermal crystallization at temperatures where extensive crystallization of the branched material does not occur demonstrated that the behaviour of the linear component of the sheared blend mirrored that of the linear polyethylene alone. However, in addition, it was found that when crystallized in the presence of an oriented morphology, the branched polymer also formed anisotropic structures. We have termed the process templating, in which the crystallization behaviour of the bulk of the system (similar to 90% branched material) is completely altered (spherulitic to oriented lamellar) by mapping it onto a pre-existing minority structure (similar to 10% linear polymer). (c) 2006 Elsevier Ltd. All rights reserved.

A data collection case study supporting requirements oriented prediction and management in software developments

Consider the statement "this project should cost X and has risk of Y". Such statements are used daily in industry as the basis for making decisions. The work reported here is part of a study aimed at providing a rational and pragmatic basis for such statements. Of particular interest are predictions made in the requirements and early phases of projects. A preliminary model has been constructed using Bayesian Belief Networks and in support of this, a programme to collect and study data during the execution of various software development projects commenced in May 2002. The data collection programme is undertaken under the constraints of a commercial industrial regime of multiple concurrent small to medium scale software development projects. Guided by pragmatism, the work is predicated on the use of data that can be collected readily by project managers; including expert judgements, effort, elapsed times and metrics collected within each project.

The development of organized structures in polyethylene crystallized from a sheared melt, analyzed by WAXS and TEM

The development of global orientation and morphological features in linear polyethylene crystallizing from a sheared melt are studied using in-situ time-resolving wide angle X-ray scattering (WAXS) and ex-situ transmission electron microscopy. It is found that samples subjected to a shear rate above a critical value of ~1s-1 result in macroscopically oriented structures in the crystallized sample. This critical shear rate appears to be independent of the differences in molecular weight distribution of the samples studied although the morphologies which develop are sensitive to quite small differences in molecular weight distributions. The presence of shish kebabs in the morphology is shown to differ markedly according to variations in the upper molecular weight fraction of the molecular weight distribution, even though the resulting global orientation does not. The WAXS also reveals that areas which evidence no row nucleated structures still realize high degrees of molecular orientation. It is proposed that the formation of shish kebab or lamellar morphologies in these samples is dependent on the critical density of contiguous elongated crystallization nuclei rather than any specific global criteria.

Building the foundations for a market-oriented planning system in Bulgaria

Planning is highly conditioned by the relationships between the market, state and politics. This becomes particularly clear in looking at the changes taking place in the countries of the former Communist block as they attempt to establish a new set of relationships. The old power structures have been dislodged and old laws discarded. This paper examines the situation in Bulgaria and explores the preconditions for setting up a new planning system there. The first section outlines the political changes since 1989 and shows how political instability has effected the pace of change. The establishment of a market in land and property is a second precondition for the planning system there and moves in this direction are presented, including restitution policies. Finally the issues raised by the early attempts towards a new planning system are discussed. This paper is the first of a series looking at the countries of Eastern Europe and the author would welcome comments from others working in this field.