A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

A two-dimensional fuzzy random model of soil pore structure

A new conceptual model for soil pore-solid structure is formalized. Soil pore-solid structure is proposed to comprise spatially abutting elements each with a value which is its membership to the fuzzy set ''pore,'' termed porosity. These values have a range between zero (all solid) and unity (all pore). Images are used to represent structures in which the elements are pixels and the value of each is a porosity. Two-dimensional random fields are generated by allocating each pixel a porosity by independently sampling a statistical distribution. These random fields are reorganized into other pore-solid structural types by selecting parent points which have a specified local region of influence. Pixels of larger or smaller porosity are aggregated about the parent points and within the region of interest by controlled swapping of pixels in the image. This creates local regions of homogeneity within the random field. This is similar to the process known as simulated annealing. The resulting structures are characterized using one-and two-dimensional variograms and functions describing their connectivity. A variety of examples of structures created by the model is presented and compared. Extension to three dimensions presents no theoretical difficulties and is currently under development.

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.

Developing a meta model for the Bunge-Wand-Weber ontological constructs

At the core of the analysis task in the development process is information systems requirements modelling, Modelling of requirements has been occurring for many years and the techniques used have progressed from flowcharting through data flow diagrams and entity-relationship diagrams to object-oriented schemas today. Unfortunately, researchers have been able to give little theoretical guidance only to practitioners on which techniques to use and when. In an attempt to address this situation, Wand and Weber have developed a series of models based on the ontological theory of Mario Bunge-the Bunge-Wand-Weber (BWW) models. Two particular criticisms of the models have persisted however-the understandability of the constructs in the BWW models and the difficulty in applying the models to a modelling technique. This paper addresses these issues by presenting a meta model of the BWW constructs using a meta language that is familiar to many IS professionals, more specific than plain English text, but easier to understand than the set-theoretic language of the original BWW models. Such a meta model also facilitates the application of the BWW theory to other modelling techniques that have similar meta models defined. Moreover, this approach supports the identification of patterns of constructs that might be common across meta models for modelling techniques. Such findings are useful in extending and refining the BWW theory. (C) 2002 Elsevier Science Ltd. All rights reserved.

Research commentary: Information systems and conceptual modeling - A research agenda

Within the information systems field, the task of conceptual modeling involves building a representation of selected phenomena in some domain. High-quality conceptual-modeling work is important because it facilitates early detection and correction of system development errors. It also plays an increasingly important role in activities like business process reengineering and documentation of best-practice data and process models in enterprise resource planning systems. Yet little research has been undertaken on many aspects of conceptual modeling. In this paper, we propose a framework to motivate research that addresses the following fundamental question: How can we model the world to better facilitate our developing, implementing, using, and maintaining more valuable information systems? The framework comprises four elements: conceptual-modeling grammars, conceptual-modeling methods, conceptual-modeling scripts, and conceptual-modeling contexts. We provide examples of the types of research that have already been undertaken on each element and illustrate research opportunities that exist.

Monitoring the composition and form of urban environments based on the vegetation-impervious surface-soil (VIS) model by sub-pixel analysis techniques

The majority of the world's population now resides in urban environments and information on the internal composition and dynamics of these environments is essential to enable preservation of certain standards of living. Remotely sensed data, especially the global coverage of moderate spatial resolution satellites such as Landsat, Indian Resource Satellite and Systeme Pour I'Observation de la Terre (SPOT), offer a highly useful data source for mapping the composition of these cities and examining their changes over time. The utility and range of applications for remotely sensed data in urban environments could be improved with a more appropriate conceptual model relating urban environments to the sampling resolutions of imaging sensors and processing routines. Hence, the aim of this work was to take the Vegetation-Impervious surface-Soil (VIS) model of urban composition and match it with the most appropriate image processing methodology to deliver information on VIS composition for urban environments. Several approaches were evaluated for mapping the urban composition of Brisbane city (south-cast Queensland, Australia) using Landsat 5 Thematic Mapper data and 1:5000 aerial photographs. The methods evaluated were: image classification; interpretation of aerial photographs; and constrained linear mixture analysis. Over 900 reference sample points on four transects were extracted from the aerial photographs and used as a basis to check output of the classification and mixture analysis. Distinctive zonations of VIS related to urban composition were found in the per-pixel classification and aggregated air-photo interpretation; however, significant spectral confusion also resulted between classes. In contrast, the VIS fraction images produced from the mixture analysis enabled distinctive densities of commercial, industrial and residential zones within the city to be clearly defined, based on their relative amount of vegetation cover. The soil fraction image served as an index for areas being (re)developed. The logical match of a low (L)-resolution, spectral mixture analysis approach with the moderate spatial resolution image data, ensured the processing model matched the spectrally heterogeneous nature of the urban environments at the scale of Landsat Thematic Mapper data.

