A Generic Model of Object-Oriented Patterns Specified in RSL

2011 ◽  
pp. 44-72 ◽  
Author(s):  
Andrés Flores ◽  
Alejandra Cechich ◽  
Gabriela Aranda
Keyword(s):  
Design Process ◽  
Object Oriented ◽  
Tool Support ◽  
Generic Model ◽  
Formal Specifications ◽  
Java Language ◽  
Wide Range ◽  
Dynamic Structures ◽  
Pattern Modeling ◽  
Pattern Application

Object-oriented patterns are a promising technique for achieving widespread reuse of software architectures. They capture the static and dynamic structures of components and frameworks in successful solutions to problems for a wide range of domains. However, patterns are invariably described informally in the literature, which makes it difficult to give any meaningful certification of pattern-based software. The design process could be enhanced by means of an automatic support for modeling and verification with a proper formal foundation. In this chapter, we show how formal specifications of GoF patterns, based on the RAISE language, have been helpful in developing that tool support, where we have adopted the well-known Java language upon its portability facet. Thus, the object-oriented design process is extended by the inclusion of pattern-based modeling and verification steps, the latter involving checking design correctness and appropriate pattern application through the use of the supporting tool, called DePMoVe (design and pattern modeling and verification).

Automatic Verification of OOD Pattern Applications

2011 ◽  
pp. 143-192
Author(s):  
Andreas Flores ◽  
Alejandra Cechich ◽  
Rodrigo Ruiz
Keyword(s):  
Design Process ◽  
Design Patterns ◽  
Object Oriented ◽  
Tool Support ◽  
Formal Specifications ◽  
Object Oriented Design ◽  
Java Language ◽  
Common Problems ◽  
Pattern Modeling ◽  
Pattern Application

Object-oriented patterns condense experimental knowledge from developers. Their pragmatic benefits may involve a reduction on the effort impact of the maintenance stage. However, some common problems can be distinguished as well. For instance, some design patterns are simply too difficult for the average OO designer to learn. A pattern-based design process could be enhanced by the provision of an automatic support for modeling and verification with a proper formal foundation. In this chapter we show how formal specifications of GoF patterns have been helpful to develop that tool support, where we have adopted the well-known Java language upon its portability facet. Thus, we are changing the object-oriented design process by the inclusion of pattern-based modeling and verification steps. The latter involving checking design correctness and appropriate pattern application through the use of the supporting tool, called DePMoVe (Design and Pattern Modeling and Verification).

scholarly journals USING UML SCENARIOS IN B2B SYSTEMS

2010 ◽  
Vol 11 (1) ◽  
pp. 1-13 ◽  
Author(s):  
A. Jakimi ◽  
A. Sabraoui ◽  
E. Badidi ◽  
A. Salah ◽  
M. El Koutbi
Keyword(s):  
Unified Modeling Language ◽  
Object Oriented ◽  
Tool Support ◽  
Use Case ◽  
Formal Specifications ◽  
Sequence Diagrams ◽  
Unified Modeling ◽  
Suitable Framework ◽  
Business To Business ◽  
Scenario Approach

Scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of the system behavior, an approach for scenario composition and/or integration is needed to produce more complete specifications. The Unified Modeling Language (UML), which has become a standard notation for object-oriented modeling, provides a suitable framework for scenario acquisition using Use Case diagrams and Sequence or Collaboration diagrams. In this paper, we suggest an algorithmic and tool support for composing and integrating scenarios that are represented in form of sequence diagrams. We suggest four operators (;: sequential operator, ||: concurrent operator, ?: conditional operator and  * :iteration operator) to compose a set of scenarios that describe a use case of a given system. In this paper, we suggest also to apply the scenario approach to B2B systems (Business to Business). We propose to develop B2B systems as a three activities process deriving formal specifications and code skeletons from UML scenarios. Activities of this proposed process are generally automatic and are supported by a set of developed algorithms and tools.

scholarly journals A Visual Language for Design Pattern Modeling and Instantiation

2011 ◽  
pp. 20-43 ◽  
Author(s):  
David Maplesden ◽  
John Hosking ◽  
John Grundy
Keyword(s):  
Design Pattern ◽  
Design Patterns ◽  
Visual Language ◽  
Tool Support ◽  
Modeling Language ◽  
Formal Specifications ◽  
Prototype Tool ◽  
Pattern Modeling ◽  
Generic Design ◽  
Solution Specification

In this chapter we describe the Design pattern modeling language, a notation supporting the specification of Design pattern solutions and their instantiation into UML design models. DPML uses a simple set of visual abstractions and readily lends itself to tool support. DPML Design pattern solution specifications are used to construct visual, formal specifications of Design patterns. DPML instantiation diagrams are used to link a Design pattern solution specification to instances of a UML model, indicating the roles played by different UML elements in the generic Design pattern solution. A prototype tool is described, together with an evaluation of the language and tool.

