Quality Estimation of e-Learning Systems

Existing approaches to quality estimation of e-learning systems are analyzed. The “layered” approach for quality estimation of e-learning systems enhanced with learning process modeling and simulation is presented. The method of quality estimation using learning process modeling and quality criteria are suggested. The learning process model based on extended colored stochastic Petri net is described. The method has been implemented in the automated system of quality estimation of e-learning systems named “QuAdS”. Results of approbation of the developed method and quality criteria are shown. We argue that using learning process modeling for quality estimation simplifies identifying lacks of an e-learning system for an expert.

Business Modeling of the Application Architecture of the Bulgarian Folklore Artery

In an attempt to answer the need of wider accessibility and popularization of the treasury of Bulgarian folklore, a team from the Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences has planned to develop the Bulgarian folklore artery within the national project ―Knowledge Technologies for Creation of Digital Presentation and Significant Repositories of Folklore Heritage‖. This paper presents the process of business modeling of the application architecture of the Bulgarian folklore artery, which aids requirements analysis, application design and its software implementation. The folklore domain process model is made in the context of the target social applications—e-learning, virtual expositions of folklore artifacts, research, news, cultural/ethno-tourism, etc. The basic processes are analyzed and modeled and some inferences are made for the use cases and requirements specification of the Bulgarian folklore artery application. As a conclusion the application architecture of the Bulgarian folklore artery is presented.

Determinants of local government pension funding: Empirical evidence from Florida

The financial community is well aware that continued underfunding of state and local government pension plans poses many public policy and fiduciary management concerns. However, a well-defined theoretical rationale has not been developed to explain why and how public sector pension plans underfund. This study uses three methods: a survey of national pension experts, an incomplete covariance panel method, and field interviews.^ A survey of national public sector pension experts was conducted to provide a conceptual framework by which underfunding could be evaluated. Experts suggest that plan design, fiscal stress, and political culture factors impact underfunding. However, experts do not agree with previous research findings that unions actively pursue underfunding to secure current wage increases.^ Within the conceptual framework and determinants identified by experts, several empirical regularities are documented for the first time. Analysis of 173 local government pension plans, observed from 1987 to 1992, was conducted. Findings indicate that underfunding occurs in plans that have lower retirement ages, increased costs due to benefit enhancements, when the sponsor faces current year operating deficits, or when a local government relies heavily on inelastic revenue sources. Results also suggest that elected officials artificially inflate interest rate assumptions to reduce current pension costs, consequently shifting these costs to future generations. In concurrence with some experts there is no data to support the assumption that highly unionized employees secure more funding than less unionized employees.^ Empirical results provide satisfactory but not overwhelming statistical power, and only minor predictive capacity. To further explore why underfunding occurs, field interviews were carried out with 62 local government officials. Practitioners indicated that perceived fiscal stress, the willingness of policymakers to advance funding, bargaining strategies used by union officials, apathy by employees and retirees, pension board composition, and the level of influence by internal pension experts has an impact on funding outcomes.^ A pension funding process model was posited by triangulating the expert survey, empirical findings, and field survey results. The funding process model should help shape and refine our theoretical knowledge of state and local government pension underfunding in the future. ^

The politics of professional sports facility subsidies in Florida

Political leaders in urban settings regularly confront difficult decisions over how to distribute public funds. Those decisions may be even more controversial when they involve public subsidies of professional sports facilities. Yet, state and local governments in the United States have granted billions of dollars in financial and land-based subsidies for professional sports facilities over the past two decades, raising questions about how these types of corporate welfare decisions are made by local leaders. Scholarship on urban politics and community power suggests a number of theories to explain political influence. They include elitism, pluralism, political economy and growth machines, urban regimes, coalition theory, and minority empowerment. My hypothesis is that coalition theory, a theory that argues that public policy decisions are made by shifting, ad hoc alliances within a community, best describes these subsidy decisions. ^ To test this hypothesis I employ a public policy process model and develop a framework of variables that is used to methodically examine four sports facilities funding decisions in two Florida counties between 1977 and 1998: Joe Robbie Stadium and the American Airlines Arena in Miami-Dade, and the Ice Palace Arena and the Raymond James Stadium in Hillsborough County. The framework includes six variables that permit a rigorous examination of the actors involved in the decision, their interactions, and the political environment within which they operate. The variables are formal political structure, informal sector, subsidy proponents, subsidy opponents, public policy options, and public opinion. ^ This research rests on qualitative data gathered from interviews of public and private officials involved in subsidy decisions, public records, and media reports Employing a case study analysis, I offer a rich description of the decision making process to publicly fund sports stadiums and arenas in Florida. My findings confirm that the best theory to explain decisions to subsidize sports facilities is one in which short-term, temporary coalitions are formed to accomplish policy goals. ^

