Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

Carbohydrate intake in children - associations with dietary intakes, growth, serum lipids,and dental health. The STRIP Project

This study is part of the STRIP study, which is a long-term, randomized controlled trial, designed to decrease the exposure of children in the intervention group (n=540) to known risk factors of atherosclerosis. The main focus of the intervention was the quality of dietary fat. The control group (n=522) did not receive any individualized counselling. Food consumption was evaluated with food records, and blood samples were drawn and growth was measured regularly for all participating children from 13 months to 9 years. A subsample of 66 children participated in a dental health survey. The number of studies on children’s carbohydrate intake, especially fibre intake, is insufficient. The current international recommendations for fibre intake in children are based on average assumptions and data extrapolated from intakes in adults and intake recommendations for adults. Finnish nutrition recommendations lack strict recommendations for dietary fibre in children. Due to fibre’s high bulk volume, excessive dietary fibre is considered to decrease energy density and hence it may have an adverse effect on growth. If fats are reduced from the diet, the low-fat diet may become high in sucrose. Therefore, especially in the STRIP study, it is important to determine the use of fibre and sucrose in children and possible associations with growth and nutrition as well as dental health. The results of the present study indicate that a high fibre intake does not displace energy or disturb growth in children and that children with high fibre intake have better quality of diet than those with low fibre intake. Additionally, dietary fibre intake associated inversely with serum cholesterol concentration. Other carbohydrates also affected serum lipid levels as well, since total carbohydrates, sucrose, and fructose increased serum triglyceride concentration. Total carbohydrate intake reduced HDL cholesterol concentration only in children with apoE3 or apoE4 phenotype. Over the period from the 1970s to the 1990s the dental health of children in Finland has substantially improved despite an increase in sucrose intake. The improvement was thought to be due to improved dental hygiene and the use of fluorine. However, during the past twenty years improvement in dental health has stopped. The present study showed that high long-term sugar intake increases risk of caries in children. High intake of sugar had also negative effects on the diet of children, because it worsens dietary quality by displacing essential nutrients. Furthermore, the quality of dietary fat was worse in children with high sucrose intake. In this study the children’s high sucrose intake was not associated with overweight, but interestingly, it associated inversely with growth.

Knowledge Sharing between Generations in an Organisation - Retention of the Old or Building the New?

