Information Flow in Object-Oriented Software

2014 ◽  
pp. 19-37 ◽  
Author(s):  
Bernhard Beckert ◽  
Daniel Bruns ◽  
Vladimir Klebanov ◽  
Christoph Scheben ◽  
Peter H. Schmitt ◽  
...  
Keyword(s):  
Information Flow ◽  
Object Oriented

Exception-based information flow control in object-oriented systems

1998 ◽  
Vol 1 (1) ◽  
pp. 26-65 ◽  
Author(s):  
Elisa Bertino ◽  
Sabrina De Capitani Di Vimercati ◽  
Elena Ferrari ◽  
Pierangela Samarati
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Object Oriented ◽  
Information Flow Control ◽  
Object Oriented Systems

Information flow control in object-oriented systems

1997 ◽  
Vol 9 (4) ◽  
pp. 524-538 ◽  
Author(s):  
P. Samarati ◽  
E. Bertino ◽  
A. Ciampichetti ◽  
S. Jajodia
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Object Oriented ◽  
Information Flow Control ◽  
Object Oriented Systems

Object-Oriented Analysis of an Information Model for Hull Piece Fabrication

1999 ◽  
Vol 15 (04) ◽  
pp. 207-221
Author(s):  
Jong Gye Shin ◽  
Won Don Kim
Keyword(s):  
Information Flow ◽  
Information Integration ◽  
Object Oriented ◽  
Information Model ◽  
Object Relation ◽  
Point Of View ◽  
Information Modeling ◽  
Product Model ◽  
Object Oriented Approach ◽  
Improved Accuracy

The production procedure of ship's hull plates includes hull modeling, lofting, cutting, and forming in sequence. Each process is isolated from the point of view of information flow and current practices in forming hull pieces are experience-dependent. This, in turn, reduces productivity and prevents the development of automation. To satisfy shipyards' demand for improved accuracy and enhanced productivity with mechanization or automation, it is necessary to collect production information, and to structure and maintain it in a well-organized manner. The objective of this paper is to propose an information model for ship's hull piece forming in a systematic manner. First, current shipyardsi practices and information flow relative to hull production process are described. From the point of view of information integration, the necessity of an information model is clarified. An information model for ship's hull piece forming is then proposed. For the information model, product model and concurrent engineering concepts are introduced. Since the construction of the information model with the two concepts requires an object-oriented approach, a new mixed-type, called here ‘hybrid’, object-oriented methodology for hull piece information model is defined. Based on the proposed methodology, the object association and operation analyses are carried out for the information modeling of hull piece forming. Through the analysis, the object-relation diagram shows that kinematics data is indispensable to construct the information model for hull piece forming.

ASSOCIATION-BASED INFORMATION FLOW CONTROL IN OBJECT-ORIENTED SYSTEMS

2004 ◽  
Vol 14 (03) ◽  
pp. 291-322
Author(s):  
SHIH-CHIEN CHOU ◽  
YING-KAI WEN
Keyword(s):  
Flow Control ◽  
Information Flow ◽  
Information Leakage ◽  
Object Oriented ◽  
Control Model ◽  
Program Execution ◽  
Information Flows ◽  
Information Flow Control ◽  
Object Oriented Systems

Controlling information flows to prevent information leakage within an application is essential. According to the maturity of object-oriented techniques, many models were developed for the control in object-oriented systems. Since objects may be dynamically instantiated during program execution, controlling information flows among objects is difficult. Our research revealed that association is useful in the control. We developed an association-based information flow control model for object-oriented systems. It precisely controls information flows among objects through associations and constraints. It also offers features such as controlling method invocation through argument sensitivity, allowing declassification, allowing purpose-oriented method invocation, and precisely controlling write access. This paper proposes the model and the implementation of the model, which is composed of the language AbFlow (association-based flow) and its supporting environment.

Automatic detection and demonstrator generation for information flow leaks in object-oriented programs

2017 ◽  
Vol 67 ◽  
pp. 335-349 ◽  
Author(s):  
Quoc Huy Do ◽  
Richard Bubel ◽  
Reiner Hähnle
Keyword(s):  
Information Flow ◽  
Object Oriented ◽  
Automatic Detection
Sign in / Sign up

Export Citation Format

Share Document