Data flow and validation in workflow modelling

A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, their scope, the order of execution that maintains the overall business process logic, the rules governing the discipline of work list scheduling to performers, identification of time constraints and more. The goal of this paper is to address an important issue in workflows modelling and specification, which is data flow, its modelling, specification and validation. Researchers have neglected this dimension of process analysis for some time, mainly focussing on structural considerations with limited verification checks. In this paper, we identify and justify the importance of data modelling in overall workflows specification and verification. We illustrate and define several potential data flow problems that, if not detected prior to workflow deployment may prevent the process from correct execution, execute process on inconsistent data or even lead to process suspension. A discussion on essential requirements of the workflow data model in order to support data validation is also given..

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

Pockets of flexibility in workflow specification

Workflow technology is currently being deployed in quite diverse domains. However, the element of change is present in some degree and form in almost all domains. A workflow implementation that does not support the process of change will not benefit the organization in the long run. Change can be manifested in different forms in workflow processes. In this paper, we first present a categorization of workflow change characteristics and divide workflow processes into dynamic, adaptive and flexible processes. We define flexibility as the ability of the workflow process to execute on the basis of a loosely, or partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. To provide a modeling framework that offers true flexibility, we need to consider the factors, which influence the paths of (unique) instances together with the process definition. We advocate an approach that aims at making the process of change part of the workflow process itself. We introduce the notion of an open instance that consists of a core process and several pockets of flexibility, and present a framework based on this notion, which makes use of special build activities that provide the functionality to integrate the process of defining a change, into the open workflow instance.

The real-time refinement calculus: A foundation for machine-independent real-time programming