The study explores knowledge transfer between retiring employees and their successors in expert work. My aim is to ascertain whether there is knowledge development or building new knowledge related to this organisational knowledge transfer between generations; in other words, is the transfer of knowledge from experienced, retiring employees to their successors merely retention of the existing organisational knowledge by distributing it from one individual to another or does this transfer lead to building new and meaningful organisational knowledge. I call knowledge transfer between generations and the possibly related knowledge building in this study knowledge sharing between generations. The study examines the organisation and knowledge management from a knowledge-based and constructionist view. From this standpoint, I see knowledge transfer as an interactive process, and the exploration is based on how the people involved in this process understand and experience the phenomenon studied. The research method is organisational ethnography. I conducted the analysis of data using thematic analysis and the articulation method, which has not been used before in organisational knowledge studies. The primary empirical data consists of theme interviews with twelve employees involved in knowledge transfer in the organisation being studied and five follow-up theme interviews. Six of the interviewees are expert duty employees due to retire shortly, and six are their successors. All those participating in the follow-up interviews are successors of those soon to retire from their expert responsibilities. The organisation in the study is a medium-sized Finnish firm, which designs and manufactures electrical equipment and systems for the global market. The results of the study show that expert work-related knowledge transfer between generations can mean knowledge building which produces new, meaningful knowledge for the organisation. This knowledge is distributed in the organisation to all those that find it useful in increasing the efficiency and competitiveness of the whole organisation. The transfer and building of knowledge together create an act of knowledge sharing between generations where the building of knowledge presupposes transfer. Knowledge sharing proceeds between the expert and the novice through eight phases. During the phases of knowledge transfer the expert guides the novice to absorb the knowledge to be transferred. With the expert’s help the novice gradually comes to understand the knowledge and in the end he or she is capable of using it in his or her work. During the phases of knowledge building the expert helps the novice to further develop the knowledge being transferred so that it becomes new, useful knowledge for the organisation. After that the novice takes the built knowledge to use in his or her work. Based on the results of the study, knowledge sharing between generations takes place in interaction and ends when knowledge is taken to use. The results I obtained in the interviews by the articulation method show that knowledge sharing between generations is shaped by the novices’ conceptions of their own work goals, knowledge needs and duties. These are not only based on the official definition of the work, but also how the novices find their work or how they prioritise the given objectives and responsibilities. The study shows that the novices see their work primarily as maintenance or development. Those primarily involved in maintenance duties do not necessarily need knowledge defined as transferred between generations. Therefore, they do not necessarily transfer knowledge with their assigned experts, even though this can happen in favourable circumstances. They do not build knowledge because their view of their work goals and duties does not require the building of new knowledge. Those primarily involved in development duties, however, do need knowledge available from their assigned experts. Therefore, regardless of circumstances they transfer knowledge with their assigned experts and also build knowledge because their work goals and duties create a basis for building new knowledge. The literature on knowledge transfer between generations has focused on describing either the knowledge being transferred or the means by which it is transferred. Based on the results of this study, however, knowledge sharing between generations, that is, transfer and building is determined by how the novice considers his or her own knowledge needs and work practices. This is why studies on knowledge sharing between generations and its implementation should be based not only on the knowledge content and how it is shared, but also on the context of the work in which the novice interprets and shares knowledge. The existing literature has not considered the possibility that knowledge transfer between generations may mean building knowledge. The results of this study, however, show that this is possible. In knowledge building, the expert’s existing organisational knowledge is combined with the new knowledge that the novice brings to the organisation. In their interaction this combination of the expert’s “old” and the novice’s “new” knowledge becomes new, meaningful organisational knowledge. Previous studies show that knowledge development between the members of an organisation is the prerequisite for organisational renewal which in turn is essential for improved competitiveness. Against this background, knowledge building enables organisational renewal and thus enhances competitiveness. Hence, when knowledge transfer between generations is followed by knowledge building, the organisation kills two birds with one stone. In knowledge transfer the organisation retains the existing knowledge and thus maintains its competitiveness. In knowledge building the organisation developsnew knowledge and thus improves its competitiveness.

Projektinhallintaprosessin suorituskykymittariston kehittäminen

Yritysten toimintaympäristöjen muuttuminen, organisaatioiden rajojen hämärtyminen ja aineettoman pääoman merkityksen korostuminen vaikeuttavat sekä onnistuneen strategian luontia, että sen toteuttamista. Strategisten mittausjärjestelmien avulla pyritään kehittämään ja varmistamaan strategian toteutuminen liiketoiminnassa. Parhaimmillaan hyvä mittaristo kertoo mitkä ovat yrityksen strategiset tavoitteet ja mihin yritys tulevaisuudessa haluaa panostaa. Suorituskyvyn mittaamisessa on perinteisesti keskitytty taloudellisiin mittareihin. Taloudelliset luvut ovat usein menneeseen viittaavia seuraustekijöitä, ei tulevaisuuteen katsovia mittareita. Tämän tutkimuksen tavoitteena oli projektiliiketoimintaa harjoittavan yrityksen projektinhallintaprosessin suorituskykymittariston kehittäminen. Tavoitteena oli rakentaa projektinhallintaprosessille tasapainoinen suorituskykymittaristo, joka ottaa huomioon myös aineettoman pääoman. Tutkimuksen tutkimusote oli toimintaanalyyttinen, jonka lisäksi tutkimus sisältää konstruktiivisen ja kvalitatiivisen tutkimusotteen piirteitä. Tutkimuksen tuloksia arvioitaessa havaitaan, että valitut mittarit ovat kiinteästi sidoksissa projektinhallintaprosessin kriittisiin menestystekijöihin. Kriittiset menestystekijät puolestaan valittiin tunnistetuista menestystekijöistä, jotka määriteltiin yrityksen strategiaan ja visioon perustuen. Mittariston tasapainoisuus näkyy aineettoman ja aineellisen pääoman mittareiden välillä kattaen samalla tasapainon ennakoivien ja seurausmittareiden kesken. Haasteellisinta oli projektinhallintaprosessin aineettoman pääoman mittaaminen, jota ei aikaisemmin ole mitattu. Aineettoman pääoman mittaaminen tasapainoisen mittariston viitekehyksessä on mahdollista, mutta vaatii organisaation ymmärryksen miksi aineetonta pääomaa mitataan ja miten se vaikuttaa kokonaisvaltaiseen suorituskykyyn.

