ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design

1998 ◽  
Vol 08 (04) ◽  
pp. 517-540 ◽  
Author(s):  
Spiros Mancoridis
Keyword(s):  
Software Design ◽  
Deductive Database ◽  
Formal Definition ◽  
Simple Design ◽  
The Core ◽  
Custom Design ◽  
Database Technology ◽  
Definition Of ◽  
High Level ◽  
Visual Notation

We have developed a framework for specifying high-level software designs. The core of the framework is a very simple visual notation. This notation enables designers to document designs as labelled rectangles and directed edges. In addition to the notation, our framework features a supporting formalism, called ISF (Interconnection Style Formalism). This formalism enables designers to customize the simple design notation by specifying the type of entities, relations, legal configurations of entities and relations, as well as scoping rules of the custom notation. In this paper we present the formal definition of ISF and use ISF to specify two custom design notations. We also describe how ISF specifications, using deductive database technology, are used to generate supporting tools for these custom notations.

A Systemic Approach for the Formalization of the Information Systems Concept

2011 ◽  
pp. 1-29 ◽  
Author(s):  
Manuel Mora ◽  
Ovsei Gelman ◽  
Francisco Cervantes ◽  
Marcelo MejIa ◽  
Alfredo Weitzenfeld
Keyword(s):  
Information Systems ◽  
Conceptual Knowledge ◽  
Conceptual Development ◽  
Systems Approach ◽  
Formal Definition ◽  
Problematic Situation ◽  
Knowledge Resources ◽  
Concept System ◽  
The Core ◽  
Definition Of

In the new economic context, based on Information and Knowledge resources, the concepts of Information Systems and Information Technology (IS&IT) are fundamental to understand the organizational and managerial process in all levels: strategic, tactic and operational. From an academic and practitioner perspective, we pose that the correct use of the concept of IS&IT, and in specific of Information Systems, is critical. First ones need to study the same object and second ones need to use the same common conceptual knowledge about what are Information Systems. Nevertheless, uniquely informal and semiformal definitions of Information Systems have been reported in the literature and thus a formal definition based on core systemic foundations is missing. For these reasons, the conceptualization and formal definition of what are Information Systems acquires a relevant research and praxis status. This chapter addresses this problematic situation posing a formal definition of the term Information Systems based on core theoretical principles of the Systems Approach. For that, we firstly review the foundations of Systems Approach to establish the basis for our conceptual development. Then, an updated formal definition of the core concept System originally developed by Gelman and Garcia (1989) and that incorporates new insights from other systemic researchers is presented. With these theoretical bases, we proceed to review the contributions and limitations of main informal and semiformal definitions of the term Information Systems reported at the literature. Then the new formal definition of this term is developed using the updated formal definition of the term System. We continue with a discussion of how the definition posed formalizes systemic concepts of previous definitions, of how these are partial cases of the new definition and of how it can be used to model and study Information Systems in organizations. Finally, we conclude with main remarks and implications of this definition and with directions for further research.

Reviews of the Literature

1955 ◽  
Vol 14 (1) ◽  
pp. 34-36
Keyword(s):  
Natural Resources ◽  
Urban Society ◽  
Formal Definition ◽  
Underlying Assumption ◽  
The Core ◽  
Legal Structure ◽  
Political Ideologies ◽  
Central Bond ◽  
Definition Of

This book is meant as an overview of the rapidly increasing literature on "those social roles which arise from the classification of men by the work they do." The core of his problem, Professor Caplow states, is the interplay of such factors as "the availability of natural resources, political ideologies, and the legal structure … with the more or less predictable consequences of the division of labor" (e.g. size, specialization, and rationalization). His underlying assumption, he says, is Durkheim's: occupation is the central bond of solidarity in modern urban society. Neither the formal definition of task nor the underlying assumption are pursued systematically—and, in fact, occupational groupings are later seen as subordinate to "more fundamental affiliations based on kinship, locality, religion, property, and status." (p. 182).

scholarly journals Type stability in Julia: avoiding performance pathologies in JIT compilation

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-26
Author(s):  
Artem Pelenitsyn ◽  
Julia Belyakova ◽  
Benjamin Chung ◽  
Ross Tate ◽  
Jan Vitek
Keyword(s):  
Programming Language ◽  
Corpus Analysis ◽  
Formal Definition ◽  
Compiler Optimizations ◽  
Definition Of ◽  
High Level ◽  
Jit Compilation

