Engineering spatial concepts

2009 ◽  
Vol 24 (1) ◽  
pp. 77-93 ◽  
Author(s):  
Daniela Micucci ◽  
Francesco Tisato ◽  
Marzia Adorni
Keyword(s):  
Software Engineering ◽  
Information Hiding ◽  
Crucial Role ◽  
Operational Definition ◽  
Domain Model ◽  
Semantic Gap ◽  
Software Components ◽  
Spatial Concepts ◽  
Definition Of ◽  
Relevant Domain

AbstractThe success of a software system strongly depends on the ability of turning a precise domain analysis into a concrete architecture. Even if the domain model relies on sound ontological bases, there is often a wide semantic gap between the conceptual model and the concrete components that should reify it. To fill the semantic gap, relevant domain concepts should be engineered by identifying the corresponding architectural abstractions, which can be realized by concrete software components. Space plays a crucial role in many application domains, but surprisingly, related architectural abstractions have not emerged yet. This paper proposes space-related abstractions derived from the application of classical software engineering principles; in particular, the information hiding principle that leads to an operational definition of space. Basic abstractions are refined to deal with architectural aspects. As the underlying software engineering principles are close to principles that underlie the definition of space ontologies, the conjecture is that the proposed space architectural abstractions might be the basis for a formalization in ontological terms.

Understanding functional illiteracy from a policy, adult education, and cognition point of view: Towards a joint referent framework

2019 ◽  
Vol 30 (2) ◽  
pp. 109-122
Author(s):  
Aleksandar Bulajić ◽  
Miomir Despotović ◽  
Thomas Lachmann
Keyword(s):  
Adult Education ◽  
Operational Definition ◽  
Literacy Skills ◽  
Point Of View ◽  
Industrialized Countries ◽  
Functional Illiteracy ◽  
Scale Levels ◽  
Components Of Reading ◽  
The One ◽  
Definition Of

Abstract. The article discusses the emergence of a functional literacy construct and the rediscovery of illiteracy in industrialized countries during the second half of the 20th century. It offers a short explanation of how the construct evolved over time. In addition, it explores how functional (il)literacy is conceived differently by research discourses of cognitive and neural studies, on the one hand, and by prescriptive and normative international policy documents and adult education, on the other hand. Furthermore, it analyses how literacy skills surveys such as the Level One Study (leo.) or the PIAAC may help to bridge the gap between cognitive and more practical and educational approaches to literacy, the goal being to place the functional illiteracy (FI) construct within its existing scale levels. It also sheds more light on the way in which FI can be perceived in terms of different cognitive processes and underlying components of reading. By building on the previous work of other authors and previous definitions, the article brings together different views of FI and offers a perspective for a needed operational definition of the concept, which would be an appropriate reference point for future educational, political, and scientific utilization.

“The Unconscious” in Current Psychology

2010 ◽  
Vol 15 (3) ◽  
pp. 193-201 ◽  
Author(s):  
Elisabeth Norman
Keyword(s):  
Cognitive Psychology ◽  
Verbal Report ◽  
Psychological Research ◽  
Operational Definition ◽  
The Unconscious ◽  
Apparent Lack ◽  
Unconscious Processing ◽  
Unconscious Processes ◽  
Intermediate States ◽  
Definition Of

A series of vignette examples taken from psychological research on motivation, emotion, decision making, and attitudes illustrates how the influence of unconscious processes is often measured in a range of different behaviors. However, the selected studies share an apparent lack of explicit operational definition of what is meant by consciousness, and there seems to be substantial disagreement about the properties of conscious versus unconscious processing: Consciousness is sometimes equated with attention, sometimes with verbal report ability, and sometimes operationalized in terms of behavioral dissociations between different performance measures. Moreover, the examples all seem to share a dichotomous view of conscious and unconscious processes as being qualitatively different. It is suggested that cognitive research on consciousness can help resolve the apparent disagreement about how to define and measure unconscious processing, as is illustrated by a selection of operational definitions and empirical findings from modern cognitive psychology. These empirical findings also point to the existence of intermediate states of conscious awareness, not easily classifiable as either purely conscious or purely unconscious. Recent hypotheses from cognitive psychology, supplemented with models from social, developmental, and clinical psychology, are then presented all of which are compatible with the view of consciousness as a graded rather than an all-or-none phenomenon. Such a view of consciousness would open up for explorations of intermediate states of awareness in addition to more purely conscious or purely unconscious states and thereby increase our understanding of the seemingly “unconscious” aspects of mental life.