Conference Proceedings. Academic Mobility Blending Perspectives - Mobilité Académique Perspectives croisées

Les 21, 22 et 23 septembre 2006, le Département d’Études Françaises de l’Université de Turku (Finlande) a organisé une conférence internationale et bilingue (anglais et français) sur le thème de la mobilité académique ; le but de cette rencontre était de rendre possible la tenue d’un forum international et multidisciplinaire, susceptible d’être le siège de divers débats entre les différents acteurs de la mobilité académique (c’estàdire des étudiants, des chercheurs, des personnels enseignants et administratifs, etc.). Ainsi, ont été mis à contribution plus de cinquante intervenants, (tous issus de domaines aussi variés que la linguistique, les sciences de l’éducation, la didactique, l’anthropologie, la sociologie, la psychologie, l’histoire, la géographie, etc.) ainsi que cinq intervenants renommés1. La plupart des thèmes traités durant la conférence couvraient les champs suivants : l’organisation de la mobilité, les obstacles rencontrés par les candidats à la mobilité, l’intégration des étudiants en situation d’échange, le développement des programmes d’études, la mobilité virtuelle, l’apprentissage et l’enseignement des langues, la prise de cosncience interculturelle, le développement des compétences, la perception du système de mobilité académique et ses impacts sur la mobilité effective. L’intérêt du travail réalisé durant la conférence réside notamment dans le fait qu’il ne concentre pas uniquement des perspectives d’étudiants internationaux et en situation d’échange (comme c’est le cas de la plupart des travaux de recherche déjà menés sur ce sujet), mais aussi ceux d’autres corps : enseignants, chercheurs, etc. La contribution suivante contient un premier corpus de dixsept articles, répartis en trois sections : 1. Impacts de la mobilité étudiante ; 2. Formation en langues ; 3. Amélioration de la mobilité académique. À l’image de la conférence, la production qui suit est bilingue : huit des articles sont rédigés en français, et les neuf autres en anglais. Certains auteurs n’ont pas pu assister à la conférence mais ont tout de même souhaité apparaître dans cet ouvrage. Dans la première section de l’ouvrage, Sandrine Billaud tâche de mettre à jour les principaux obstacles à la mobilité étudiante en France (logement, organisation des universités, démarches administratives), et propose à ce sujet quelques pistes d’amélioration. Vient ensuite un article de Dominique Ulma, laquelle se penche sur la mobilité académique régnant au sein des Instituts Universitaires de Formation des Maîtres (IUFM) ; elle s’est tout particulièrement concentrée sur l’enthousiasme des stagiaires visàvis de la mobilité, et sur les bénéfices qu’apporte la mobilité Erasmus à ce type précis d’étudiant. Ensuite, dans un troisième article, Magali Hardoin s’interroge sur les potentialités éducationnelles de la mobilité des enseignantsstagiaires, et tâche de définir l’impact de celleci sur la construction de leur profil professionnel. Après cela arrive un groupe de trois articles, tous réalisés à bases d’observations faites dans l’enseignement supérieur espagnol, et qui traitent respectivement de la portée qu’a le programme de triple formation en langues européennes appliquées pour les étudiants en mobilité (Marián MorónMartín), des conséquences qu’occasionne la présence d’étudiants étrangers dans les classes de traductions (Dimitra Tsokaktsidu), et des réalités de l’intégration sur un campus espagnol d’étudiants américains en situation d’échange (Guadalupe Soriano Barabino). Le dernier article de la section, issu d’une étude sur la situation dans les institutions japonaises, fait état de la situation des programmes de doubles diplômes existant entre des établissements japonais et étrangers, et tente de voir quel est l’impact exact de tels programmes pour les institutions japonaises (Mihoko Teshigawara, Riichi Murakami and Yoneo Yano). La seconde section est elle consacrée à la relation entre apprentissage et enseignement des langues et mobilité académique. Dans un premier article, Martine Eisenbeis s’intéresse à des modules multimédia réalisés à base du film « L’auberge espagnole », de Cédric Klapish (2001), et destinés aux étudiants en mobilité désireux d’apprendre et/ou améliorer leur français par des méthodes moins classiques. Viennent ensuite les articles de Jeanine Gerbault et Sabine Ylönen, lesquels traitent d’un projet européen visant à supporter la mobilité étudiante par la création d’un programme multimédia de formation linguistique et culturelle pour les étudiants en situation de mobilité (le nom du projet est EUROMOBIL). Ensuite, un article de Pascal Schaller s’intéresse aux différents types d’activités que les étudiants en séjour à l’étranger expérimentent dans le cadre de leur formation en langue. Enfin, la section s’achève avec une contribution de Patricia KohlerBally, consacrée à un programme bilingue coordonné par l’Université de Fribourg (Suisse). La troisième et dernière section propose quelques pistes de réflexion destinées à améliorer la mobilité académique des étudiants et des enseignants ; dans ce cadre seront donc évoquées les questions de l’égalité face à la mobilité étudiante, de la préparation nécessitée par celleci, et de la prise de conscience interculturelle. Dans un premier chapitre, Javier Mato et Bego

