MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Should optional properties be used in conceptual modelling? A theory and three empirical tests

An important feature of some conceptual modelling grammars is the features they provide to allow database designers to show real-world things may or may not possess a particular attribute or relationship. In the entity-relationship model, for example, the fact that a thing may not possess an attribute can be represented by using a special symbol to indicate that the attribute is optional. Similarly, the fact that a thing may or may not be involved in a relationship can be represented by showing the minimum cardinality of the relationship as zero. Whether these practices should be followed, however, is a contentious issue. An alternative approach is to eliminate optional attributes and relationships from conceptual schema diagrams by using subtypes that have only mandatory attributes and relationships. In this paper, we first present a theory that led us to predict that optional attributes and relationships should be used in conceptual schema diagrams only when users of the diagrams require a surface-level understanding of the domain being represented by the diagrams. When users require a deep-level understanding, however, optional attributes and relationships should not be used because they undermine users' abilities to grasp important domain semantics. We describe three experiments which we then undertook to test our predictions. The results of the experiments support our predictions.

Conceptual modelling and ontology: Possibilities and pitfalls

Conceptual modelling is an activity undertaken during information systems development work to build a representation of selected semantics about some real-world domain. Ontological theories have been developed to account for the structure and behavior of the real world in general. In this paper, I discuss why ontological theories can be used to inform conceptual modelling research, practice, and pedagogy. I provide examples from my research to illustrate how a particular ontological theory has enabled me to improve my understanding of certain conceptual modelling practices and grammars. I describe, also, how some colleagues and I have used this theory to generate several counter-intuitive, sometimes surprising predictions about widely advocated conceptual modelling practices - predictions that subsequently were supported in empirical research we undertook. Finally, I discuss several possibilities and pitfalls I perceived to be associated with our using ontological theories to underpin research on conceptual modelling.

Procurement in Project Implementation

Tutkimus keskittyy hankintatoimen kehittämiseen osana laitosprojektien toteutusta. Työ pohjautuu empiiriseltä taustaltaan Pöyry Oyj:n projektiliiketoimintaan ja työn tarkastelunäkökulmaksi onvalittu projektihallinnosta vastaavan yrityksen näkökulma. Tutkimus on hyvin käytännönläheinen ¿ se lähtee hankinnan ja sen seurannan ongelmista ja pyrkii tarjoamaan niihin uudenlaisia ratkaisuja. Pohjimmiltaan tutkimus kuuluu teollisuustalouden piiriin, vaikka tietojärjestelmätieteellä on vahva tukirooli. Työn tavoitteet ja tulokset liittyvät teollisuustaloudelle ominaisesti yrityksen toiminnan kehittämiseen, käytetyt välineet ja ratkaisut puolestaan hyödyntävät tietojärjestelmätieteen antamia mahdollisuuksia. Tutkimuksessa on käytetty konstruktiivista tutkimusotetta, jonka mukaisesti on luotu innovatiivisia konstruktioita ratkaisemaan aitoja reaalimaailman ongelmia ja tätä kautta tuotettu kontribuutioita teollisuustaloudelle. Tavoitteena oli järjestää hankintatoimi ja sen seuranta suurissa laitosprojekteissa tehokkaammin. Tätä varten uudistettiin ensin projektihallinnon ja hankintatoimen toimintaohjeet vastaamaan paremmin nykyajan vaatimuksia. Toimintaohjeiden perusteella ryhdyttiin toteuttamaan hankintaohjelmistoa, joka pystyisi kattamaan kaikki toimintaohjeissa kuvatut piirteet. Lopulta hankintaohjelmisto toi mukanaan uusia piirteitä projektihallintoon ja hankintatoimeen ja nämä sisällytettiin toimintaohjeisiin. Tähän kehitystyöhön ryhdyttiin, jotta laitosprojektien projektihallinto ja hankintatoimi toimisivat paremmin, eli pienemmin kustannuksin tuottaen projekteissa tarvittavat tulokset nopeammin, tarkemmin ja laadukkaammin. Tutkimuksella on kolmenlaisia tuloksia: hankintatoimen parannetut metodit, hankintaohjelmiston pohjana olevat toiminta- ja laskentamallit sekä implementaationa hankintasovellus. Uudistetut projekti- ja hankintaohjeet kuvaavat hankintatoiminnan parannettuja metodeja. Hankintaohjelmistoasuunnitellessa ja kehitettäessä tehdyt kuvaukset sisältävät uusia malleja niin hankintaprosessille kuin hankinnan seuraamiseksi suurissa laitosprojekteissa. Itse ohjelmisto on tuloksena implementaatio, joka perustuu parannettuihin hankintametodeihin ja uusiin toiminta- ja laskentamalleihin. Uudistetut projekti- ja hankintaohjeet ovat olleet käytössä Pöyry Oyj:ssä vuodesta 1991. Vuosien varrella nämä toimintaohjeet ovat auttaneet ja tukeneet satojen laitosprojektientoteutusta ja ylläpitäneet Pöyry Oyj:n kilpailukykyä kansainvälisenä projektitalona. Hankintasovellus puolestaan on ollut käytössä useissa projekteissa ja sen on havaittu pienentävän hankintatoimen suoria työkustannuksia laitosprojekteissa. Sovelluksen katsotaan myös tuovan epäsuoria kustannussäästöjä parempien hankintapäätösten muodossa, mutta näiden säästöjen suuruutta ei pystytä luotettavasti arvioimaan.