A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

A deontic analysis of inter -organizational control requirements

This research focuses on the design and verification of inter-organizational controls. Instead of looking at a documentary procedure, which is the flow of documents and data among the parties, the research examines the underlying deontic purpose of the procedure, the so-called deontic process, and identifies control requirements to secure this purpose. The vision of the research is a formal theory for streamlining bureaucracy in business and government procedures. ^ Underpinning most inter-organizational procedures are deontic relations, which are about rights and obligations of the parties. When all parties trust each other, they are willing to fulfill their obligations and honor the counter parties’ rights; thus controls may not be needed. The challenge is in cases where trust may not be assumed. In these cases, the parties need to rely on explicit controls to reduce their exposure to the risk of opportunism. However, at present there is no analytic approach or technique to determine which controls are needed for a given contracting or governance situation. ^ The research proposes a formal method for deriving inter-organizational control requirements based on static analysis of deontic relations and dynamic analysis of deontic changes. The formal method will take a deontic process model of an inter-organizational transaction and certain domain knowledge as inputs to automatically generate control requirements that a documentary procedure needs to satisfy in order to limit fraud potentials. The deliverables of the research include a formal representation namely Deontic Petri Nets that combine multiple modal logics and Petri nets for modeling deontic processes, a set of control principles that represent an initial formal theory on the relationships between deontic processes and documentary procedures, and a working prototype that uses model checking technique to identify fraud potentials in a deontic process and generate control requirements to limit them. Fourteen scenarios of two well-known international payment procedures—cash in advance and documentary credit—have been used to test the prototype. The results showed that all control requirements stipulated in these procedures could be derived automatically.^

Work Creativity as a Dimension of Job Performance

To stay competitive, many employers are looking for creative and innovative employees to add value to their organization. However, current models of job performance overlook creative performance as an important criterion to measure in the workplace. The purpose of this dissertation is to conduct two separate but related studies on creative performance that aim to provide support that creative performance should be included in models of job performance, and ultimately included in performance evaluations in organizations. Study 1 is a meta-analysis on the relationship between creative performance and task performance, and the relationship between creative performance and organizational citizenship behavior (OCB). Overall, I found support for a medium to large corrected correlation for both the creative performance-task performance (ρ = .51) and creative performance-OCB (ρ = .49) relationships. Further, I also found that both rating-source and study location were significant moderators. Study 2 is a process model that includes creative performance alongside task performance and OCB as the outcome variables. I test a model in which both individual differences (specifically: conscientiousness, extraversion, proactive personality, and self-efficacy) and job characteristics (autonomy, feedback, and supervisor support) predict creative performance, task performance, and OCB through engagement as a mediator. In a sample of 299 employed individuals, I found that all the individual differences and job characteristics were positively correlated with all three performance criteria. I also looked at these relationships in a multiple regression framework and most of the individual differences and job characteristics still predicted the performance criteria. In the mediation analyses, I found support for engagement as a significant mediator of the individual differences-performance and job characteristics-performance relationships. Taken together, Study 1 and Study 2 support the notion that creative performance should be included in models of job performance. Implications for both researchers and practitioners alike are discussed.

A Deontic Analysis of Inter-Organizational Control Requirements

This research focuses on the design and verification of inter-organizational controls. Instead of looking at a documentary procedure, which is the flow of documents and data among the parties, the research examines the underlying deontic purpose of the procedure, the so-called deontic process, and identifies control requirements to secure this purpose. The vision of the research is a formal theory for streamlining bureaucracy in business and government procedures. Underpinning most inter-organizational procedures are deontic relations, which are about rights and obligations of the parties. When all parties trust each other, they are willing to fulfill their obligations and honor the counter parties’ rights; thus controls may not be needed. The challenge is in cases where trust may not be assumed. In these cases, the parties need to rely on explicit controls to reduce their exposure to the risk of opportunism. However, at present there is no analytic approach or technique to determine which controls are needed for a given contracting or governance situation. The research proposes a formal method for deriving inter-organizational control requirements based on static analysis of deontic relations and dynamic analysis of deontic changes. The formal method will take a deontic process model of an inter-organizational transaction and certain domain knowledge as inputs to automatically generate control requirements that a documentary procedure needs to satisfy in order to limit fraud potentials. The deliverables of the research include a formal representation namely Deontic Petri Nets that combine multiple modal logics and Petri nets for modeling deontic processes, a set of control principles that represent an initial formal theory on the relationships between deontic processes and documentary procedures, and a working prototype that uses model checking technique to identify fraud potentials in a deontic process and generate control requirements to limit them. Fourteen scenarios of two well-known international payment procedures -- cash in advance and documentary credit -- have been used to test the prototype. The results showed that all control requirements stipulated in these procedures could be derived automatically.