Smart homes as service platforms. Research report of ÄLYKOP sub-project “Competitive advantage from customer value”

In this report, we summarize results of our part of the ÄLYKOP-project on customer value creation in the intersection of the health care, ICT, forest and energy industries. The research directs to describe how industry transformation and convergence create new possibilities, business opportunities and even new industries.The report consists of findings which are presented former in academic publications. The publication discusses on customer value, service provision and resource basis of the novel concepts through multiple theorethical frameworks. The report is divided into three maim sections which are theoretical background, discussion on health care industry and evaluations regarding novel smart home concepts. Transaction cost economics and Resource- Based view on the firm provides the theoretical basis to analyze the prescribed phenomena. The health care industry analysis describes the most important changes in the demand conditions of health care services, and explores the features that are likely to open new business opportunities for a solution provider. The third part of the report on the smart home business provides illustrations few potential concepts that can be considered to provide solutions to economical problems which arise from aging of population. The results provide several recommendations for the smart home platform developers in public and private sectors. By the analysis, public organizations dominate service provision and private markets are emergent state at present. We argue that public-private partnerships are nececssary for creating key suppliers. Indeed, paying attion on appropriate regulation, service specifications and technology standards would foster diffusion of new services. The dynamics of the service provision networks is driven by need for new capabiltities which are required for adapting business concepts to new competitive situation. Finally, the smart home framework revealed links between conventionally distant business areas such as health care and energy distribution. The platform integrates functionalities different for purposes which however apply same resource basis.

Ryhmätyöskentelytyökalun pilotointi kuntaorganisaatiossa

Ryhmätyöskentelytyökalujen käyttö yleistyy yhä enemmän organisaatioissa niin julkisella kuin yksityisellä sektorilla. Uusien työkalujen avulla saadaan tehostettua työskentelyä ja saadaan rakennettua organisaatiolle entistä vahvempaa suorituskykyä ja kilpailukykyä. Tämän tutkimuksen päätavoite on ymmärtää ryhmätyöskentelyvälineen toiminnallisuuksia ja sopivuutta organisaatiolle sekä kuinka projektiryhmä toimii työkalun avulla. Tavoitteena on myös löytää vastauksia ryhmätyöskentelyvälineen vaikutuksista organisaatioihin tulevaisuudessa ja kehitysprojekteihin. Tutkimuksen aineisto perustuu osallistuvaan havainnointiin, työpajasta saatuun materiaaliin sekä kyselyyn, joka tehtiin ryhmätyöskentelytyökalun avulla. Tulosten perusteella voidaan päätellä, että tämäntyylinen ryhmätyöskentely sopivat erinomaisesti hankkeiden ja projektien työkaluksi. Työkalun monipuolisuus yllätti projektiin osallistuneet. Työkalussa olevat perusdokumenttienhallinta, ryhmätyöskentely ja oma sivusto soveltuvat erinomaisesti eri toimialojen käyttöön.

Mental Well-being at Work. A Sign of a Healthy Organisation and a Necessary Precondition for Organisational Development