An Analysis of the Demand for Reporting on Internal Control

2000 ◽  
Vol 14 (3) ◽  
pp. 325-341 ◽  
Author(s):  
Heather M. Hermanson
Keyword(s):  
Decision Making ◽  
Financial Reporting ◽  
Internal Control ◽  
Operational Definition ◽  
Financial Statement ◽  
Individual Investors ◽  
Internal Auditors ◽  
Additional Information ◽  
User Groups ◽  
Definition Of

The purpose of this study is to analyze the demand for reporting on internal control. Nine financial statement user groups were identified and surveyed to determine whether they agree that: (1) management reports on internal control (MRIC) are useful, (2) MRICs influence decisions, and (3) financial reporting is improved by adding MRICs. In addition, the paper examined whether responses varied based on: (1) the definition of internal control used (manipulated as broad, operational definition vs. narrow, financial-reporting definition) and (2) user group. The results indicate that financial statement users agree that internal controls are important. Respondents agreed that voluntary MRICs improved controls and provided additional information for decision making. Respondents also agreed that mandatory MRICs improved controls, but did not agree about their value for decision making. Using a broad definition of controls, respondents strongly agreed that MRICs improved controls and provided a better indicator of a company's long-term viability. Executive respondents were less likely to agree about the value of MRICs than individual investors and internal auditors.

Shape Dynamics and the Linking Theory

2018 ◽  
Author(s):  
Flavio Mercati
Keyword(s):  
Phase Space ◽  
Degrees Of Freedom ◽  
Line Element ◽  
Hamiltonian Formulation ◽  
Operational Definition ◽  
Extended Phase Space ◽  
Extended Phase ◽  
Problem Of Time ◽  
Definition Of ◽  
Matter Fields

This chapter explains in detail the current Hamiltonian formulation of SD, and the concept of Linking Theory of which (GR) and SD are two complementary gauge-fixings. The physical degrees of freedom of SD are identified, the simple way in which it solves the problem of time and the problem of observables in quantum gravity are explained, and the solution to the problem of constructing a spacetime slab from a solution of SD (and the related definition of physical rods and clocks) is described. Furthermore, the canonical way of coupling matter to SD is introduced, together with the operational definition of four-dimensional line element as an effective background for matter fields. The chapter concludes with two ‘structural’ results obtained in the attempt of finding a construction principle for SD: the concept of ‘symmetry doubling’, related to the BRST formulation of the theory, and the idea of ‘conformogeometrodynamics regained’, that is, to derive the theory as the unique one in the extended phase space of GR that realizes the symmetry doubling idea.

scholarly journals Language Family Engineering with Product Lines of Multi-level Models

2021 ◽  
Author(s):  
Juan de Lara ◽  
Esther Guerra
Keyword(s):  
Software Engineering ◽  
Arbitrary Number ◽  
Formal Theory ◽  
The Other ◽  
Language Family ◽  
Top Down ◽  
Product Lines ◽  
Modelling Languages ◽  
Multi Level ◽  
Definition Of

AbstractModelling is an essential activity in software engineering. It typically involves two meta-levels: one includes meta-models that describe modelling languages, and the other contains models built by instantiating those meta-models. Multi-level modelling generalizes this approach by allowing models to span an arbitrary number of meta-levels. A scenario that profits from multi-level modelling is the definition of language families that can be specialized (e.g., for different domains) by successive refinements at subsequent meta-levels, hence promoting language reuse. This enables an open set of variability options given by all possible specializations of the language family. However, multi-level modelling lacks the ability to express closed variability regarding the availability of language primitives or the possibility to opt between alternative primitive realizations. This limits the reuse opportunities of a language family. To improve this situation, we propose a novel combination of product lines with multi-level modelling to cover both open and closed variability. Our proposal is backed by a formal theory that guarantees correctness, enables top-down and bottom-up language variability design, and is implemented atop the MetaDepth multi-level modelling tool.

Parallel and Distributed Processability of Objects

1989 ◽  
Vol 12 (3) ◽  
pp. 317-356
Author(s):  
David C. Rine
Keyword(s):  
Software Engineering ◽  
Software Design ◽  
Equivalence Classes ◽  
Minimum Amount ◽  
Software Components ◽  
Limited Extent ◽  
Design Environment ◽  
Distributed Software