« Utilisation des services de santé chez les personnes âgées : association avec la maladie chronique et l’incapacité »

Diverses publications soulignent l'augmentation de l'espérance de vie et avec elle, le vieillissement mondial de la population. Ce processus se poursuivra à l'avenir, ainsi que son influence sur l’incidence et la prévalence de l'incapacité. Chez les personnes âgées, l’incapacité, les maladies chroniques et leur association constituent un sujet important dans le domaine de la santé publique en raison de l'effet qu'ils ont sur la demande des services de santé. Le but de ce mémoire est d’examiner quelle est la contribution respective des maladies chroniques et de l'incapacité dans l'utilisation des services de santé chez les personnes âgées et de leur interaction. Il s’agit de savoir si l'association entre la maladie chronique et l'utilisation des services de santé est modifiée par l’incapacité prenant en compte les caractéristiques de l'individu et son environnement. Ce travail est basé sur le modèle comportemental proposé par Andersen et Newman et le modèle du processus d’incapacité de Verbrugge et Jette. Pour répondre à l’objectif, nous utilisons les données du projet de recherche “ FRéLE ” (Fragilité, une étude longitudinale de ses expressions), réalisé durant la période 2010 -2013 auprès d’un échantillon de 1643 personnes âgées vivant dans la communauté au Québec. L’incapacité est évaluée à l’aide de deux indicateurs : les AVQ et les AVD. Les maladies chroniques sont mesurées par l’indice fonctionnel de comorbidité (IFC). La dépression est évaluée selon les critères de l’échelle de dépression gériatrique (EDG). L’état cognitif est mesuré par l'évaluation cognitive de Montréal (MoCA). Les facteurs de prédisposition comportent l’âge, le sexe, l’ethnicité et le niveau scolaire. Les facteurs facilitateurs incluent le revenu et le réseau social, ce dernier étant mesure par la présence ou non d’une personne de soutien et son lien avec la personne âgée. Divers modèles de régression sont adoptés pour identifier les facteurs statistiquement significatifs du modèle comportemental d’Andersen et Newman et du modèle du processus d’incapacité de Verbrugge et Jette. Nos résultats ont montré que, si le rôle des prédicteurs de l’utilisation varie en fonction du type de services de santé utilisé, l’utilisation s’accroît principalement avec le nombre de maladies chroniques. En ce qui concerne l’interaction entre la maladie chronique et l’incapacité, nos résultats ont révélé que l’interaction n’est statistiquement significative pour aucun des services analysés. Compte tenu de la diversité et les besoins de la population âgée, caractérisée par une prévalence élevée de maladies chroniques et d'incapacités, l’étude des facteurs impliqués dans l'utilisation des services de santé sera utile pour la mise en œuvre d’une offre de services, plus conforme aux besoins de cette population

In two minds about screening: an investigation of cervical cancer prevention among Irish women

Cervical cancer is the second most common female cancer worldwide. Cervical screening programmes can reduce the incidence of cervical cancer by up to 80 percent if the invited women participate. Previous Irish research has associated screening attendance with subjective norms, anticipated regret, higher socio-economic status and education. Greater perceived screening barriers and lacking knowledge were associated with avoidance. These findings support a variety of expectancy-value theories of behaviour. They also suggest that expectancy-value theories could benefit from the inclusion of affective predictors of behaviour, like anticipated regret. In 2008 the Republic of Ireland introduced the National Cervical Screening Programme (NCSP). This research seeks to identify the predictors of participation in the NCSP. A systematic review of reviews showed that predictors of screening participation clustered into environmental and psychological influences. There is a gap in the evidence synthesis of associations with personal characteristics and health beliefs. Thematic analysis of focus group interviews confirmed the validity of many screening predictors identified by the systematic review and expectancy-value theories. A survey of these predictors suggested that reduced screening barriers might encourage first-time participation, while regular attendance requires greater endorsement of screening benefits and stronger subjective norm and intention. Positive attitude, rather than knowledge, appeared to be crucial for strong intention, so the final study piloted an experiment comparing the utility of positive attitude in strengthening intention to the utility of information provision. Despite lacking significant differences between conditions, content analysis of participant comments suggested that a full trial would be worthwhile, given purposive sampling and improved sample retention. These findings agree with previous Irish research on the importance of screening intention, although its association with attitude appeared to be stronger in the present research. The findings further indicate that future screening promotion should consider interventions based on patients’ experiences of screening.