One of the aims of the study was to clarify the reliability and validity of the Job Diagnostic Survey (JDS) and the Eigenzustand (EZ) method as measures of the objective characteristics of work and short-term mental work load in the Finnish data. The reliability and validity were examined taking into consideration the theoretical backgrounds of the methods and the reliability of the measurements. The methods were used for finding out the preconditions for organisational development based on self-improvement and clarifying the impacts of working environment (organisational functioning and job characteristics) on a worker’s mental state and health. The influences were examined on a general level - regardless of individual personal or specific contextual factors. One aim was also to clarify how cognitions and emotions are intertwined and how they influence a person’s perception of the working environment. The data consisted of 15 blue-collar organisations in the public sector. The organisations were divided in target and comparison groups depending on the research frames. The data was collected by questionnaires by post. The exploratory and confirmatory factor analyses (Lisrel) were used as the main statistical methods in examining the structures of the methods and impacts between the variables. It was shown that it is possible for organisations to develop their working conditions themselves on specific preconditions. The advance of the development processes could be shown by the amount of the development activity as well as by the changes of the mental well-being (ability to act) and sick absenteeism of the personnel. It was found that the JDS and the EZ methods were reliable and valid measures in the Finnish data. It was shown that, in addition to the objective working environment (organisational functioning and job characteristics), also such a personal factor as selfesteem influences a person’s perception of mental work load. However, the influence did not seem to be direct. The importance of job satisfaction as a general indicator of perceived working conditions was emphasised. Emotional and cognitive factors were found to be functionally intertwined constituting a common factor. Organisational functioning and the characteristics of work had connections with a person’s health measured by sick absenteeism.

Effectiveness of Pilotage

The objective of the pilotage effectiveness study was to come up with a process descrip-tion of the pilotage procedure, to design performance indicators based on this process description, to be used by Finnpilot, and to work out a preliminary plan for the imple-mentation of the indicators within the Finnpilot organisation. The theoretical aspects of pilotage as well as the guidelines and standards used were determined through a literature review. Based on the literature review, a process flow model with the following phases was created: the planning of pilotage, the start of pilo-tage, the act of pilotage, the end of pilotage and the closing of pilotage. The model based on the literature review was tested through interviews and observation of pilotage. At the same time an e-mail survey directed at foreign pilotage organisations, which included a questionnaire concerning their standards and management systems, operations procedures, measurement tools and their attitude to the passage planning, was conducted. The main issues in the observations and interviews were the passage plan and the bridge team co-operation. The phases of the pilotage process model emerged in both the pilotage activities and the interviews whereas bridge team co-operation was relatively marginal. Most of the pilotage organisations, who responded to the query, also use some standard-based management system. All organisations who answered the survey use some sort of a pilotage process model. According to the query, the main measuring tools for pilotage are statistical information concerning pilotage and the organisations, the customer feedback surveys, and financial results. Attitudes to-wards passage planning were mostly positive among the organisations. A workshop with pilotage experts was arranged where the process model constructed on the basis of the literature review was tuned to match practical pilotage. In the workshop it was determined that certain phases and the corresponding tasks, through which pilo-tage can be described as a process, were identifiable in all pilotage. The result of the workshop was a complemented process model, which separates incoming and outgoing traffic, as well as the fairway pilotage and harbour pilotage from each other. Addition-ally indicators divided according to the data gathering method were defined. Data con-cerning safety and traffic flow is gathered in the form of customer feedback. The pilot's own perceptions of the pilotage process are gathered through self-assessment. The measurement data which is connected to the phases of the pilotage process is generated e.g. by gathering statistics of the success of the pilot dispatches, the accuracy of the pi-lotage and the incidents that occurred during the pilotage, near misses, deviations and accidents. The measurement data is collected via the PilotWeb at the closing of the pilo-tage. A separate project and a project group with pilots also participating will be established for the deployment of the performance indicators. The phases of the project are: the definition phase, the implementation phase and the deployment phase. The purpose of the definition phase is to prepare questions for ship commanders concerning the cus-tomer feedback questionnaire and also to work out the self-assessment queries and the queries concerning the process indicators.

Creating possibilities for collective creativity : Brokerage Functions in Practice-Based Innovation