Markkinoinnin seuranta - Case Telia Finland

Tutkimuksen tavoitteena oli selvittää, miten järjestetään yritysmarkkinoinnin seurantamalli sekä seurannan tietojärjestelmätuki. Erityistä huomiota kiinnitettiin markkinoinnin seurannan ja liiketoimintastrategian kytkökseen. Tutkimusmenetelmänä käytettiin case-tutkimusta. Käsittely oli lineaaris-analyyttinen. Markkinoinnin seurannan tietojärjestelmätuen kehittämisen osalta tutkimus omaa myös jonkin verran systeemianalyyttisiä piirteitä. Case-tutkimuksen tiedonhankinnassa käytettiin yrityksen markkinointihenkilöille jaettua kyselytutkimusta. Markkinoinnin seuranta jaoteltiin strategisen tason ja operatiivisen tason seurantaan. Tutkimuksessa todettiin, että liiketoiminnan kilpailuympäristö, valittu kilpailustrategia ja yrityksen elinkaariasema vaikuttavat liiketoimintastrategiaan ja sitä kautta markkinoinnin seurannan järjestämiseen ja että markkinoinnin strategisen tason seurannan tavoitteena on varmistaa, että markkinointitoiminta toteuttaa valittua liiketoimintastrategiaa. Markkinoinnin operatiivisen tason seurannan tehtäväksi todettiin yrityksen markkinointitoiminnan myynnillisten sekä taloudellisten tulosten, sekä kannattavuuden ja tehokkuuden seuranta ja raportointi. Yritysmarkkinoinnin strategisen tason seurantaan soveltuu parhaiten eteenpäinkytkentäinen, tavoiteltavia tuloksia edeltävien muutosten seurantaan keskittyvä malli. Markkinoinnin operatiiivisen tason seurantaan soveltuu laajan markkinoinnin seurannan perusmittariston sisältävä malli, jolla voidaan palvella nykyisiä seurannan tarpeita ja laatia tarvittaessa uusia seurantakokonaisuuksia. Yritysmarkkinoinnin seurannan tietojärjestelmätuen järjestämiseen soveltuu parhaiten asiakastietokantapohjainen tietojärjestelmämalli. Näin voidaan hallita asiakkaaseen kohdistetut markkinointitoimenpiteet sekä niiden seuranta. Case-tutkimus vahvisti tarpeen kehittää kokonaisvaltainen suunnitelma markkinoinnin strategisen ja operatiivisen tason seurannasta sekä sitä tukevista tietojärjestelmistä. Ilman kokonaissunnitelmaa seuranta muodostuu organisaatioyksiköittäin ja seuranta-alueittain epätasaiseksi, eikä yrityksen asemasta markkinoilla ole muodostettavissa kokonaiskuvaa.

Liiketoimintastrategisten vaatimusten syntyminen ja niiden toteutumisen arviointi keskisuurten yritysten toiminnanohjausjärjestelmähankkeissa. Tapaustutkimus kolmesta teollisuusyrityksestä ja aineistolähtöinen teoria

