Algorithmic Transparency of Large-Scale *AIDA Programs

Programming in pictures is an approach where pictures and moving pictures are used as super-characters to represent the features of computational algorithms and data structures, as well as for explaining the models and application methods involved. *AIDA is a computer language that supports programming in pictures. This language and its environment have been developed and promoted as a testbed for various innovations in information technology (IT) research and implementation, including exploring the compactness of the programs and their adaptive software systems, and obtaining better understanding of information resources. In this paper, new features of the environment and methods of their implementation are presented. They are considered within a case study of a large-scale module of a nuclear safety analysis system to demonstrate that *AIDA language is appropriate for developing efficient codes of serious applications and for providing support, based on folding/unfolding techniques, enhancing the readability, maintainability and algorithmic transparency of programs. Features of this support and the code efficiency are presented through the results of a computational comparison with a FORTRAN equivalent.

Download Full-text

Smart Brix—a continuous evolution framework for container application deployments

PeerJ Computer Science ◽

10.7717/peerj-cs.66 ◽

2016 ◽

Vol 2 ◽

pp. e66 ◽

Cited By ~ 2

Author(s):

Johannes M. Schleicher ◽

Michael Vögler ◽

Christian Inzinger ◽

Schahram Dustdar

Keyword(s):

Large Scale ◽

Software Systems ◽

Continuous Evolution ◽

Self Assembling ◽

Large Numbers ◽

Container Management ◽

Compliance Requirements ◽

Application Deployment ◽

System Virtualization

Container-based application deployments have received significant attention in recent years. Operating system virtualization based on containers as a mechanism to deploy and manage complex, large-scale software systems has become a popular mechanism for application deployment and operation. Packaging application components into self-contained artifacts has brought substantial flexibility to developers and operation teams alike. However, this flexibility comes at a price. Pracitioners need to respect numerous constraints ranging from security and compliance requirements, to specific regulatory conditions. Fulfilling these requirements is especially challenging in specialized domains with large numbers of stakeholders. Moreover, the rapidly growing number of container images to be managed due to the introduction of new or updated applications and respective components, leads to significant challenges for container management and adaptation. In this paper, we introduce Smart Brix, a framework for continuous evolution of container application deployments that tackles these challenges. Smart Brix integrates and unifies concepts of continuous integration, runtime monitoring, and operational analytics. Furthermore, it allows practitioners to define generic analytics and compensation pipelines composed of self-assembling processing components to autonomously validate and verify containers to be deployed. We illustrate the feasibility of our approach by evaluating our framework using a case study from the smart city domain. We show that Smart Brix is horizontally scalable and runtime of the implemented analysis and compensation pipelines scales linearly with the number of container application packages.

Download Full-text

A case study on testing, commissioning, and operation of very-large-scale software systems

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591179 ◽

2014 ◽

Cited By ~ 17

Author(s):

Michael Vierhauser ◽

Rick Rabiser ◽

Paul Grünbacher

Keyword(s):

Large Scale ◽

Software Systems

Download Full-text

Mind Your Outcomes: The ∆Q approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study

10.20944/preprints202112.0132.v2 ◽

2021 ◽

Author(s):

Seyed Hossein HAERI ◽

Peter Thompson ◽

Neil Davies ◽

Peter Van Roy ◽

Kevin Hammond ◽

...

Keyword(s):

Real World ◽

Large Scale ◽

Critical Issue ◽

Systems Development ◽

Software Systems ◽

Design Decisions ◽

Detailed Design ◽

Distributed Software ◽

Design And Implementation

This paper directly addresses a critical issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply and reliably whether they will deliver their intended performance before expending significant time, effort and money on detailed design and implementation. We describe ΔQSD, a novel metrics-based and quality-centric paradigm that uses formalised outcome diagrams to explore the performance consequences of design decisions, as a performance blueprint of the system. The ΔQSD paradigm is both effective and generic: it allows values from various sources to be combined in a rigorous way, so that approximate results can be obtained quickly and subsequently refined. ΔQSD has been successfully used by Predictable Network Solutions for consultancy on large-scale applications in a number of industries, including telecommunications, avionics, and space and defence, resulting in cumulative savings of $Bs. The paper outlines the ΔQSD paradigm, describes its formal underpinnings, and illustrates its use via a topical real-world example taken from the blockchain/cryptocurrency domain, where application of this approach enabled an advanced distributed proof-of-stake system to meet challenging throughput targets.

Download Full-text

Dialoguing with Data and Data Reduction: An Observational, Narrowing-Down Approach to Social Media Network Analysis

Journalism and Media ◽

10.3390/journalmedia2010002 ◽

2021 ◽

Vol 2 (1) ◽

pp. 14-29

Author(s):

Jingrong Tong ◽

Landong Zuo

Keyword(s):

Social Media ◽