In the network era, creative achievements like innovations are more and more often created in interaction among different actors. The complexity of today‘s problems transcends the individual human mind, requiring not only individual but also collective creativity. In collective creativity, it is impossible to trace the source of new ideas to an individual. Instead, creative activity emerges from the collaboration and contribution of many individuals, thereby blurring the contribution of specific individuals in creating ideas. Collective creativity is often associated with diversity of knowledge, skills, experiences and perspectives. Collaboration between diverse actors thus triggers creativity and gives possibilities for collective creativity. This dissertation investigates collective creativity in the context of practice-based innovation. Practice-based innovation processes are triggered by problem setting in a practical context and conducted in non-linear processes utilising scientific and practical knowledge production and creation in cross-disciplinary innovation networks. In these networks diversity or distances between innovation actors are essential. Innovation potential may be found in exploiting different kinds of distances. This dissertation presents different kinds of distances, such as cognitive, functional and organisational which could be considered as sources of creativity and thus innovation. However, formation and functioning of these kinds of innovation networks can be problematic. Distances between innovating actors may be so great that a special interpretation function is needed – that is, brokerage. This dissertation defines factors that enhance collective creativity in practice-based innovation and especially in the fuzzy front end phase of innovation processes. The first objective of this dissertation is to study individual and collective creativity at the employee level and identify those factors that support individual and collective creativity in the organisation. The second objective is to study how organisations use external knowledge to support collective creativity in their innovation processes in open multi-actor innovation. The third objective is to define how brokerage functions create possibilities for collective creativity especially in the context of practice-based innovation. The research objectives have been studied through five substudies using a case-study strategy. Each substudy highlights various aspects of creativity and collective creativity. The empirical data consist of materials from innovation projects arranged in the Lahti region, Finland, or materials from the development of innovation methods in the Lahti region. The Lahti region has been chosen as the research context because the innovation policy of the region emphasises especially the promotion of practice-based innovations. The results of this dissertation indicate that all possibilities of collective creativity are not utilised in internal operations of organisations. The dissertation introduces several factors that could support collective creativity in organisations. However, creativity as a social construct is understood and experienced differently in different organisations, and these differences should be taken into account when supporting creativity in organisations. The increasing complexity of most potential innovations requires collaborative creative efforts that often exceed the boundaries of the organisation and call for the involvement of external expertise. In practice-based innovation different distances are considered as sources of creativity. This dissertation gives practical implications on how it is possible to exploit different kinds of distances knowingly. It underlines especially the importance of brokerage functions in open, practice-based innovation in order to create possibilities for collective creativity. As a contribution of this dissertation, a model of brokerage functions in practice-based innovation is formulated. According to the model, the results and success of brokerage functions are based on the context of brokerage as well as the roles, tasks, skills and capabilities of brokers. The brokerage functions in practice-based innovation are also possible to divide into social and cognitive brokerage.

Development of a project control procedure

The aim of this study is to develop a suitable project control procedure for a target company that can be used in engineering, procurement, and construction or con-struction management contracts. This procedure contains suitable project control software and a model for the use of the software in practice. This study is divided into two main sections. Theoretical part deals with project management, focusing on cost and time dimensions in projects. Empirical part deals with the development of the project control procedure for the target compa-ny. This development takes place in two parts. In the first part, semi-structured interviews are used to find out the company’s employees’ demands and desires for the project control software which will then be used in the developed procedure. These demands and desires are compared to available software in the market and the most suitable one will be chosen. Interview results show that important factors are cost tracking, integration with other software, English language availability, references, helpdesk, and no need for regular updates. The most suitable one is CMPro5 cost control software. The chosen software is used in a pilot project, where its functions and use are analyzed. Project control procedure which will be used in the future is developed based on these procedures. The five steps in developed procedure include employment of a cost engineer, whose task is to maintain the procedure in the target company.

Helsingin seudun liikenteenhallinnan kärkihankkeiden päivitys 2011