Tietojärjestelmien strateginen kehittäminen on ollut niin liike-elämän kiinnostuksen kuin akateemisen tutkimuksenkin kohteena jo pitkään. Aihe on edelleen ajankohtainen, eikä ajankohtaisuus osoita laantumisen merkkejä. Valtaosa tutkimuksesta on kohdistunut suuryrityksiin ja jonkin verran pk-yrityksiin yhtenä ryhmänä. Tutkimus on kohdistunut aiheeseen tarkastelemalla onko tietojärjestelmien ja liiketoimintastrategian välillä yhteyttä, ja jos, onko sillä merkitystä yrityksen menestykselle. Tämän tutkimuksen tavoitteena oli pureutua syvemmälle siihen tapaan, jolla yritys kytkee liiketoimintastrategiansa tietojärjestelmähankintaan. Kohdetietojärjestelmäksi tutkimuksessa valittiin toiminnanohjausjärjestelmät ja yrityskooksi keskisuuret yritykset. Toiminnanohjausjärjestelmän valintaa voidaan perustella sen kattavuudella yrityksen toiminnassa eri sidosryhmien suunnasta katsottaessa. Keskisuuret yritykset valittiin osittain sen vuoksi, koska niistä ei ole paljoakaan omaa tutkimusta, osittain sen vuoksi, että niiden luonne kehityspolun epäjatkumokohdassa haluttiin nostaa esille. Tutkimuksen empiirinen osa pohjautuu kolmeen tutkimustapaukseen, kolmen keskisuuren yrityksen toiminnanohjaushankkeeseen. Tapausyritysten liiketoiminta- ja ITjohtoa haastateltiin, ja lisäksi käytettiin kaikkea saataville ollutta kirjallista arkistoaineistoa. Tutkimuksen päämenetelmä oli Grounded Theory (GT). Tutkimustavassa ei, poiketen useista muista laadullisista tutkimustavoista, ole ennalta määrättyä viitekehystä, vaan tutkimus lähtee liikkeelle ns. puhtaalta pöydältä ilman esioletuksia luoden tutkimusprosessin kuluessa uutta teoriaa. Tutkimustavan etuna voidaan pitää ennakkoluulottomuutta. Aikaisemman tutkimuksen rooli tässä tutkimuksessa oli ensinnäkin kartoittaa tutkimusaluetta ja olla johdantona tutkimukselle, toisaalta tuloksia vertailtiin aikaisempaan tutkimukseen. Tutkimusaineisto analysoitiin tarkasti. Ensin aineisto käytiin läpi koodaamalla se aineistosta esille nousseiden käsitteiden alle. Seuraavaksi saatu tulos luokiteltiin aineistosta nousseisiin luokkiin sekä muodostettiin käsitteiden ja luokkien väliset yhteydet. Lopuksi muodostumassa oleva teoria konkretisoitiin 18 hypoteesin ja hypoteesit yhdistävän mallin avulla. Tutkimuksessa saatiin uutta tietoa siitä, miten vaatimusprosessi etenee ja miten keskisuuren yrityksen ominaispiirteet vaikuttavat vaatimusprosessiin. Lisäksi saatiin uutta tietoa siitä, mitkä ovat kriittisiä menestystekijöitä keskisuuren yrityksen toiminnanohjaushankkeessa. Keskisuuretyritykset näyttävät tämän tutkimuksen aineiston perusteella osaavan asettaa vaatimuksia toiminnanohjausjärjestelmälle liiketoimintastrategian, prosessikuvausten ja toiminnanohjausjärjestelmien tarjoamien mahdollisuuksien suunnista. Vaatimusten toteutumisenarviointi on keskisuurilla yrityksillä epäsystemaattista, kuten aikaisemmassa tutkimuksessa on todettu olevan myös suurilla yrityksillä. Resurssivaje vaikeuttaa toiminnanohjausjärjestelmän liiketoimintastrategisten vaatimusten toteutumista. Tutkimusaineiston perusteella voidaan päätellä, että keskisuurissa yrityksissä – huolimatta siitä, että niissä on olemassa prosessikuvaukset – ei ole varsinaista prosessiajattelua tai prosessijohtamista. Keskisuuret yritykset eivät tämän tutkimuksen aineiston perusteella näytä muodostavan poikkeusta, vaan mittariston käyttö on epäkypsää, eikä mittaristoa pystytä hyödyntämään tietojärjestelmähankkeen tukena. Tulosten pohjalta voidaan arvioida, että strategisen johtamisen komponentit ovat keskisuuressa yrityksessä toisistaan irrallisia. Vaikka toiminnanohjaushankkeen vaatimuksia asetettaessa liiketoimintastrategia on vahvasti mukana, jää vaatimuksenasettelu karkealle tasolle, eikä konkretisoidu prosesseihin ja mittarointiin. Sen seurauksena toiminnanohjausjärjestelmästä ei saada kaikkea sitä hyötyä ja tukea liiketoimintastrategialle, mikä olisi mahdollista. Tutkimuksessa tuli myös esille resurssi- ja osaamispuutteen haittavaikutuksia keskisuurten yritysten toiminnanohjaushankkeiden vaatimusprosessissa. Puutteet yhdistettynä hajallaan oleviin strategisen johtamisen komponentteihin muodostavat yhdessä vaikean lähtökohdan strategiselle toiminnanohjaushankkeelle.

Laadunhallintajärjestelmäprojektin suunnittelu ja projektiorganisaation toimintatapojen kartoittaminen

