Towards a Precise Semantics for Object-Oriented Modeling Techniques

In this paper we present a possible way how a precise semantics of object oriented modeling techniques can be achieved and what the possible benefits are .We outline the main modeling techniques used in the SysLab project sketch how a precise semantics can be given and how this semantics can be used during the development process.Comment: 6 pages, 0 figure

Integrating object-oriented modeling techniques with formal specification techniques

The increasing complexity of software systems makes their development complicated and error prone. A widely used and generally accepted technique in software engineering is the combination of different models (or views) for the description of software systems. The primary benefit of this approach is to model only related aspects (Iike structure or behavior). Using different models cIarifies different important aspects of the system, but it has to be taken into consideration that these models are not independent and they are semantically overlapping.\nThe models constitute the fundamental base of information upon which the problem domain experts, the analysts and the software developers interact. Thus, it is of a fundamental importance that it clearly and accurately expresses the essence of the problem. On the other hand, the model construction activity is a critical part in the development process.\nSince models are the result of a complex and creative activity, they tend to contain errors, omissions and inconsistencies. Model verification is very important, since errors in this stage have an expensive impact on the following stages of the software development process.Eje: Teorí

Integrating object-oriented modeling techniques with formal specification techniques

The increasing complexity of software systems makes their development complicated and error prone. A widely used and generally accepted technique in software engineering is the combination of different models (or views) for the description of software systems. The primary benefit of this approach is to model only related aspects (Iike structure or behavior). Using different models cIarifies different important aspects of the system, but it has to be taken into consideration that these models are not independent and they are semantically overlapping. The models constitute the fundamental base of information upon which the problem domain experts, the analysts and the software developers interact. Thus, it is of a fundamental importance that it clearly and accurately expresses the essence of the problem. On the other hand, the model construction activity is a critical part in the development process. Since models are the result of a complex and creative activity, they tend to contain errors, omissions and inconsistencies. Model verification is very important, since errors in this stage have an expensive impact on the following stages of the software development process.Eje: TeoríaRed de Universidades con Carreras en Informática (RedUNCI

An Object Oriented Approach for Business Process Reengineering

Successful Business Process Reengineering (BPR) projects depend on the appropriate business process modeling techniques. On the other side, Information technology (IT) is considered as a key enabler of BPR. Since the object-oriented technique became the most common approach for implementing information systems, the object oriented approach to business process modeling seems to be the best way for more successful BPR projects. This work aims to develop a modeling method for BPR. This method should fill the gap between modeling business process and creating a supportive information system for the redesigned processes in BPR. The present work introduces BPR modeling method that links object orientation with business process modeling. The proposed method integrates an object-oriented modeling method (An Extended object-oriented modeling method) with object-oriented modeling language (Unified Modeling language UML). Design science methodology was used to develop the proposed modeling method. The proposed method was implemented into two types of business process case studies. The implementation showed a promising modeling technique for representing the business process and linking business process modeling with the development of the supportive information system

High-Order Object Model Based Software Analysis

The integration of object oriented modeling and structured analysis (SA) for developing a well structured object oriented software system is a challenge for requirements analysts and software designers. Some of the existing object oriented modeling techniques adopt approaches that are very different from SA, and others have clumsily stayed with SA after a few modifications. Our High Order Object Modeling Technique (HOOMT) however, attempts to strike a mean between both extremes while at the same time provides an effective modeling method. HOOMT consists of two models, the High Order Object Model and the Object Information Flow Model. By using the familiar divide and conquer concept and functional decomposition, our approach also ensures a less stressful migration of SA analysts to object oriented platforms. The paper introduces HOOMT, its concepts, and notations

Fusing modeling techniques to support domain analysis for reuse opportunities identification

Functional modeling techniques or object-oriented graphical representations, which are more useful to someone trying to understand the general design or high level requirements of a system? For a recent domain analysis effort, the answer was a fusion of popular modeling techniques of both types. By using both functional and object-oriented techniques, the analysts involved were able to lean on their experience in function oriented software development, while taking advantage of the descriptive power available in object oriented models. In addition, a base of familiar modeling methods permitted the group of mostly new domain analysts to learn the details of the domain analysis process while producing a quality product. This paper describes the background of this project and then provides a high level definition of domain analysis. The majority of this paper focuses on the modeling method developed and utilized during this analysis effort

Formal specification techniques in object-oriented analysis: a comparative view.

During the last decade, object orientation has been advanced as a promising paradigm for software construction. In addition several authors have advocated the use of formal specification techniques during software development. Formal methods enable reasoning (in a mathematical sense) about properties of programs and systems. It is clear that also object oriented software development can benefit from the use of formal techniques.But although the object oriented analysis (OOA) methods claim to provide the necessary concepts and tools to improve the quality of software development, they are in general informal. This is surprising as the modeling techniques used in OOA have a high potential for formalization. The purpose of this study is to compare the specification techniques used in current OOA-methods. In particular, the degree of formality provided by most of the methods is discussed and evaluated from a quality control perspective.Software; Methods; Programs; Systems; Studies; Quality control;

Aspect-Oriented Programming using Composition-Filters

Software engineers may experience problems in modeling certain aspects while applying object-oriented techniques [4, 10, 11]. Composition-Filters are capable of expressing various different kinds of aspects in a uniform manner. These aspects are, for example, inheritance and delegation [1] and atomic delegation [2], multiple views, dynamic inheritance and queries on objects [3], coordinated behavior and inter-object constraints [5], real-time [6] and composing real-time and synchronization together [9], synchronization [8] and distributed synchronization [7], and client-server architectures [10]

String Parton Models in Geant4

Dual parton and quark gluon string model are the by now almost standard theoretical techniques by which one can arrive at precision description of high energy, soft, inclusive reactions. These reactions make the part of jets at energies that contribute strongly to discovery channels such as H$\to$WWjj, or search for compositeness at the highest transverse momenta. The above modeling approach is available with Geant4 for nucleon induced reactions since the first release. Its object oriented design and parameter set was recently extended to allow for simulation of pion and kaon induced reactions, as well as heavy ion reactions. We will briefly describe the theory and algorithmic approaches that underly the modeling, show the object oriented designs and component structure of the string parton sub-systems of Geant4, present validation/verification results pertaining to these models, as well as results concerning their usage in calorimeter simulation.Comment: Computing in High Energy and Nuclear Physics, La Jolla, California, March 24-28, 2003 1 tar fil