Change Management in Shared Software Specifications

2013 ◽  
pp. 1-21
Author(s):  
Fathi Taibi
Keyword(s):  
Change Management ◽  
Object Oriented ◽  
Formal Specifications ◽  
Development Environment ◽  
Collaborative Development ◽  
Wide Range ◽  
Software Specifications

In order to support the collaborative development of software specifications, there is a need to automate the extraction and integration of the parallel changes or revisions that are made to a shared specification. These revisions are aimed at reaching a specification that satisfies the needs of all the stakeholders. Hence, merging conflicts are inevitable and must be detected and resolved in order to commit the changes made properly to the shared specification leading to a consistent result. A framework is proposed in this chapter to extract and integrate the parallel changes made to Object-Oriented formal specifications in a collaborative development environment. A formal foundation is proposed to uniformly define the specifications, the revisions made to them and the possible merging conflicts. The proposed framework allows extracting and integrating the parallel changes made while addressing a wide range of merging conflicts at the same time. Evaluating the developed algorithms has shown good signs in terms of accuracy and scalability.

Adopting SCAMPER`S Strategies to Incorporate the Sustainability Concepts Within Architectural Design Process

2021 ◽  
Author(s):  
Farhan Ali ◽  
Keyword(s):  
Design Process ◽  
Creative Thinking ◽  
Architectural Design ◽  
Divergent Thinking ◽  
Functional Performance ◽  
Necessary Condition ◽  
Existing Building ◽  
Starting Point ◽  
Wide Range ◽  
The Aesthetic

Thinking creatively, is a necessary condition of the Design process to transform ideas into novel solutions and break barriers to creativity. Although, there are many techniques and ways to stimulate creative thinking for designers, however, this research paper adopts SCAMPER; which is acronym of: Substitute- Combine-Adapt- Modify or Magnify-Put to another use-Eliminate-Reverse or Rearrange- to integrate the sustainability concepts within architectural design process. Many creative artifacts have been designed consciously or unconsciously adopting SCAMPER strategies such as rehabilitation and reuse projects to improve the functional performance or the aesthetic sense of an existing building for the better. SCAMPER is recognized as a divergent thinking tool are used during the initial ideation stage, aims to leave the usual way of thinking to generate a wide range of new ideas that will lead to new insights, original ideas, and creative solutions to problems. The research focuses on applying this method in the architectural design, which is rarely researched, through reviewing seven examples that have been designed consciously or unconsciously adopting SCAMPER mnemonic techniques. The paper aims to establish a starting point for further research to deepen it and study its potentials in solving architectural design problems.

Automation and Management of Design Process of the Main Drive for an Innovative Fruits and Vegetables Washer

2021 ◽  
Vol 27 (1) ◽  
pp. 9-17
Author(s):  
V. P. Bui ◽  
◽  
S. S. Gavruishin ◽  
V. B. Phung ◽  
H. M. Dang ◽  
...  
Keyword(s):  
Design Process ◽  
Rational Design ◽  
Fruits And Vegetables ◽  
Rational Solution ◽  
Quality Criteria ◽  
Pareto Optimal ◽  
Optimal Domain ◽  
Wide Range ◽  
A New Technique ◽  
New Generation

A new technique is described, used by the authors to automate the design process of the main drive of a new generation machine intended for industrial washing of fruits and vegetables. To solve the problem of multi-criteria design, the original approach is proposed that uses interconnected mathematical models describing the dynamic behavior, strength reliability and functional characteristics of the machine in a unified information space. The generalized mathematical model includes 12 controlled parameters, 16 functional constraints, and 3 quality criteria. A genetic algorithm was used to find the space of Pareto-optimal solutions. The situational approach was used to select the final rational solution from a set of solutions belonging to the Pareto-optimal domain. The rational design of option the washer found using the proposed approach is compared with the existing ones. The proposed design methodology can be recommended for the design of a wide range of similar mechanical structures.

The Intelligent Design of the Gear Reducer

2012 ◽  
Vol 522 ◽  
pp. 823-827
Author(s):  
Jian Jiang Fang ◽  
Wen Jun Qi
Keyword(s):  
Intelligent Design ◽  
Object Oriented ◽  
Data Access ◽  
Mechanical Transmission ◽  
Design Efficiency ◽  
Integrated Technology ◽  
Gear Drive ◽  
Object Oriented Technology ◽  
Wide Range ◽  
User Friendly

The gear drive is the wide range of applications and is particularly important as a form of mechanical transmission, but the design process requires large amounts of data access and computation. In the paper, computer integrated technology and object-oriented technology is used to research and develop the intelligent design of Straight gear reducer system with user-friendly interactive platform, easy to use, high design efficiency and reliable data.

scholarly journals Intelligent Design of Product Forms Based on Design Cognitive Dynamics and a Cobweb Structure

2021 ◽  
Vol 2021 ◽  
pp. 1-17
Author(s):  
Wenjin Yang ◽  
Jian-Ning Su ◽  
Shutao Zhang ◽  
Kai Qiu ◽  
Xinxin Zhang
Keyword(s):  
Design Process ◽  
Intelligent Design ◽  
Design Thinking ◽  
Information Source ◽  
Dynamic Mechanism ◽  
Cognitive Dynamics ◽  
Wide Range ◽  
Product Image ◽  
The Impact ◽  
Product Forms

Design is a complex, iterative, and innovative process. By traditional methods, it is difficult for designers to have an integral priori design experience to fully explore a wide range of design solutions. Therefore, refined intelligent design has become an important trend in design research. More powerful design thinking is needed in intelligent design process. Combining cognitive dynamics and a cobweb structure, an intelligent design method is proposed to formalize the innovative design process. The excavation of the dynamic mechanism of the product evolution process during product development is necessary to predict next-generation multi-image product forms from a larger design space. First, different design thinking stimulates the information source and is obtained by analyzing the designers’ thinking process when designing and mining the dynamic mechanism behind it. Based on the nonlinear cognitive cobweb process proposed by Francisco and a natural cobweb structure, the product image cognitive cobweb model (PICCM) is constructed. Then, natural cobweb predation behavior is simulated using a stimulus information source to impact the PICCM. This process uses genetic algorithms to obtain numerous offspring forms, and the PICCM’s mechanical properties are the energy loss parameters in the impact information. Furthermore, feasible solutions are selected from intelligent design sketches by the product artificial form evaluation system based on designers’ cognition, and a new product image cognitive cobweb system is reconstructed. Finally, a case study demonstrates the efficiency and feasibility of the proposed approach.

scholarly journals Classification of Actions or Inheritance also for Methods

1987 ◽  
Vol 16 (231) ◽  
Author(s):  
Bent Bruun Kristensen ◽  
Ole Lehrmann Madsen ◽  
Birger Møller-Pedersen ◽  
Kristen Nygaard
Keyword(s):  
General Class ◽  
Object Oriented ◽  
Wide Range ◽  
Language Classes ◽  
Virtual Classes ◽  
Main Thing

<p>The main thing with the sub-class mechanism as found in languages like C++, SIMULA and Smalltalk is its possibility to express <em>specializations</em>. A general class, covering a wide range of objects, may be specialized to cover more specific objects. This is obtained by three properties of sub-classing: An object of a sub-class inherits the attributes of the super-class, virtual procedure/method attributes (of the super-class) may be specialized in the sub-class, and (in SIMULA only) it inherits the actions of the super-class.</p><p>In the languages mentioned above, virtual procedures/methods of a super-class are specialized in sub-classes in a very primitive manner: they are simply <em>re-defined</em> and need not bear any resemblance of the virtual in the super-class. In BETA, a new object-oriented language, classes and methods are unified into one concept, and by an extension of the virtual concept, virtual procedures/methods in sub-classes are defined as <em>specializations of the virtuals</em> in the super-class. The virtual procedures/methods of the sub-classes thus inherit the attributes (e.g. parameters) and actions from the ''super-procedure/method''.</p><p>In the languages mentioned above only procedures/methods may be virtual. As classes and procedures/methods are unified in BETA this gives also <em>virtual classes</em>. The paper demonstrates, how this may be used to parameterize types and enforce constraints on types.</p>

scholarly journals An approach to the low-resistance measurement

2013 ◽  
Vol 10 (2) ◽  
pp. 293-307
Author(s):  
Radojle Radetic ◽  
Marijana Pavlov-Kagadejev ◽  
Darko Brodic ◽  
Nikola Milivojevic
Keyword(s):  
Performance Improvement ◽  
Design Process ◽  
Comparison Method ◽  
Resistance Measurement ◽  
Functional Characteristics ◽  
The Real ◽  
Low Resistance ◽  
Wide Range ◽  
Resistor Measuring ◽  
The Way

The paper presents the real instrument functional characteristics and describes the way of practical solutions of its performance improvement. It presents the design process of the instrument made for resistance measuring. In order to achieve desired objectives, a great number of experiments have been carried out during the development. Basically, the comparison method has been applied. At first, it was intended for the small resistor measuring as a single range unit. Later, the device has been improved and upgraded for a wide range resistance measuring. Finally, some of the difficulties have been detected and explained as well. The paper contains solutions developed and applied for their overcoming.

Sign in / Sign up

Export Citation Format

Share Document