As a scientific programming language, Julia strives for performance but also provides high-level productivity features. To avoid performance pathologies, Julia users are expected to adhere to a coding discipline that enables so-called type stability. Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values. This paper provides a formal definition of type stability as well as a stronger property of type groundedness, shows that groundedness enables compiler optimizations, and proves the compiler correct. We also perform a corpus analysis to uncover how these type-related properties manifest in practice.

scholarly journals Syntactic soundness proof of a type-and-capability system with hidden state

2012 ◽  
Vol 23 (1) ◽  
pp. 38-144 ◽  
Author(s):  
FRANÇOIS POTTIER
Keyword(s):  
Linear Logic ◽  
Scale Up ◽  
Type System ◽  
The Other ◽  
Formal Definition ◽  
Proof Technique ◽  
The Core ◽  
Proof Techniques ◽  
Definition Of ◽  
Intuitionistic Linear Logic

AbstractThis paper presents a formal definition and machine-checked soundness proof for a very expressive type-and-capability system, that is, a low-level type system that keeps precise track of ownership and side effects. The programming language has first-class functions and references. The type system's features include the following: universal, existential, and recursive types; subtyping; a distinction between affine and unrestricted data; support for strong updates; support for naming values and heap fragments via singleton and group regions; a distinction between ordinary values (which exist at runtime) and capabilities (which do not); support for dynamic reorganizations of the ownership hierarchy by disassembling and reassembling capabilities; and support for temporarily or permanently hiding a capability via frame and anti-frame rules. One contribution of the paper is the definition of the type-and-capability system itself. We present the system as modularly as possible. In particular, at the core of the system, the treatment of affinity, in the style of dual intuitionistic linear logic, is formulated in terms of an arbitrarymonotonic separation algebra, a novel axiomatization of resources, ownership, and the manner in which they evolve with time. Only the peripheral layers of the system are aware that we are dealing with a specific monotonic separation algebra, whose resources are references and regions. This semi-abstract organization should facilitate further extensions of the system with new forms of resources. The other main contribution is a machine-checked proof of type soundness. The proof is carried out in the Wright and Felleisen's syntactic style. This offers an evidence that this relatively simple-minded proof technique can scale up to systems of this complexity, and constitutes a viable alternative to more sophisticated semantic proof techniques. We do not claim that the syntactic technique is superior: We simply illustrate how it is used and highlight its strengths and shortcomings.

scholarly journals Hierarchical Identity-based Broadcast Cryptography and its Application in Blockchain

2021 ◽  
Author(s):  
Chenchen Han
Keyword(s):  
Data Security ◽  
Hot Spots ◽  
Research Direction ◽  
Broadcast Encryption ◽  
Formal Definition ◽  
Database Technology ◽  
Identity Based ◽  
Identity Based Cryptography ◽  
Definition Of

Blockchain as an emerging cryptographic database technology has gained wide attention in many directions. Among them, data security is one of the hot spots of research in blockchain. In this paper, we first analyze the security problems of blockchain and then propose to solve them with hierarchical identity-based broadcast encryption (HIBBE). HIBBE, as a variant of hierarchical identity-based cryptography, can effectively improve the data security. HIBBE has all the characteristics of hierarchical identity-based cryptography, so it has potential in decentralized application scenarios. Then we made an overview of the several existing HIBBE scheme. This paper also gives a formal definition of HIBBE and concludes with the research direction of HIBBE-based blockchain.

scholarly journals Using Moral Principles to Guide Decisions

2018 ◽  
Author(s):  
Holly M. Smith
Keyword(s):  
Decision Maker ◽  
Moral Theory ◽  
Moral Principle ◽  
Formal Definition ◽  
Moral Principles ◽  
The Core ◽  
Moral Theories ◽  
Definition Of

The Usability Demand is a demand that an acceptable moral theory be usable by those governed by it. For an inquiry into whether and how moral theories meet this demand, it is crucial to understand “usability.” Chapter 2 analyzes the concepts of what it is for a decision maker to use a moral principle to make a decision, and what makes a moral principle usable. It introduces the distinction between an agent’s ability in the core and the extended senses to use a moral principle as a decision-guide, and offers a formal definition of “usability” that tells us how a principle can prescribe an act under an “immediately helpful” description. The question of whether the Usability Demand requires extended or merely core usability is deferred to subsequent chapters.

Ways and Voices in the Psychoanalysis of Links According to Enrique Pichon-Rivière

2016 ◽  
Vol 6 (2) ◽  
Author(s):  
Rosa Jaitin
Keyword(s):  
Couple Therapy ◽  
Clinical Observation ◽  
Clinical Work ◽  
The Core ◽  
The Social ◽  
The 1960S ◽  
Definition Of ◽  
Relationship Of ◽  
The Voice ◽  
Different Levels