Large Scale ◽

Human Subjects ◽

Computational Algorithms ◽

Human Relationships ◽

Social Media Networks ◽

Large Scale Data ◽

Social Media Network ◽

Scale Data

In this article, we propose an observational, narrowing-down approach to analysing social media networks and developing research design by the joint use of computational algorithms and researchers’ inductive exploration and interpretive explanations. The Brexit referendum on Twitter study is used to illustrate how we applied this approach in practice. In this study, observation helped us combine the strengths of computational statistical analysis and modelling and of inductive inquiries. Computational algorithms and tools including Elasticsearch, Kibana and Gephi provided us with an “ethnographic field” where we were able to inductively observe the relationships among users and to reduce the amount of data down to a level in which we could intuitively understand these relationships. In traditional observational studies, talking to human subjects and observing their interactions in a research site are important to ethnographers. Likewise, it is useful for social science researchers to dialogue with data, observe human relationships embodied in the data and reconstructed by computational tools, and understand these relationships through closely examining a small batch of meaningful data that is extracted from large-scale data. In this case study, adopting the proposed approach, we found the importance of political disagreement leading to a tale of two politicians, in which pro-Brexit users denounced @David_Cameron but legitimised @Nigel_Farage.

Download Full-text

Exploiting the Overlapping of Higher Order

International Journal of Agent Technologies and Systems ◽

10.4018/ijats.2014070102 ◽

2014 ◽

Vol 6 (3) ◽

pp. 32-57 ◽

Cited By ~ 3

Author(s):

Hosny A. Abbas

Keyword(s):

Large Scale ◽

Higher Order ◽

Self Organization ◽

Software Systems ◽

Multi Agent Systems ◽

Organizational Models ◽

Working Environments ◽

Agent Oriented Software Engineering ◽

Multi Agent

Currently multi-agent systems (MAS, sometimes MASs) are receiving great attention as a promising approach for modeling, designing, and developing complex, decentralized and large-scale software systems. The captivating characteristics they provide such as decentralization, dynamic reorganization, self-organization, emergence, autonomy, etc., make them a perfect solution for handling current software systems challenges specially their unpredictable and highly changing working environments. Organization-centered MAS (OCMAS) are concerned with the modeling of MAS using higher order abstraction entities than individual agents. Organizational models are the key tool to develop OCMAS; they are currently an important part of most agent-oriented software engineering (AOSE) methodologies. This paper proposes a novel organizational model called NOSHAPE. It exploits the overlapping relationships among higher order abstraction entities such as organizations of agents, worlds of organizations, and even universes of worlds within MAS to realize and utilize their captivating characteristics. The NOSHAPE model is informally and semi-formally described and its applicability is demonstrated with a case study.

Download Full-text

A Family With Autosomal-Dominant Progressive Sensorineural Hearing Loss

American Journal of Audiology ◽

10.1044/1059-0889.0501.23 ◽

1996 ◽

Vol 5 (1) ◽

pp. 23-32 ◽

Cited By ~ 3

Author(s):

Chris Halpin ◽

Barbara Herrmann ◽

Margaret Whearty

Keyword(s):

Speech Production ◽

Hearing Aids ◽

Role Models ◽

Speech Intelligibility ◽

Large Scale ◽

Speech Language Pathology ◽

The Family ◽

Patient Will ◽

Language Pathology

The family described in this article provides an unusual opportunity to relate findings from genetic, histological, electrophysiological, psychophysical, and rehabilitative investigation. Although the total number evaluated is large (49), the known, living affected population is smaller (14), and these are spread from age 20 to age 59. As a result, the findings described above are those of a large-scale case study. Clearly, more data will be available through longitudinal study of the individuals documented in the course of this investigation but, given the slow nature of the progression in this disease, such studies will be undertaken after an interval of several years. The general picture presented to the audiologist who must rehabilitate these cases is that of a progressive cochlear degeneration that affects only thresholds at first, and then rapidly diminishes speech intelligibility. The expected result is that, after normal language development, the patient may accept hearing aids well, encouraged by the support of the family. Performance and satisfaction with the hearing aids is good, until the onset of the speech intelligibility loss, at which time the patient will encounter serious difficulties and may reject hearing aids as unhelpful. As the histological and electrophysiological results indicate, however, the eighth nerve remains viable, especially in the younger affected members, and success with cochlear implantation may be expected. Audiologic counseling efforts are aided by the presence of role models and support from the other affected members of the family. Speech-language pathology services were not considered important by the members of this family since their speech production developed normally and has remained very good. Self-correction of speech was supported by hearing aids and cochlear implants (Case 5’s speech production was documented in Perkell, Lane, Svirsky, & Webster, 1992). These patients received genetic counseling and, due to the high penetrance of the disease, exhibited serious concerns regarding future generations and the hope of a cure.

Download Full-text