Evaluating a model of parental influence on youth physical activity

Objective: To test a conceptual model linking parental physical activity orientations, parental support for physical activity, and children's self-efficacy perceptions with physical activity participation. Participants and Setting: The sample consisted of 380 students in grades 7 through 12 (mean age, 14.0 +/- 1.6 years) and their parents. Data collection took place during the fall of 1996. Main Outcome Measures: Parents completed a questionnaire assessing their physical activity habits, enjoyment of physical activity, beliefs regarding the importance of physical activity, and supportive behaviors for their child's physical activity. Students completed a 46-item inventory assessing physical activity during the previous 7 days and a 5-item physical activity self-efficacy scale. The model was tested via observed variable path analysis using structural equation modeling techniques (AMOS 4.0). Results: An initial model, in which parent physical activity orientations predicted child physical activity via parental support and child self-efficacy, did not provide an acceptable fit to the data. Inclusion of a direct path from parental support to child physical activity and deletion of a nonsignificant path from parental physical activity to child physical activity significantly improved model fit. Standardized path coefficients for the revised model ranged from 0.17 to 0.24, and all were significant at the p < 0.0001 level. Conclusions: Parental support was an important correlate of youth physical activity, acting directly or indirectly through its influence on self-efficacy. Physical activity interventions targeted at youth should include and evaluate the efficacy of individual-level and community-level strategies to increase parents' capacity to provide instrumental and motivational support for their children's physical activity.

Multi-agent based electricity market simulator with VPP: Conceptual and implementation issues

This paper presents a new architecture for the MASCEM, a multi-agent electricity market simulator. This is implemented in a Prolog which is integrated in the JAVA program by using the LPA Win-Prolog Intelligence Server (IS) provides a DLL interface between Win-Prolog and other applications. This paper mainly focus on the MASCEM ability to provide the means to model and simulate Virtual Power Producers (VPP). VPPs are represented as a coalition of agents, with specific characteristics and goals. VPPs can reinforce the importance of these generation technologies making them valuable in electricity markets.

Demand response in future power systems management – a conceptual framework and simulation tool

Mestrado em Engenharia Electrotécnica – Sistemas Eléctricos de Energia

Programa estruturado de enriquecimento conceptual e lexical

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ciências da Educação - Especialidade Educação Especial

Towards a Unified Theory of Health-Disease: I. Health as a complex model-object

Theory building is one of the most crucial challenges faced by basic, clinical and population research, which form the scientific foundations of health practices in contemporary societies. The objective of the study is to propose a Unified Theory of Health-Disease as a conceptual tool for modeling health-disease-care in the light of complexity approaches. With this aim, the epistemological basis of theoretical work in the health field and concepts related to complexity theory as concerned to health problems are discussed. Secondly, the concepts of model-object, multi-planes of occurrence, modes of health and disease-illness-sickness complex are introduced and integrated into a unified theoretical framework. Finally, in the light of recent epistemological developments, the concept of Health-Disease-Care Integrals is updated as a complex reference object fit for modeling health-related processes and phenomena.

Conceptual analogy for modelling entrapped air action in hydraulic systems

Hydraulic systems are dynamically susceptible in the presence of entrapped air pockets, leading to amplified transient reactions. In order to model the dynamic action of an entrapped air pocket in a confined system, a heuristic mathematical formulation based on a conceptual analogy to a mechanical spring-damper system is proposed. The formulation is based on the polytropic relationship of an ideal gas and includes an additional term, which encompasses the combined damping effects associated with the thermodynamic deviations from the theoretical transformation, as well as those arising from the transient vorticity developed in both fluid domains (air and water). These effects represent the key factors that account for flow energy dissipation and pressure damping. Model validation was completed via numerical simulation of experimental measurements.