The real-time refinement calculus is an extension of the standard refinement calculus in which programs are developed from a precondition plus post-condition style of specification. In addition to adapting standard refinement rules to be valid in the real-time context, specific rules are required for the timing constructs such as delays and deadlines. Because many real-time programs may be nonterminating, a further extension is to allow nonterminating repetitions. A real-time specification constrains not only what values should be output, but when they should be output. Hence for a program to implement such a specification, it must guarantee to output values by the specified times. With standard programming languages such guarantees cannot be made without taking into account the timing characteristics of the implementation of the program on a particular machine. To avoid having to consider such details during the refinement process, we have extended our real-time programming language with a deadline command. The deadline command takes no time to execute and always guarantees to meet the specified time; if the deadline has already passed the deadline command is infeasible (miraculous in Dijkstra's terminology). When such a realtime program is compiled for a particular machine, one needs to ensure that all execution paths leading to a deadline are guaranteed to reach it by the specified time. We consider this checking as part of an extended compilation phase. The addition of the deadline command restores for the real-time language the advantage of machine independence enjoyed by non-real-time programming languages.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

UMA ÁNALISE EXEGÉTICA DA PORÇÃO DE MIQUEIAS 2,1-5: A SITUAÇÃO SOCIOECONÔMICA EM JUDÁ E SUAS IMPLICAÇÕES NA HERANÇA DOS CAMPONESES NA SEFELÁ JUDAÍTA NO SÉCULO VIII A.C.

Esta pesquisa procura examinar, à luz da metodologia exegética, a perícope de Miqueias 2,1-5, a fim de reconstruir o cenário no qual emergiu a dura crítica social do profeta. O texto apresenta, em sua análise literária, características de um dito profético coeso, em estilo poético. Sua estrutura encontra-se dividida em duas unidades (denúncia e castigo), sendo que cada uma das unidades possui outras duas subunidades (genérica e específica). O gênero literário harmoniza-se com um dito profético de julgamento geralmente conhecido como oráculo ai . A análise da dimensão histórica situa o acontecimento fundante em 701 a.C., na Sefelá judaíta. Numa análise investigativa do conteúdo da denúncia norteado pelo modelo teórico do modo de produção tributário, observa-se um conflito entre dois grupos. Nesse conflito, Miqueias faz uma acusação a um grupo de poder em Judá que planeja e executa ações criminosas contra a herança camponesa. O castigo descreve a conspiração e o plano divino contra esse grupo de poder. Javé havia planejado um mal idêntico ao que eles haviam cometido, desonra e privação de suas possessões. Os valores culturais de honra e vergonha subjazem a esse oráculo. Por descumprirem seus deveres junto a Javé e ao povo, os criminosos perderiam todos os seus direitos e, sobretudo, a honra perante a própria comunidade. Com base no modelo teórico do modo de produção tributário, constata-se que, na situação social em Judá no oitavo século, prevalecia um conflito entre campo e cidade. As comunidades aldeãs pagavam tributo à cidade em forma de produtos e serviços. A excessiva arrecadação de tributo e as falhas no sistema de ajuda mútua forçaram os indivíduos e famílias a contrair dívidas, a hipotecar suas terras herdadas dos pais e eventualmente perdê-las. O profeta Miqueias é o porta-voz do protesto da classe campesina que resolve reagir aos desmandos praticados pela elite citadina. Para ele, Javé escuta a queixa dos que estão sendo oprimidos e intervém na história tomando o partido do oprimido.(AU)

TÁTICAS DE PROFESSORES: UMA REFLEXÃO SOBRE O CENÁRIO AVALIATIVO NO REGIME DE PROGRESSÃO CONTINUADA.

Este estudo qualitativo foi elaborado por meio de pesquisa bibliográfica de estudiosos do tema da avaliação do rendimento de alunos, como Luckesi (2005), Hoffmann (2003), Paro (2003), Hadji (1994) e Figari (1996), e de pesquisa de campo, com o objetivo de investigar como está ocorrendo a avaliação do ensino fundamental da rede pública paulista, na vigência do regime de progressão continuada. Considerando que os fundamentos da prática avaliativa distam quase sempre dos apregoados pela política educacional instituída e com o propósito de verificar se isto está ocorrendo com a política de progressão continuada, participei, durante um ano letivo, das atividades educacionais de uma escola pública da periferia da Grande São Paulo, observando, colhendo depoimentos e anotando cuidadosamente tudo o que vivenciei nesse período. Para empreender uma leitura dos dados coletados, busquei também o apoio no construto teórico de Michel de Certeau, para quem aos "produtos impostos" códigos, leis, políticas culturais, etc. rigorosamente organizados de forma a atribuir um lugar, um papel ao homem ordinário, contrapõem-se práticas construídas no processo de apropriação desses produtos. Por meio de suas "artes de fazer", os usuários reinventam o cotidiano. Utilizando-se de "táticas astuciosas", o usuário da cultura reapropria-se dos espaços, altera-lhes os códigos e deles faz uso "a seu jeito". Nesta pesquisa, que enfoca as relações dos protagonistas de processos avaliativos escolares, confirmam-se os postulados de Certeau, que não conferem ao consumidor da política um lugar passivo. Como já foi caracterizado por este instigante pensador, o usuário da política (o instituinte), enquanto portador de astúcias, move-se no campo espacial do outro (o instituído) e, taticamente, fazendo uso de práticas não previstas, escreve uma "outra história". O principal objetivo deste trabalho foi contribuir com reflexões que mostrem a importância de se analisar as tensões geradas por políticas educacionais impostas, desprovidas de sentido para aqueles que não participam de sua elaboração, o que tem provocado movimentos táticos de seus usuários, neste caso, os docentes, os quais, sem as condições objetivas necessárias para promover a política instituída, enunciada no discurso, utilizam-se do seu potencial instituinte de transformação, escrevendo uma "outra história".

Bem-estar subjetivo e bem-estar no trabalho em profissionais de educação física

Atualmente, bem-estar cada vez mais ganha espaço como parte importante e integrante da vida das pessoas. Pesquisas vêm buscando destacar fatores positivos que exerçam influencia em sua vida pessoal, e conseqüentemente em seu trabalho. O objetivo deste estudo foi verificar as relações entre bem-estar subjetivo (satisfação geral com a vida, afetos positivos e afetos negativos) e bem-estar no trabalho (satisfação no trabalho, envolvimento com o trabalho e comprometimento organizacional afetivo) em professores de educação física que atuavam em escolas e academias, descrevendo os níveis de bem-estar subjetivo e bem-estar no trabalho, análises de variância e correlação entre os construtos. A amostra foi composta por 124 professores de educação física, 34 atuavam em escolas particulares e 90 atuavam em academias, sendo 81 do sexo masculino e 43 do sexo feminino, solteiros e casados e faixa etária entre 21 e 59 anos, com escolaridade distribuída desde o ensino superior completo até o mestrado concluído. O instrumento de coleta foi um questionário auto-aplicavel composto por cinco escalas que mediram as variáveis do estudo e um questionário de dados complementares. Os resultados deste estudo revelaram que BES e BET guardam relações entre si. Os professores são considerados pessoas relativamente felizes com sua vida pessoal e revelaram uma relação mediana no que se refere a sua vida profissional. Os resultados das correlações relacionadas ao BES sinalizaram que o acúmulo de experiências negativas ao longo da vida poderia reduzir a vivencia de experiências positivas e de avaliações positivas sobre a vida em geral e vice-versa e ao BET, satisfação no trabalho, envolvimento com o trabalho e comprometimento organizacional afetivo são interdependentes. No que se refere às comparações, para BES os professores que atuavam em academias obtiveram médias significativamente maiores de afetos negativos do que os de escolas e por outro lado, a média de satisfação geral com a vida dos professores de escolas foi significativamente superior à dos que atuavam em academias demonstrando que estes vivenciaram mais experiências negativas do que os que trabalhavam em escolas e que os professores de escola eram mais satisfeitos com sua vida do que os de academias. Para BET, o quadro geral se mantém semelhante para professores de educação física que atuavam em escolas e academias. Futuros estudos deveriam aumentar o número de professores bem como, investigar outras áreas de atuação da educação física e compara-las com o presente estudo ampliando os estudos envolvendo bemestar e professores de educação física.(AU)

Factors affecting e-payment adoption in Nigeria

For e-commerce to be successful, an efficient e-payment system is the key. The use of formal payment systems also enhances the ability to execute and manage monetary policies, which is essential for a country’s financial sector. Although Nigeria is a regional leader, the usage of e-Payments is still very low despite its many benefits and also attempts by the financial authorities. This therefore calls for an urgent need to investigate the factors that affect individual’s intention to adopt e-payment in Nigeria so that steps can be fashioned out to improve the situation. A survey was conducted to get individual perceptions of e-payments through the use of questionnaires designed based on the theoretical model developed. The results showed that awareness, knowledge of benefits, ease of use, reliability, trust and security, acceptability, accessibility and social influence are the main factors that influence individuals’ intention to adopt e-payments.

The effective use of implicit parallelism through the use of an object-oriented programming language

This thesis explores translating well-written sequential programs in a subset of the Eiffel programming language - without syntactic or semantic extensions - into parallelised programs for execution on a distributed architecture. The main focus is on constructing two object-oriented models: a theoretical self-contained model of concurrency which enables a simplified second model for implementing the compiling process. There is a further presentation of principles that, if followed, maximise the potential levels of parallelism. Model of Concurrency. The concurrency model is designed to be a straightforward target for mapping sequential programs onto, thus making them parallel. It aids the compilation process by providing a high level of abstraction, including a useful model of parallel behaviour which enables easy incorporation of message interchange, locking, and synchronization of objects. Further, the model is sufficient such that a compiler can and has been practically built. Model of Compilation. The compilation-model's structure is based upon an object-oriented view of grammar descriptions and capitalises on both a recursive-descent style of processing and abstract syntax trees to perform the parsing. A composite-object view with an attribute grammar style of processing is used to extract sufficient semantic information for the parallelisation (i.e. code-generation) phase. Programming Principles. The set of principles presented are based upon information hiding, sharing and containment of objects and the dividing up of methods on the basis of a command/query division. When followed, the level of potential parallelism within the presented concurrency model is maximised. Further, these principles naturally arise from good programming practice. Summary. In summary this thesis shows that it is possible to compile well-written programs, written in a subset of Eiffel, into parallel programs without any syntactic additions or semantic alterations to Eiffel: i.e. no parallel primitives are added, and the parallel program is modelled to execute with equivalent semantics to the sequential version. If the programming principles are followed, a parallelised program achieves the maximum level of potential parallelisation within the concurrency model.

An operational approach to object-oriented software development

The traditional waterfall software life cycle model has several weaknesses. One problem is that a working version of a system is unavailable until a late stage in the development; any omissions and mistakes in the specification undetected until that stage can be costly to maintain. The operational approach which emphasises the construction of executable specifications can help to remedy this problem. An operational specification may be exercised to generate the behaviours of the specified system, thereby serving as a prototype to facilitate early validation of the system's functional requirements. Recent ideas have centred on using an existing operational method such as JSD in the specification phase of object-oriented development. An explicit transformation phase following specification is necessary in this approach because differences in abstractions between the two domains need to be bridged. This research explores an alternative approach of developing an operational specification method specifically for object-oriented development. By incorporating object-oriented concepts in operational specifications, the specifications have the advantage of directly facilitating implementation in an object-oriented language without requiring further significant transformations. In addition, object-oriented concepts can help the developer manage the complexity of the problem domain specification, whilst providing the user with a specification that closely reflects the real world and so the specification and its execution can be readily understood and validated. A graphical notation has been developed for the specification method which can capture the dynamic properties of an object-oriented system. A tool has also been implemented comprising an editor to facilitate the input of specifications, and an interpreter which can execute the specifications and graphically animate the behaviours of the specified systems.

Budgeting, budgetary control and management information in the highways departments

The need for an adequate information system for the Highways Departments in the United Kingdom has been recognised by the report of a committee presented to the Minister of Transport in 1970, (The Marshall Report). This research aims to present a comprehensive information system on a sound theoretical basis which should enable the different levels of management to execute their work adequately. The suggested system presented in this research covers the different functions of the Highways Department, and presents a suggested solution for problems which may occur during the planning and controlling of work in the different locations of the Highways Department. The information system consists of:- 1. A coding system covering the cost units, cost centres and cost elements. 2. Cost accounting records for the cost units and cost centres. 3. A budgeting and budgetary control system covering, the different planning methods and procedures which are required for preparing the capital expenditure budget, the improvement and maintenance operation flexible budgets and programme of work, the plant budget, the administration budget, and the purchasing budget. 4. A reporting system which ensures that the different levels of management are receiving relevant and timely information. 5. The flow of documents which covers the relationship between the prime documents, the cost accounting records, budgets, reports and their relation to the different sections and offices within the department. A comprehensive cost units, cost centres, and cost elements codes together with a number of examples demonstrating the results of the survey, and examples of the application and procedures of the suggested information system have been illustrated separately as appendices. The emphasis is on the information required for internal control by management personnel within the County Council.

Toward the atomistic simulation of T cell epitopes automated construction of MHC:peptide structures for free energy calculations

Epitopes mediated by T cells lie at the heart of the adaptive immune response and form the essential nucleus of anti-tumour peptide or epitope-based vaccines. Antigenic T cell epitopes are mediated by major histocompatibility complex (MHC) molecules, which present them to T cell receptors. Calculating the affinity between a given MHC molecule and an antigenic peptide using experimental approaches is both difficult and time consuming, thus various computational methods have been developed for this purpose. A server has been developed to allow a structural approach to the problem by generating specific MHC:peptide complex structures and providing configuration files to run molecular modelling simulations upon them. A system has been produced which allows the automated construction of MHC:peptide structure files and the corresponding configuration files required to execute a molecular dynamics simulation using NAMD. The system has been made available through a web-based front end and stand-alone scripts. Previous attempts at structural prediction of MHC:peptide affinity have been limited due to the paucity of structures and the computational expense in running large scale molecular dynamics simulations. The MHCsim server (http://igrid-ext.cryst.bbk.ac.uk/MHCsim) allows the user to rapidly generate any desired MHC:peptide complex and will facilitate molecular modelling simulation of MHC complexes on an unprecedented scale.

How to manual:the valuation of rural travel time savings in least developed countries (LDCs)

The manual is designed to bring out issues that are relevant in the valuation of rural travel time savings in Least Developed Countries (LDCs). It should also be relevant for other developing countries which do not have LDC status but have rural economy features typical of low income developing countries. The manual elaborates step-by-step procedures on how to design and execute studies to estimate the value of time (VoT) savings of rural travellers.

A cross-national investigation into the marketing department's influence within the firm:toward initial empirical generalizations

An ongoing strong debate within the marketing discipline concerns the role of marketing within the firm. It has been frequently reported that the marketing function is in a deep decline. Marketing executives and academics alike are interested in the antecedents of this decline and potential performance consequences of this decline. Recent academic research have started investigations on this important topic. Using studies in single countries innovativeness and accountability of the marketing department has been reported as major antecedents of the influence of the marketing department within the organization. Academic research, however, does not provide convincing evidence for a direct link between this influence and business performance. Instead it shows that market orientation is a crucial intervening variable, as marketing department influence is positively related market orientation, which subsequently positively related to business performance. As noted prior research, however, studies firms in single countries. In this article we execute a cross-national study on the antecedents and performance consequences of marketing department influence in order to derive initial empirical generalizations. This study is executed in seven Western-oriented countries, including USA, UK, The Netherlands, Germany, Sweden, Israel and Australia. The study heavily builds on the framework developed in the 2009 Journal of Marketing article of Verhoef and Leeflang. This framework is tested per country and subsequently meta-analytic tests are used to derive initial empirical generalizations. An important empirical generalization is that innovativeness, the customer-connecting capabilities, and accountability of the marketing department are positively related to marketing department influence. Interestingly, a second initial generalization is that creativity of the marketing negative induces less influence. Our results also show a third empirical generalization in that firms having a CEO with a marketing background tend to have more influential marketing departments. Confirming prior research a fourth initial empirical generalization is that MD influence measures and market orientation are positively related. Market orientation is subsequently positively related to business performance. Our most important generalization is, however, that MD influence is positively related to business performance. Hence, beyond striving to become market oriented, firms should also aim to have strong marketing departments. These departments can create a stronger focus on the customer and can also coordinate marketing efforts. In order to become more influential marketing departments should: (1) acquire innovative capabilities, (2) be more connected to customers, (3) invest in accountability, and (4) be careful with be careful being too creative.