Tämän diplomityön tavoitteina oli luoda suunnitelma ISO 9001 ja 14001 -sertifikaatteihin oikeuttavalle laadunhallintajärjestelmälle ja luoda malli projektiorganisaation toiminnan mittaamiselle ja kehittämiselle. Lisäksi työn tarkoituksena oli luoda teoreettinen osaamispohja projektipäällikölle laadunhallintajärjestelmäprojektin läpiviemisen tueksi. Työssä perehdyttiin laadunhallinnan periaatteisiin, tietojärjestelmäprojektikehityksen elinkaareen, tietojärjestelmäprojektien kriittisiin menestystekijöihin ja itsearviointimallin laatimisperiaatteisiin. Diplomityön kanssa lomittain suoritetulle laadunhallintajärjestelmäprojektille parhaiten sopivat käytännöt tunnistettiin kirjallisuudesta sekä puolistrukturoidulla haastattelulla Volvo Finland Ab:n johdon edustajille. Työssä luodun suunnitelman mukainen laadunhallintajärjestelmä toteutettiin Volvo Finland Ab:lle yhdessä nelikymmenhenkisen projektiorganisaation kanssa. Projektin aikana tehdyn aktiivisen, osallistuvan havainnoinnin ja diplomityössä luodun itsearviointimallin perusteella kartoitettiin projektiorganisaatiolle parhaiten sopivat toimintamenetelmät. Toimintamenetelmäkartoituksen tuloksena todettiin, että organisaation tietotaito on vertikaalista ja tästä syystä resurssienhallinta nostettiin kriittisimmäksi elementiksi projektien onnistumisen kannalta. Resurssienhallinnan tueksi ehdotettiin Stage-Gate-mallia projektien läpiviemiseen. Mallin avulla voitaisiin resurssit hallitusti kohdistaa uudelleen projektin joka vaiheessa.

Colombia: manual del sistema; versión preliminar

Contiene la estructura del sistema destinado a recoger y almacenar datos sobre proyectos gubernamentales que permitan apoyar a los municipios, oficinas de planificación departamentales y a los consejos regionales de política económica y social en la labor de programación y seguimiento de inversiones a nivel municipal

Implementing balanced and restorative justice : victim, offender, community : a guide for law enforcement officers /

This publication is one in a series of guides designed to assist in the statewide promotion of balanced and restorative justice. BARJ is a philosophy of justice that can guide the work of individuals who deal with juvenile offenders, their victims, and the communities in which they live.

Implementing balanced and restorative justice : victim, offender, community : a guide for juvenile detention /

This publication is one in a series of guides designed to assist in the statewide promotion of balanced and restorative justice. BARJ is a philosophy of justice that can guide the work of individuals who deal with juvenile offenders, their victims, and the communities in which they live.

Cognitive fit between conceptual schemas and internal problem representations: The case of geospatio-temporal conceptual schema comprehension

Geospatio-temporal conceptual models provide a mechanism to explicitly represent geospatial and temporal aspects of applications. Such models, which focus on both what and when/where, need to be more expressive than conventional conceptual models (e.g., the ER model), which primarily focus on what is important for a given application. In this study, we view conceptual schema comprehension of geospatio-temporal data semantics in terms of matching the external problem representation (that is, the conceptual schema) to the problem-solving task (that is, syntactic and semantic comprehension tasks), an argument based on the theory of cognitive fit. Our theory suggests that an external problem representation that matches the problem solver's internal task representation will enhance performance, for example, in comprehending such schemas. To assess performance on geospatio-temporal schema comprehension tasks, we conducted a laboratory experiment using two semantically identical conceptual schemas, one of which mapped closely to the internal task representation while the other did not. As expected, we found that the geospatio-temporal conceptual schema that corresponded to the internal representation of the task enhanced the accuracy of schema comprehension; comprehension time was equivalent for both. Cognitive fit between the internal representation of the task and conceptual schemas with geospatio-temporal annotations was, therefore, manifested in accuracy of schema comprehension and not in time for problem solution. Our findings suggest that the annotated schemas facilitate understanding of data semantics represented on the schema.

Reflective web interface agent

Web interface agent is used with web browsers to assist users in searching and interactions with the WWW. It is used for a variety of purposes, such as web-enabled remote control, web interactive visualization, and e-commerce activities. User may be aware or unaware of its existence. The intelligence of interface agent consists in its capability of learning and decision-making in performing interactive functions on behalf of a user. However, since web is an open system environment, the reasoning mechanism in an agent should be able to adapt changes and make decisions on exceptional situations, and therefore use meta knowledge. This paper proposes a framework of Reflective Web Interface Agent (RWIA) that is to provide causal connections between the application interfaces and the knowledge model of the interface agent. A prototype is also implemented for the purpose of demonstration.