« Utilisation des services de santé chez les personnes âgées : association avec la maladie chronique et l’incapacité »

Diverses publications soulignent l'augmentation de l'espérance de vie et avec elle, le vieillissement mondial de la population. Ce processus se poursuivra à l'avenir, ainsi que son influence sur l’incidence et la prévalence de l'incapacité. Chez les personnes âgées, l’incapacité, les maladies chroniques et leur association constituent un sujet important dans le domaine de la santé publique en raison de l'effet qu'ils ont sur la demande des services de santé. Le but de ce mémoire est d’examiner quelle est la contribution respective des maladies chroniques et de l'incapacité dans l'utilisation des services de santé chez les personnes âgées et de leur interaction. Il s’agit de savoir si l'association entre la maladie chronique et l'utilisation des services de santé est modifiée par l’incapacité prenant en compte les caractéristiques de l'individu et son environnement. Ce travail est basé sur le modèle comportemental proposé par Andersen et Newman et le modèle du processus d’incapacité de Verbrugge et Jette. Pour répondre à l’objectif, nous utilisons les données du projet de recherche “ FRéLE ” (Fragilité, une étude longitudinale de ses expressions), réalisé durant la période 2010 -2013 auprès d’un échantillon de 1643 personnes âgées vivant dans la communauté au Québec. L’incapacité est évaluée à l’aide de deux indicateurs : les AVQ et les AVD. Les maladies chroniques sont mesurées par l’indice fonctionnel de comorbidité (IFC). La dépression est évaluée selon les critères de l’échelle de dépression gériatrique (EDG). L’état cognitif est mesuré par l'évaluation cognitive de Montréal (MoCA). Les facteurs de prédisposition comportent l’âge, le sexe, l’ethnicité et le niveau scolaire. Les facteurs facilitateurs incluent le revenu et le réseau social, ce dernier étant mesure par la présence ou non d’une personne de soutien et son lien avec la personne âgée. Divers modèles de régression sont adoptés pour identifier les facteurs statistiquement significatifs du modèle comportemental d’Andersen et Newman et du modèle du processus d’incapacité de Verbrugge et Jette. Nos résultats ont montré que, si le rôle des prédicteurs de l’utilisation varie en fonction du type de services de santé utilisé, l’utilisation s’accroît principalement avec le nombre de maladies chroniques. En ce qui concerne l’interaction entre la maladie chronique et l’incapacité, nos résultats ont révélé que l’interaction n’est statistiquement significative pour aucun des services analysés. Compte tenu de la diversité et les besoins de la population âgée, caractérisée par une prévalence élevée de maladies chroniques et d'incapacités, l’étude des facteurs impliqués dans l'utilisation des services de santé sera utile pour la mise en œuvre d’une offre de services, plus conforme aux besoins de cette population

E-Government Collaboration in the Swedish Public Sector : Multiple Studies on Collaboration Facilitators and Collaboration Modes

Collaboration in the public sector is imperative to achieve e-government objectives such as improved efficiency and effectiveness of public administration and improved quality of public services. Collaboration across organizational and institutional boundaries requires public organizations to share e-government systems and services through for instance, interoperable information technology and processes. Demands on public organizations to become more open also require that public organizations adopt new collaborative approaches for inviting and engaging citizens in governmental activities. E-government related collaboration in the public sector is challenging, however, and collaboration initiatives often fail. Public organizations need to learn how to collaborate since forms of e-government collaboration and expected outcomes are mostly unknown. How public organizations can collaborate and the expected outcomes are thus investigated in this thesis by studying multiple collaboration cases on the acquisition and implementation of a particular e-government investment (digital archive). This thesis also investigates how e-government collaboration can be facilitated through artifacts. It is done through a case study, where objects that cross boundaries between collaborating communities in the public sector are studied, and by designing a configurable process model integrating several processes for social services. By using design science, this thesis also investigates how an m-government solution that facilitates collaboration between citizens and public organizations can be designed. The thesis contributes to literature through describing five different modes of interorganizational collaboration in the public sector and the expected benefits from each mode. It also contributes with an instantiation of a configurable process model supporting three open social e-services and with evidence of how it can facilitate collaboration. This thesis further describes how boundary objects facilitate collaboration between different communities in an open government design initiative. It contributes with a designed mobile government solution, thereby providing proof of concept and initial design implications for enabling collaboration with citizens through citizen sourcing (outsourcing a governmental activity to citizens through an open call). This thesis also identifies research streams within e-government collaboration research through a literature review and the thesis contributions are related to the identified research streams. This thesis gives directions for future research by suggesting that future research should focus further on understanding e-government collaboration and how information and communication technology can facilitate collaboration in the public sector. It is suggested that further research should investigate m-government solutions to form design theories. Future research should also examine how value can be co-created in e-government collaboration.

