Type-based confinement

2005 ◽  
Vol 16 (1) ◽  
pp. 83-128 ◽  
Author(s):  
TIAN ZHAO ◽  
JENS PALSBERG ◽  
JAN VITEK
Keyword(s):  
Data Structures ◽  
Type System ◽  
Object Oriented ◽  
Point Of View ◽  
Generic Extension ◽  
Practical Point ◽  
Related Research ◽  
Language Based Security ◽  
Object Graphs ◽  
Object Oriented Systems

Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for building secure object-oriented systems as security requires that the interface between trusted and untrusted components of a system be clearly delineated and restricted to the smallest possible set of operations and data structures. This paper investigates the notion of package-level confinement and proposes a type system that enforces this notion for a call-by-value object calculus as well as a generic extension thereof. We give a proof of soundness of this type system, and establish links between this work and related research in language-based security.

Key Classes in Object-Oriented Systems: Detection and Assessment

2019 ◽  
Vol 29 (10) ◽  
pp. 1439-1463
Author(s):  
Liliane do Nascimento Vale ◽  
Marcelo de Almeida Maia
Keyword(s):  
Software Design ◽  
State Of The Art ◽  
Object Oriented ◽  
Ground Truth ◽  
Point Of View ◽  
Third Party ◽  
Design Assessment ◽  
Main Challenge ◽  
Structural Metrics ◽  
Object Oriented Systems

Inadequate documentation of software design has been known to be a barrier for developers. Interestingly, several relevant object-oriented systems have their design documented using key classes, which are meant to represent key concepts of the systems. In order to fill the gap of under-documented design, we present Keecle, an approach for detecting a predefined number of key classes in a semi-automatic way. The main challenge is to reduce the space of potentially thousands of classes to just a few representatives of the main concepts of a system, while maintaining high precision. The approach is evaluated with 13 systems in order to assess its correctness. The ground-truth is obtained either from the original documentation, or from third-party, or from the respective developers. The results were analyzed in terms of precision and recall, and have shown to be superior compared to the state-of-the-art approach. In order to evaluate if key classes are more critical from the design point of view, we evaluated whether they are associated with cohesion and coupling metrics. We found that although key classes, in general, are critical from the point of view of design, there are other classes that are also critical, suggesting that being aware of key classes encompass information not available in structural metrics, and could be useful as a additional facet for design assessment.

scholarly journals Simulation of Intelligence Evolution in Object-Oriented Systems

2020 ◽  
Vol 07 (03) ◽  
pp. 209-229
Author(s):  
Bálint Fazekas ◽  
Attila Kiss
Keyword(s):  
Artificial Intelligence ◽  
Machine Learning ◽  
Object Oriented ◽  
General System ◽  
Point Of View ◽  
Human Intelligence ◽  
Function Model ◽  
The Difference ◽  
Object Oriented Systems

In classical artificial intelligence and machine learning fields, the aim is to teach a certain program to find the most convenient and efficient way of solving a particular problem. However, these approaches are not suitable for simulating the evolution of human intelligence, since intelligence is a dynamically changing, volatile behavior, which greatly depends on the environment an agent is exposed to. In this paper, we present several models of what should be considered, when trying to simulate the evolution of intelligence of agents within a given environment. We explain several types of entropies, and introduce a dominant function model. By unifying these models, we explain how and why our ideas can be formally detailed and implemented using object-oriented technologies. The difference between our approach and that described in other papers also — approaching evolution from the point of view of entropies — is that our approach focuses on a general system, modern implementation solutions, and extended models for each component in the system.

Early generation of performance models for object-oriented systems

2000 ◽  
Vol 147 (3) ◽  
pp. 61 ◽  
Author(s):  
V. Cortellessa ◽  
G. Iazeolla ◽  
R. Mirandola
Keyword(s):  
Object Oriented ◽  
Performance Models ◽  
Early Generation ◽  
Object Oriented Systems

Testing Refactoring Implementations of Object-Oriented Systems

2018 ◽  
Vol 6 (7) ◽  
pp. 530-534
Author(s):  
B. Nagaveni ◽  
A. Ananda Rao ◽  
P. Radhika Raju
Keyword(s):  
Object Oriented ◽  
Object Oriented Systems

Tertiary Nitrification Pilot Plants on Parisian Waste Water

1990 ◽  
Vol 22 (1-2) ◽  
pp. 347-352 ◽  
Author(s):  
C. Paffoni ◽  
B. Védry ◽  
M. Gousailles
Keyword(s):  
Waste Water ◽  
Metropolitan Area ◽  
Fixed Bed ◽  
Point Of View ◽  
Operating Conditions ◽  
Research Center ◽  
Daily Output ◽  
Practical Point ◽  
Fixed Bed Reactors

The Paris Metropolitan area, which contains over eight million inhabitants, has a daily output of about 3 M cu.meters of wastewater, the purification of which is achieved by SIAAP (Paris Metropolitan Area Sewage Service) in both Achères and Valenton plants. The carbon pollution is eliminated from over 2 M cu.m/day at Achères. In order to improve the quality of output water, its tertiary nitrification in fixed-bed reactors has been contemplated. The BIOFOR (Degremont) and BIOCARBONE (OTV) processes could be tested in semi-industrial pilot reactors at the CRITER research center of SIAAP. At a reference temperature of 13°C, the removed load is approximately 0.5 kg N NH4/m3.day. From a practical point of view, it may be asserted that in such operating conditions as should be at the Achères plant, one cubic meter of filter can handle the tertiary nitification of one cubic meter of purified water per hour at an effluent temperature of 13°C.

scholarly journals On the Design of Outdoor Leader-Follower UAV-Formation Controllers from a Practical Point of View

IEEE Access ◽  
2021 ◽  
pp. 1-1
Author(s):  
Lucas Vago Santana ◽  
Alexandre Santos Brandao ◽  
Mario Sarcinelli-Filho
Keyword(s):  
Point Of View ◽  
Practical Point

The object-oriented systems life cycle

1990 ◽  
Vol 33 (9) ◽  
pp. 142-159 ◽  
Author(s):  
Brian Henderson-Sellers ◽  
Julian M. Edwards
Keyword(s):  
Life Cycle ◽  
Object Oriented ◽  
Object Oriented Systems
Sign in / Sign up

Export Citation Format

Share Document