This report summarizes the presentations and discussions of the Third Workshop on Models and Aspects Handling Crosscutting Concerns in MDSD, held in conjunction with the 21st European Conference on object-oriented Pro...
详细信息
Standard PLC programming language does not allow to use complex algorithms in building automation for the energetic optimization of industrial supply systems. This paper discusses how future building automation system...
详细信息
Delegation is an important design concept in object-oriented languages. In contrast to inheritance, which relates classes to each other, delegation operates on the level of objects and thus provides more flexibility. ...
详细信息
Driven by functionality requirements, software codes are increasingly inflated, and invocations between codes are frequent and randomThis makes it difficult for programmers to be thoughtful when modifying code, increa...
详细信息
This paper presents an integrated approach covering the fields of designing, validating and testing services and reusable service components. A methodology which applies concepts from the Reference Model for Open Dist...
详细信息
This paper presents an integrated approach covering the fields of designing, validating and testing services and reusable service components. A methodology which applies concepts from the Reference Model for Open Distributed Processing (ODP) is introduced. As an important part to bridge the gap from the design plane to the implementation plane a language mapping from ODL to C++ is described. A CORBA based environment is assumed to be the execution platform. To ensure that the service to be designed meets the requirements of a potential users, a validation stage has been included into the design methodology. After the validation of the SLD model abstract TTCN test cases are derived from it semi-automatically. This paper also contains a new method for automated testing of distributed services through executing these test cases in a CORBA based target environment.
Modelling is central to doing and learning object-oriented development. We present a new tool, Ideogramic UML, for gesture-based collaborative object-oriented modelling, which is particularly effective on pen-based in...
详细信息
Generic types in programming languages are most often supported with various forms of parametric polymorphism, i.e. functions on types. Within the framework of object-oriented languages, virtual types present an alter...
详细信息
The software package Dymola, which implements the new, vendor-independent standard modelling language Modelica, exemplifies the emerging generation of object-oriented modelling and simulation tools. This paper shows h...
详细信息
The software package Dymola, which implements the new, vendor-independent standard modelling language Modelica, exemplifies the emerging generation of object-oriented modelling and simulation tools. This paper shows how, in addition to its simulation capabilities, it may be used as an embodiment design tool, to size automatically a design assembled from a library of generic parametric components. The example used is a miniature model aircraft diesel engine. To this end, the component classes contain extra algebraic equations calculating the overload factor (or its reciprocal, the safety factor) for all the different modes of failure, such as buckling or tensile yield. Thus the simulation results contain the maximum overload or minimum safety factor for each failure mode along with the critical instant and the device state at which it occurs. The Dymola "Initial Conditions Calculation" function, controlled by a simple software script, may then be used to perform automatic component sizing. Each component is minimised in mass, subject to a chosen safety factor against failure, over a given operating cycle. Whilst the example is in the realm of mechanical design, it must be emphasised that the approach is equally applicable to the electrical or mechatronic domains, indeed to any design problem requiring numerical constraint satisfaction.
Developing reusable object-oriented software requires a designer to determine how to structure a software system so as to achieve the necessary functionality, while at the same time increasing the reuse potential of t...
详细信息
ISBN:
(纸本)1581133588
Developing reusable object-oriented software requires a designer to determine how to structure a software system so as to achieve the necessary functionality, while at the same time increasing the reuse potential of the software. We introduce a set of reusability metrics intended to be iteratively applied during the design and implementation parts of the software life-cycle to help guide the production and identification of reusable components. Component identification centers on the application's domain, with reuse focusing specifically on an organization's future systems. Our approach requires the developer to subjectively categorize classes, identify component boundaries, and specify where components are related. Our metrics provide reuse valuations on the couplings between components. Based upon the results of applying our metrics, we provide refactoring guidelines to increase the separation between components in a manner that improves component reusability. We include an application of our metrics to a commercial object-oriented framework.
Aspect-oriented software development is gaining popularity with the adoption of aspect-oriented languages in writing programs. To reduce the manual effort in assuring the quality of aspect-oriented programs, we have d...
详细信息
Aspect-oriented software development is gaining popularity with the adoption of aspect-oriented languages in writing programs. To reduce the manual effort in assuring the quality of aspect-oriented programs, we have developed a set of techniques and tools for automated testing of aspect-oriented programs. This position paper presents our perspectives on automated testing techniques from three dimensions: testing aspectual behavior or aspectual composition, unit tests or integration tests, and test-input generation or test oracles. We illustrate automated testing techniques primarily through the last dimension in the perspectives. By classifying these automated testing techniques in the perspectives, we provide better understanding of these techniques and identify future directions for automated testing of aspect-oriented programs. This position paper also presents a couple of new techniques that we propose based on the perspectives. Copyright 2007 ACM.
暂无评论