Työn tavoitteena oli kokonaisnäkemyksen luominen Helsingin seudun liikenteenhallinnan tilasta ja kehitysnäkymistä sekä seuraavien tärkeimpien kehittämispolkujen tunnistaminen ja konkretisointi toimenpiteiksi. Työssä keskityttiin seuraaviin painopistealueisiin 1. Liityntäpysäköinnin informaation ja maksujärjestelmien kehittäminen 2. Liikenteenhallintakeskuksen toiminnan kehittäminen ja laajentaminen 3. Liikennejärjestelmän reaaliaikainen tilannekuva ja lyhyen aikavälin ennusteet 4. Pääkaupunkiseudun pääväylien ruuhkien ja häiriöiden hallinta 5. Joukkoliikenteen ajantasaisen matkustajainformaation kehittäminen. Työssä laadittiin katsaus kullakin painopistealueella jo tapahtuneeseen sekä käynnissä olevaan kehitystyöhön, kuvattiin esiin nousseita ongelmia ja laadittiin esitys vuoteen 2020 ulottuvasta toiminnallisesta tavoitetilasta sekä konkreettisista kehittämistoimista. Työssä järjestettiin myös tulevaisuustyöpaja, johon pyydettiin alustuksia valikoiduilta viranomaistahoilta, tutkijoilta ja palveluntuottajilta. Näiden keskustelujen kautta kirkastettiin seudun toimijoiden näkemystä älyliikenteen toimialan kehitysnäkymistä ja –tarpeista. Työn lopputuloksena syntyneeseen toimenpideohjelmaan kirjattiin yhteensä 30 hanketta. Näistä viisi hanketta valittiin työpajatyöskentelyn kautta varsinaisiksi kärkihankkeiksi, joiden toteutus on kriittistä liikkujien ja viranomaistyön palvelutason kannalta ja joka edellyttää usean toimijan yhteistyötä. Lisäksi tunnistettiin joukko seurattavia hankkeita. Valitut kärkihankkeet, käynnistämisen vastuutaho sekä tavoitteellinen käynnistysvuosi ovat seuraavat: 1. Liityntäpysäköinnin dynaamisen informaatiojärjestelmän pilotointi Hämeenlinnanväylän käytävässä Kehäradan asemilla (HSL 2012) 2. HSL:n alueen joukkoliikenteen häiriönhallinnan uudelleenorganisointi (HSL, Liikennevirasto 2012) 3. Seudullisen liikenteenhallintasuunnitelman laadinta verkollisen operoinnin kehittämiseksi häiriötilanteissa (ELY-keskus, Liikennevirasto 2013) 4. Reaaliaikaisen sujuvuustiedon tuottaminen ruuhkautuvalta pääkatu- ja alempiasteiselta maantieverkolta (Liikennevirasto, kunnat 2012) 5. Liikenteen vaihtuvan ohjauksen ja tiedottamisen hyödyntäminen pääväylien ruuhkautumisen ja häiriöiden hallinnassa. (ELY-keskus 2012) Kärkihankkeisiin ei liity sellaisia riippuvuuksia, että niitä ei voitaisi käynnistää ennen päätöksentekoa jostakin muusta investoinnista. Merkittävimmät riippuvuudet liittyvät LIJ2014-järjestelmän ajoneuvojen paikannuksen ja muiden työkalujen valmistumiseen. Johtoryhmän linjauksen mukaan kärkihankkeissa ja muissakin toimijoiden omissa hankkeissa syntyvien tietojärjestelmien rajapinnat avataan soveltuvasti kaupallisten toimijoiden käyttöön, jolloin syntyvien kaupallisten loppukäyttäjäpalveluiden kautta voidaan parantaa tietopalvelujen tavoittavuutta. Kärkihankkeiden valinta ja sisältö on rakennettu pitkälti sen lähtökohdan varaan, että liikenteen tietopalveluissa julkistoimijoiden roolina on pääasiassa lähtötietojen tuottaminen ja jakaminen varsinaisille palveluntuottajille. Vuoteen 2016 mennessä uusien rajapintojen kautta jaettavien tietojen määrä on nykyiseen verrattuna huomattavasti laajempi, ja odotukset uusien ja innovatiivisten palvelujen syntymiselle ovat korkeat. HLH-johtoryhmä nimeää jokaisen kärkihankkeen läpiviennistä vastaavan työryhmän, joiden työskentelyä ohjataan nykyisen kaltaisessa johtoryhmätyössä. Johtoryhmätyön organisointi on todettu toimivaksi, sillä ryhmä koostuu seudun 14 kunnan alueen keskeisistä julkisista toimijoista ja sen kautta on olemassa vahvat kytkennät sekä seudun liikennejärjestelmätyöhön (HLJ) että valtakunnalliseen älyliikenteen kehitystyöhön.

Integration in project business : mechanisms for integrating customers and the project network during the life-cycle of industrial projects