Using perspective schema and a reference model to design the ETL process

Dissertação apresentada para a obtenção do Grau de Doutor em Informática

Evolução hidrogeoquímica das águas sulfúreas de Entre-os-Rios: avaliação preliminar

O principal objectivo desta dissertação foi avaliar a evolução hidrogeoquímica das águas minerais de Entre‐os‐Rios, para uma melhor compreensão do modelo hidrogeológico conceptual deste sistema hidromineral. Desta forma, foram coligidos diversos dados hidroquímicos, quer das nascentes clássicas (Torre, Curveira, Ardias, Arcos Esquerda e Arcos Direita), quer do furo Barbeitos. Foram compiladas e analisadas oitenta análises hidroquímicas no período 1938‐2012, incluindo características organolépticas (cheiro, cor e turbidez), diversas propriedades físico-químicas (temperatura, pH, condutividade eléctrica, sulfuração, etc), os principais catiões e aniões (bicarbonato, fluoreto, sódio, lítio, etc) e os elementos vestigiários (chumbo, tungsténio, boro, etc). Além disso, foram integrados os dados históricos disponíveis de finais do século XIX e inícios do século XX. Foram igualmente reunidos e discutidos alguns dados isotópicos (oxigénio‐18, deutério e trítio). O recurso hidromineral de Entre‐os‐Rios está condicionado pela litologia e pelas condições tectónicas. As análises químicas revelaram que as águas minerais de Entre‐os‐Rios apresentam uma estabilidade química nos últimos 100 anos. Estas águas são orto‐ a hipertermais, fracamente mineralizadas, de reacção alcalina, sulfídricas, bicarbonatadas sódicas, carbonatadas e muito fluoretadas. Estas características são claramente distintas das águas normais da região. As águas de Entre‐os‐Rios são muito semelhantes às águas minerais de S. Vicente e, em diversos parâmetros, bastante diferentes das águas minerais das Caldas da Saúde. Os dados isotópicos permitiram concluir que as águas de Entre‐os‐Rios têm uma origem meteórica, com um tempo de residência longo no sistema aquífero, e que são, muito provavelmente, submodernas, com uma recarga anterior a 1952. Na região de Entre‐os‐Rios coexistem três sistemas aquíferos, um sistema granítico superficial, livre e um sistema livre a semi‐confinado, ambos com circulação de águas normais, e um sistema aquífero granítico, profundo, confinado, com circulação de água mineral.

A Quantitative Model for Decomposing & Assessing the Value for the Customer

The research presented in this paper proposes a novel quantitative model for decomposing and assessing the Value for the Customer. The proposed approach builds on the different dimensions of the Value Network analysis proposed by Verna Allee having as background the concept of Value for the Customer proposed by Woodall. In this context, the Value for the Customer is modelled as a relationship established between the exchanged deliverables and a combination of tangible and intangible assets projected into their endogenous or exogenous dimensions. The Value Network Analysis of the deliverables exchange enables an in-depth understanding of this frontier and the implicit modelling of co-creation scenarios. The proposed Conceptual Model for Decomposing Value for the Customer combines several concepts: from the marketing area we have the concept of Value for the Customer; from the area of intellectual capital the concept of Value Network Analysis; from the collaborative networks area we have the perspective of the enterprise life cycle and the endogenous and exogenous perspectives; at last, the proposed model is supported by a mathematical formal description that stems from the area of Multi-Criteria Decision Making. The whole concept is illustrated in the context of a case study of an enterprise in the footwear industry (Pontechem). The merits of this approach seem evident from the contact with Pontechem as it provides a structured approach for the enterprises to assess the adequacy of their value proposition to the client/customer needs and how these relate to their endogenous and/or exogenous tangible or intangible assets. The proposed model, as a tool, may therefore be a useful instrument in supporting the commercialisation of new products and/or services.