This article covers several stages of the work of Pichon-Rivière. In the 1950s he introduced the hypothesis of "the link as a four way relationship" (of reciprocal love and hate) between the baby and the mother. Clinical work with psychosis and psychosomatic disorders prompted him to examine how mental illness arises; its areas of expression, the degree of symbolisation, and the different fields of clinical observation. From the 1960s onwards, his experience with groups and families led him to explore a second path leading to "the voices of the link"—the voice of the internal family sub-group, and the place of the social and cultural voice where the link develops. This brought him to the definition of the link as a "bi-corporal and tri-personal structure". The author brings together the different levels of the analysis of the link, using as a clinical example the process of a psychoanalytic couple therapy with second generation descendants of a genocide within the limits of the transferential and countertransferential field. Body language (the core of the transgenerational link) and the couple's absences and presence during sessions create a rhythm that gives rise to an illusion, ultimately transforming the intersubjective link between the partners in the couple and with the analyst.

ДОМИНАНТНО-ФУНКЦИОНАЛЬНАЯ СТРУКТУРА ИДИОСТИЛЯ М.Ф. ДОРОНОВИЧА// Humanitarian and Socio-Economic Sciences Journal/ OEAPS Inc., Berlin, Germany, pp.46-55

2018 ◽  
Author(s):  
Olga Dorofeeva ◽  
Любовь Викторовна Чернова
Keyword(s):  
Functional Structure ◽  
The Core ◽  
Definition Of

Обращаясь к рассмотрению вопроса о доминантно-функциональной структуреидиостиля, авторы раскрывают дефиницию «идиостиль» в его связи с экстра- и интралингвистическими факторами. Рассматривая творчество публициста М.Ф. Дороновича через призму одножанровых текстов, авторы выделяют доминанты, составляющие ядро идиостиля публициста. К числу таковых относятся оценочная метафоричность, гиперболичность, фразеологичность, реализующиеся как на уровне тропов, так и на уровне синтаксических фигур.Addressing the issue of dominant-functional structure of idiostyle, the authors reveal the definition of "idiostyle" in its connection with extra- and intralinguistic factors. Considering the creativity of the writer M.F. Doronovich through the lens of various genres of texts, the authors identify the dominant components of the core of the idiostyle of the writer. These include evaluative metaphoricity, hyperbolicity, phraseology, which are implemented both at the level of tropes and at the level of syntactic figures.СВЕДЕНИЯ О ГРАНТАХ И ФИНАНСИРОВАНИИИсследование подготовлено при поддержке Российского фонда фундаментальных исследований (отделение гуманитарных и общественных наук) и Министерства образования, науки и молодёжной политики Краснодарского края в рамках научного проекта № 18-412-230008 а(р) «Язык и стиль публикаций М.Ф. Дороновича в кубанских дореволюционных газетах». Руководитель проекта – О.А. Дорофеева.

Reference Conundrum: The Broad Definition of Peer-Review

2018 ◽  
Author(s):  
Cody Fullerton
Keyword(s):  
Peer Review ◽  
Gold Standard ◽  
Review Process ◽  
Peer Review Process ◽  
Academic Publishing ◽  
Inaccurate Information ◽  
The Core ◽  
Literature Reviews ◽  
Reference Interactions ◽  
Definition Of

For years, the gold-standard in academic publishing has been the peer-review process, and for the most part, peer-review remains a safeguard to authors publishing intentionally biased, misleading, and inaccurate information. Its purpose is to hold researchers accountable to the publishing standards of that field, including proper methodology, accurate literature reviews, etc. This presentation will establish the core tenants of peer-review, discuss if certain types of publications should be able to qualify as such, offer possible solutions, and discuss how this affects a librarian's reference interactions.

Assessment of multimorbidity of diseases in geriatric practice

2020 ◽  
pp. 17-21
Author(s):  
Mark Oprenko
Keyword(s):  
Quality Of Life ◽  
The Core ◽  
Definition Of

The definition of the multimorbidity concept reveals insufficient specificity of the comorbidity and multimorbidity definitions and, as a result, confusion in the use of these terms. Most authors are unanimous that the “core” of multimorbidity is presence of more than one disease in a patient. These coexisting diseases can be pathogenetically interconnected and non-interconnected. Regardless, the degree of multimorbidity always affects prognosis and quality of life.

Sign in / Sign up

Export Citation Format

Share Document