This thesis focuses on integration in project business, i.e. how projectbased companies organize their product and process structures when they deliver industrial solutions to their customers. The customers that invest in these solutions run their businesses in different geographical, political and economical environments, which should be acknowledged by the supplier when providing solutions comprising of larger and more complex scopes than previously supplied to these customers. This means that the suppliers are increasing their supply range by taking over some of the activities in the value chain that have traditionally been handled by the customer. In order to be able to provide the functioning solutions, including more engineering hours, technical equipment and a wider project network, a change is needed in the mindset in order to be able to carry out and take the required responsibility that these new approaches bring. For the supplier it is important to be able to integrate technical products, systems and services, but the supplier also needs to have the capabilities to integrate the cross-functional organizations and departments in the project network, the knowledge and information between and within these organizations and departments, along with inputs from the customer into the product and process structures during the lifecycle of the project under development. Hence, the main objective of this thesis is to explore the challenges of integration that industrial projects meet, and based on that, to suggest a concept of how to manage integration in project business by making use of integration mechanisms. Integration is considered the essential process for accomplishing an industrial project, whereas the accomplishment of the industrial project is considered to be the result of the integration. The thesis consists of an extended summary and four papers, that are based on three studies in which integration mechanisms for value creation in industrial project networks and the management of integration in project business have been explored. The research is based on an inductive approach where in particular the design, commissioning and operations functions of industrial projects have been studied, addressing entire project life-cycles. The studies have been conducted in the shipbuilding and power generation industries where the scopes of supply consist of stand-alone equipment, equipment and engineering, and turnkey solutions. These industrial solutions include demanding efforts in engineering and organization. Addressing the calls for more studies on the evolving value chains of integrated solutions, mechanisms for inter- and intra-organizational integration and subsequent value creation in project networks have been explored. The research results in thirteen integration mechanisms and a typology for integration is proposed. Managing integration consists of integrating the project network (the supplier and the sub-suppliers) and the customer (the customer’s business purpose, operations environment and the end-user) into the project by making use of integration mechanisms. The findings bring new insight into research on industrial project business by proposing integration of technology and engineering related elements with elements related to customer oriented business performance in contemporary project environments. Thirteen mechanisms for combining products and the processes needed to deliver projects are described and categorized according to the impact that they have on the management of knowledge and information. These mechanisms directly relate to the performance of the supplier, and consequently to the functioning of the solution that the project provides. This thesis offers ways to promote integration of knowledge and information during the lifecycle of industrial projects, enhancing the development towards innovative solutions in project business.

De-escalation of commitment management strategy in IT project management methodology: case of ERP implementation project by IT consulting company

According to several surveys and observations, the percentage of successfully conducted IT projects without over-budgeting and delays in time schedule are extremely low. Many projects also are evaluated as failures in terms of delivered functionality. Nuldén (1996) compares IT projects with bad movies; after watching for 2 hours, one still tries to finish it even though one understands that it is a complete waste of time. The argument for that is 'I've already invested too much time to terminate it now'. The same happens with IT projects: sometimes the company continues wasting money on these projects for a long time, even though there are no expected benefits from these projects. Eventually these projects are terminated anyway, but until this moment, the company spends a lot. The situation described above is a consequence of “escalation of commitment” - project continuation even after a manager receives negative feedback of the project’s success probability. According to Keil and Mähring (2010), even though escalation can occur in any type of project, it is more common among complex technological projects, such as IT projects. Escalation of commitment very often results in runaway projects. In order to avoid it, managers use de-escalation strategies, which allow the resources to be used in more effective. These strategies lead to project termination or turning around, which stops the flow of wasted investments. Numbers of researches explore escalation of commitment phenomena based on experiments and business cases. Moreover, during the last decade several frameworks were proposed for de-escalation strategy. However, there is no evidence of successful implementation of the de-escalation of commitment strategy in the literature. In addition, despite that fact that IT project management methodologies are widely used in the companies, none of them cover the topic of escalation of commitment risks. At the same time, there are no researches proposing the way to implement de-escalation of commitment strategy into the existing project management methodology The research is focused on a single case of large ERP implementation project by the consulting company. Hence, the main deliverables of the study include suggestions of improvement in de-escalation methods and techniques in the project and in the company. Moreover, the way to implement these methods into existing project management methodology and into the company general policies is found.