Continuous Delivery : Utmaningar ett förvaltningsuppdrag kan stå inför vid en övergång till Continuous Delivery

Continuous delivery (CD) is a software engineering approach where the focus lays on creating a short delivery cycle by automating parts of the deployment pipeline which includes build, deploy-, test and release process. CD is based on that during development should be possible to always automatically generate a release based on the source code in its current state. One of CD's many advantages is that through continuous releases it allows you to get a quick feedback loop leading to faster and more efficient implementation of new functions, at the same time fixing errors. Although CD has many advantages, there are also several challenges a maintenance management project must manage in the transition to CD. These challenges may differ depending on the maturity level for a maintenance management project and what strengths and weaknesses the project has. Our research question was: "What challenges can a maintenance management project face in transition to Continuous delivery?" The purpose of this study is to describe Continuous delivery and the challenges a maintenance management project may face during a transition to Continuous delivery. A descriptive case study has been carried out with the data collection methods of interviews and documents. A situation analysis was created based on the collected data in a shape of a process model that represent the maintenance management projects release process. The processmodel was used as the basis of SWOT analysis and analysis by Rehn et al's Maturity Model. From these analyzes we found challenges of a maintenance management project may face in the transition to CD. The challenges are about customers and the management's attitude towards a transition to CD. But the biggest challenge is about automation of the deployment pipeline steps.

Modelo para formação dinâmica de rede de fornecedores em empresas estendidas

Supply chains have become an important focus for competitive advantage. The performance of a company increasingly depends on its ability to maintain effective and efficient relationships with its suppliers and customers. The extended enterprise (i.e. composed of several partners) needs to be dynamically formed in order to be agile and adaptable. According to the Digital Manufacturing paradigm, companies have to be able to quickly share and disseminate information regarding planning, designing and manufacturing of products. Additionally, they must be responsive to all technical and business determinants, as well as be assessed and certified for guaranteed performance. The current research intends to present a solution for the dynamic composition of the extended enterprise, formed to take advantage of market opportunities quickly and efficiently. A construction model was developed. This construction model consists of: information model, protocol model and process model. The information model has been defined based on the concepts of Supply Chain Operations Reference model (SCOR®). In this model is defined information for negotiating the participation of candidate companies in the dynamic establishment of a network for responding to a given demand for developing and manufacturing products, in seven steps as follows: request for information; request for qualification; alignment of strategy; request for proposal; request for quotation; compatibility of process; and compatibility of system. The protocol model has been elaborated and inspired in the OSI, this model provides a framework for linking customers and suppliers, indicates a sequence to be followed, in order to selecte companies to become suppliers. The process model has been implemented by means of process modeling according to the BPMN standard and, in turn, implemented as a web-based application that runs the process through its several steps, which uses forms to gather data. An application example in the context of the oil and gas industry is used for demonstrating the solution concept.

Modelling the development of an online learning resource by health care professionals

The aim of this study was to model the process of development for an Online Learning Resource (OLR) by Health Care Professionals (HCPs) to meet lymphoedema-related educational needs, within an asset-based management context. Previous research has shown that HCPs have unmet educational needs in relation to lymphoedema but details on their specific nature or context were lacking. Against this background, the study was conducted in two distinct but complementary phases. In Phase 1, a national survey was conducted of HCPs predominantly in community, oncology and palliative care services, followed by focus group discussions with a sample of respondents. In Phase 2, lymphoedema specialists (LSs) used an action research approach to design and implement an OLR to meet the needs identified in Phase 1. Study findings were analysed using descriptive statistics (Phase 1), and framework, thematic and dialectic analysis to explore their potential to inform future service development and education theory. Unmet educational need was found to be specific to health care setting and professional group. These resulted in HCPs feeling poorly-equipped to diagnose and manage lymphoedema. Of concern, when identified, lymphoedema was sometimes buried for fear of overwhelming stretched services. An OLR was identified as a means of addressing the unmet educational needs. This was successfully developed and implemented with minimal additional resources. The process model created has the potential to inform contemporary leadership theory in asset-based management contexts. This doctoral research makes a timely contribution to leadership theory since the resource constraints underpinning much of the contribution has salience to current public services. The process model created has the potential to inform contemporary leadership theory in asset-based management contexts. Further study of a leadership style which incorporates cognisance of Cognitive Load Theory and Self-Determination Theory is suggested. In addition, the detailed reporting of process and how this facilitated learning for participants contributes to workplace education theory