An Object-Oriented Model for Extensible Concurrent Systems: the Composition-Filters Approach

Applying the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones. The object-oriented model is also quite suitable for modeling concurrent systems. However, it appears that extensibility and reusability of concurrent applications is far from trivial. The problems that arise, the so-called inheritance anomalies are analyzed and presented in this paper. A set of requirements for extensible concurrent languages is formulated. As a solution to the identified problems, an extension to the object-oriented model is presented; composition filters. Composition filters capture messages and can express certain constraints and operations on these messages, for example buffering. In this paper we explain the composition filters approach, demonstrate its expressive power through a number of examples and show that composition filters do not suffer from the inheritance anomalies and fulfill the requirements that were established

Examples of Reusing Synchronization Code in Aspect-Oriented Programming using Composition Filters

Applying the object-oriented paradigm for the development of large and complex software systems offers several advantages, of which increased extensibility and reusability are the most prominent ones. The object-oriented model is also quite suitable for modeling concurrent systems. However, it appears that extensibility and reusability of concurrent applications is far from trivial. The problems that arise, the so-called inheritance anomalies or crosscutting aspects have been extensively studied in the literature. As a solution to the synchronization reuse problems, we present the composition-filters approach. Composition filters can express synchronization constraints and operations on objects as modular extensions. In this paper we briefly explain the composition filters approach, demonstrate its expressive power through a number of examples and show that composition filters do not suffer from the inheritance anomalies

Multiphysics modeling for bone remodeling simulation: A methodological framework

In the present study an object oriented integrative modeling methodology is proposed for the construction of synthetic, computational models of bone-bone environment system that allow its simulation under in vivo conditions. The analytical mathematical approach to model and study ordinary materials will be outlined, indicating its limitations when dealing with biomaterials in physiological environments. The proposed object oriented integrative modeling will be explained emphasizing its advantages and possibilities. Finally, the architecture of the "in vivo" modeling and simulation software framework is shown, described and explained indicating further work based on this framework

Object oriented modeling frameworks for the social systems

In the present study, an object oriented approach and modeling framework is proposed for the construction of synthetic, computational models of social systems. The conventional approach to model and study social systems will be reviewed and outlined, indicating its limitations to deal with their associated complex turbulent phenomena. The proposed object oriented integrative modeling will be explained emphasizing its advantages compared to reductionist methods when dealing with complex systems. Finally, the main architecture of the UTOPIA computational modeling framework, an ongoing, development is shown and described

The Use of Object-Oriented Design Methodologies in Systems Design

Object-oriented design methodologies, along with object-oriented programming techniques, have recently gained significant popularity as their advantages have become evident. Traditional methodologies following the structured approach have not been successful in providing an accurate model of the business system.Object-oriented techniques, where an object in the computer system corresponds to a real-world object, have been much more successful in accurately modeling the business system and its environment. Object-oriented methodologies provide many advantages over structured approaches to systems design. Concepts such as data hiding, encapsulation, inheritance, dynamic binding, and polymorphism help to achieve an accurate and flexible system that is resistant to corruption and is easy to maintain. Objects, which are entities with a private memory and a public interface, are at the core of object-oriented methodologies. They represent the systems that are found in the real-world, and can be used, if they have been properly designed, as building blocks in various computer systems. The ability to re-use objects greatly reduces the cost of developing new systems. Not only do objects allow the reuse of program modules, but the reuse of entire system designs as well. In addition to reuse, they promote system extensibility and flexibility. Some drawbacks to the use of object-orientation exist, but can and should be overcome in order to obtain the advantages provided by the methodology. Students should familiarize themselves with object-oriented methodologies in order to place themselves in a better position in the job market upon graduation

Voxel based stochastic modeling of complex materials

In the present study an object oriented stochastic approach is proposed for the construction of synthetic, computational models of complex materials. The conventional approach to model and study materials mechanics will be outlined, indicating its limitations to deal with complex heterogeneous materials. The proposed object oriented integrative modeling will be explained emphasizing its advantages compared to continuum mechanics when dealing with complex materials. Finally, the stochastic assembly of complex materials synthetic samples is described and the architecture of the 3M2S (multiphysics materials modeling and simulation system) is shown, indicating further work based on 3M2s

Voxel based stochastic modeling of complex materials

In the present study an object oriented stochastic approach is proposed for the construction of synthetic, computational models of complex materials. The conventional approach to model and study materials mechanics will be outlined, indicating its limitations to deal with complex heterogeneous materials. The proposed object oriented integrative modeling will be explained emphasizing its advantages compared to continuum mechanics when dealing with complex materials. Finally, the stochastic assembly of complex materials synthetic samples is described and the architecture of the 3M2S (multiphysics materials modeling and simulation system) is shown, indicating further work based on 3M2s

Conceptual and application issues in the implementation of object-oriented GIS

The adoption of object-oriented technology for spatial data modeling is becoming a significant trend in GIS. This research explores the concepts of Object-Oriented GIS (OOGIS) and illustrates its versatility in two case studies. OOGIS provides a feature-based, intuitive representation of real world features. The study emphasizes the fundamental concepts of inheritance, polymorphism, and encapsulation in OOGIS and explores schema design, long transactions, and versioning. Further, the study discusses the advantages of OOGIS in the management and analysis of geospatial data. The case studies demonstrate both the conceptual basis of OOGIS and specific functionality including behavior, methods, versioning, long transactions and data locking. OOGIS demonstrates many advantages over the traditional entity-relationship model in database maintenance and functionality

Checking the TWIN elevator system by translating object-Z to SMV

In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its functional and non-functional requirements, like safety. Our work bridges this gap by providing a translation from the formal specification language Object-Z to the SMV model checker input language to combine their advantages. This paper focuses on the translation of the object-oriented features of Object-Z: operation promotion and communication between objects. We demonstrate the feasibility of our approach using the example of the TWIN Elevator system and embed the translation process in the industrial software production workflow