Partitioning and allocating of software components are two important parts of software design in distributed software engineering. This paper presents two general algorithms that can, to a limited extent, be used as tools to assist in partitioning software components represented as objects in a distributed software design environment. One algorithm produces a partition (equivalence classes) of the objects, and a second algorithm allows a minimum amount of redundancy. Only binary relationships of actions (use or non-use) are considered in this paper.

scholarly journals The scale of effect depends on operational definition of forest cover—evidence from terrestrial mammals of the Brazilian savanna

2021 ◽  
Author(s):  
Christophe Amiot ◽  
Cyntia Cavalcante Santos ◽  
Damien Arvor ◽  
Beatriz Bellón ◽  
Hervé Fritz ◽  
...  
Keyword(s):  
Forest Cover ◽  
Operational Definition ◽  
Brazilian Savanna ◽  
Terrestrial Mammals ◽  
Scale Of Effect ◽  
Definition Of

scholarly journals Spiritual nursing care: A concept analysis

Curationis ◽  
2012 ◽  
Vol 35 (1) ◽  
Author(s):  
Lydia V. Monareng
Keyword(s):  
Nursing Care ◽  
Concept Analysis ◽  
Operational Definition ◽  
The Body ◽  
Empirical Literature ◽  
Spiritual Needs ◽  
Optimal Care ◽  
Health Crisis ◽  
Group Interviews ◽  
Definition Of

Although the concept ‘spiritual nursing care’ has its roots in the history of the nursing profession, many nurses in practice have difficulty integrating the concept into practice. There is an ongoing debate in the empirical literature about its definition, clarity and application in nursing practice. The study aimed to develop an operational definition of the concept and its application in clinical practice. A qualitative study was conducted to explore and describe how professional nurses render spiritual nursing care. A purposive sampling method was used to recruit the sample. Individual and focus group interviews were audio-taped and transcribed verbatim. Trustworthiness was ensured through strategies of truth value, applicability, consistency and neutrality. Data were analysed using the NUD*IST power version 4 software, constant comparison, open, axial and selective coding. Tech’s eight steps of analysis were also used, which led to the emergence of themes, categories and sub-categories. Concept analysis was conducted through a comprehensive literature review and as a result ‘caring presence’ was identified as the core variable from which all the other characteristics of spiritual nursing care arise. An operational definition of spiritual nursing care based on the findings was that humane care is demonstrated by showing caring presence, respect and concern for meeting the needs not only of the body and mind of patients, but also their spiritual needs of hope and meaning in the midst of health crisis, which demand equal attention for optimal care from both religious and nonreligious nurses.

scholarly journals Model-driven engineering city spaces via bidirectional model transformations

2021 ◽  
Author(s):  
Ennio Visconti ◽  
Christos Tsigkanos ◽  
Zhenjiang Hu ◽  
Carlo Ghezzi
Keyword(s):  
Software Engineering ◽  
Physical Space ◽  
Relevant Information ◽  
Domain Model ◽  
International Standards ◽  
Model Transformations ◽  
Context Analysis ◽  
Support Design ◽  
Programming Technique ◽  
Graph Theoretic

AbstractEngineering cyber-physical systems inhabiting contemporary urban spatial environments demands software engineering facilities to support design and operation. Tools and approaches in civil engineering and architectural informatics produce artifacts that are geometrical or geographical representations describing physical spaces. The models we consider conform to the CityGML standard; although relying on international standards and accessible in machine-readable formats, such physical space descriptions often lack semantic information that can be used to support analyses. In our context, analysis as commonly understood in software engineering refers to reasoning on properties of an abstracted model—in this case a city design. We support model-based development, firstly by providing a way to derive analyzable models from CityGML descriptions, and secondly, we ensure that changes performed are propagated correctly. Essentially, a digital twin of a city is kept synchronized, in both directions, with the information from the actual city. Specifically, our formal programming technique and accompanying technical framework assure that relevant information added, or changes applied to the domain (resp. analyzable) model are reflected back in the analyzable (resp. domain) model automatically and coherently. The technique developed is rooted in the theory of bidirectional transformations, which guarantees that synchronization between models is consistent and well behaved. Produced models can bootstrap graph-theoretic, spatial or dynamic analyses. We demonstrate that bidirectional transformations can be achieved in practice on real city models.

Sign in / Sign up

Export Citation Format

Share Document