Formal Modeling and Specification of Design Patterns Using RTPA

2011 ◽  
pp. 239-253
Author(s):  
Yingxu Wang ◽  
Jian Huang
Keyword(s):  
Mathematical Model ◽  
Programming Languages ◽  
Software Design ◽  
Design Patterns ◽  
Expert Knowledge ◽  
Formal Model ◽  
Dynamic Structure ◽  
Generic Model ◽  
Time Process ◽  
Software Patterns

Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not been generalized and matured. The traditional UML specifications and related formalization efforts cannot capture the essence of generic patterns precisely, understandably, and essentially. A generic mathematical model of patterns is presented in this article using real-time process algebra (RTPA). The formal model of patterns are more readable and highly generic, which can be used as the meta model to denote any design patterns deductively, and can be translated into code in programming languages by supporting tools. This work reveals that a pattern is a highly complicated and dynamic structure for software design encapsulation, because of its complex and flexible internal associations between multiple abstract classes and instantiations. The generic model of patterns is not only applicable to existing patterns’ description and comprehension, but also useful for future patterns’ identification and formalization.

Formal Modeling and Specification of Design Patterns Using RTPA

2009 ◽  
pp. 635-647 ◽  
Author(s):  
Yingxu Wang ◽  
Jian Huang
Keyword(s):  
Mathematical Model ◽  
Programming Languages ◽  
Software Design ◽  
Design Patterns ◽  
Expert Knowledge ◽  
Formal Model ◽  
Dynamic Structure ◽  
Generic Model ◽  
Time Process ◽  
Software Patterns

Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not been generalized and matured. The traditional UML specifications and related formalization efforts cannot capture the essence of generic patterns precisely, understandably, and essentially. A generic mathematical model of patterns is presented in this article using real-time process algebra (RTPA). The formal model of patterns are more readable and highly generic, which can be used as the meta model to denote any design patterns deductively, and can be translated into code in programming languages by supporting tools. This work reveals that a pattern is a highly complicated and dynamic structure for software design encapsulation, because of its complex and flexible internal associations between multiple abstract classes and instantiations. The generic model of patterns is not only applicable to existing patterns’ description and comprehension, but also useful for future patterns’ identification and formalization.

scholarly journals On the Usability of Object-Oriented Design Patterns for a Better Software Quality

2020 ◽  
Vol 20 (4) ◽  
pp. 36-54
Author(s):  
Boyan Bontchev ◽  
Emanuela Milanova
Keyword(s):  
Software Quality ◽  
Software Design ◽  
Design Patterns ◽  
Expert Knowledge ◽  
Object Oriented ◽  
Practical Experience ◽  
Object Oriented Design ◽  
Software Applications ◽  
Software Design Patterns ◽  
And Performance

AbstractSoftware design patterns incarnate expert knowledge distilled from the practical experience in object-oriented design, in a compact and reusable form. The article presents a quantitative study of the usability of the object-oriented software design patterns (known as Gang of Four patterns) applied for improving the testability, maintainability, extendibility, readability, reliability, and performance efficiency of software applications. We received 82 usable responses from software professionals in Bulgaria, with 65 of them addressing both the usability and recognition of each one of the Gang of Four patterns, together with their impact on important software quality characteristics. As well, we studied the approach of each software developer in choosing a particular design pattern to use in order to solve a problem. We found statistically significant differences between the most recognized and most useful patterns and between the most unrecognized and most useless patterns, split into creational, structural, and behavioral groups.

On the Big-R Notation for Describing Iterative and Recursive Behaviors

2011 ◽  
pp. 292-307
Author(s):  
Yingxu Wang
Keyword(s):  
Mathematical Model ◽  
Software Engineering ◽  
Mathematical Models ◽  
Programming Languages ◽  
Real Time ◽  
Mathematical Treatment ◽  
Time Process ◽  
Control Structures ◽  
Fundamental Properties ◽  
The Mathematical Model

Iterative and recursive control structures are the most fundamental mechanisms of computing that make programming more effective and expressive. However, these constructs are perhaps the most diverse and confusable instructions in programming languages at both syntactic and semantic levels. This article introduces the big-R notation that provides a unifying mathematical treatment of iterations and recursions in computing. Mathematical models of iterations and recursions are developed using logical inductions. Based on the mathematical model of the big-R notation, fundamental properties of iterative and recursive behaviors of software are comparatively analyzed. The big-R notation has been adopted and implemented in Real-Time Process Algebra (RTPA) and its supporting tools. Case studies demonstrate that a convenient notation may dramatically reduce the difficulty and complexity in expressing a frequently used and highly recurring concept and notion in computing and software engineering.

scholarly journals Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model

2014 ◽  
Vol 16 (1) ◽  
pp. 5-12
Author(s):  
Janis Osis ◽  
Erika Asnina ◽  
Uldis Donins ◽  
Vicente García-Díaz
Keyword(s):  
Mathematical Model ◽  
Software Design ◽  
Formal Model ◽  
Software Requirements ◽  
Target Point ◽  
Source Information ◽  
Problem Domain ◽  
Assessment And Evaluation

Abstract A system architect has software requirements and some unspecified knowledge about a problem domain (e.g., an enterprise) as source information for assessment and evaluation of possible solutions and getting the target point, a preliminary software design. The solving factor is architect’s experience and expertise in the problem domain (“AS-IS”). A proposed approach is dedicated to assist a system architect in making an appropriate decision on the solution (“TO-BE”). It is based on a formal mathematical model, Topological Functioning Model (TFM). Compliant TFMs can be transformed into software architectural views. The paper demonstrates and discusses tracing dependency links from the requirements to and between the architectural views.

scholarly journals GERADOR DE CÓDIGOS PARA O DESENVOLVIMENTO DE APLICAÇÕES WEB A PARTIR DA MODELAGEM ENTIDADE-RELACIONAMENTO

e-xacta ◽  
2016 ◽  
Vol 9 (1) ◽  
pp. 37
Author(s):  
Cristiano Martins Monteiro ◽  
Flavianne Braga Campos de Lima ◽  
Carlos Renato Storck
Keyword(s):  
Programming Languages ◽  
Code Generation ◽  
Design Pattern ◽  
Design Patterns ◽  
Source Code ◽  
Automatic Generation ◽  
Code Generator ◽  
Routine Tasks ◽  
Entity Relationship ◽  
Web Systems

<p>A geração automática de código-fonte é uma prática adotada no desenvolvimento de softwares para agilizar, facilitar e padronizar a implementação dos projetos. Embora seja uma prática comum nas fábricas de software, não se conhece uma ferramenta que permita escolher o padrão de projeto a ser usado. O objetivo principal deste trabalho é apresentar um gerador de códigos para o desenvolvimento de sistemas Web a partir de uma modelagem entidade-relacionamento, uma linguagem de programação e um padrão de projeto determinados pelo usuário. Os objetivos específicos são propor uma arquitetura do sistema capaz de adequar e reaproveitar diferentes padrões de projeto, linguagens de programação e projetos cadastrados; permitir que o usuário cadastre, altere, exclua, importe e exporte um projeto; e gerar automaticamente o seu código-fonte e scripts de banco de dados. Este trabalho se justifica pela importância de reduzir erros de codificação; e evitar perca tempo ao realizar atividades rotineiras de implementação de padrões de projeto. Possibilitando assim, maior dedicação no planejamento das regras de negócios e redução de custos. A ferramenta proposta (GCER) foi desenvolvida em linguagem Java com o uso banco de dados Oracle 11g, e seguindo os padrões DAO e MVC. Os resultados foram avaliados através da geração e compilação de códigos de um projeto para cadastro de veículos. A geração com êxito evidencia a viabilidade da ferramenta proposta para a geração automática de códigos no processo de desenvolvimento de software.</p><p>Abstract</p><p>The automatic generation of source code is a practice adopted in the development of software to streamline, facilitate and standardize the implementation of projects. Although it be a common practice in software factories, it is not known a tool able to choose the design pattern to be used. The main objective of this paper is to present a code generator for the development of Web systems from an entity-relationship modeling, a programming language and a design pattern determined by the user. The specific objectives are to propose a system architecture able to suit and reuse different design patterns, programming languages and saved projects; allow the user to insert, update, delete, import and export a project; and automatically generate the source code and database scripts. This work is justified by the importance to reduce errors of coding; and to avoid waste of time in the development of Web systems performing routine tasks. Allowing, then, a greater dedication in the planning of business rules and the reduction of costs. The tool proposed (GCER) was developed in Java with the database using Oracle 11g, and following the DAO and MVC patterns. The results were evaluated by generating and compiling codes of a project for vehicle registration. The successful code generation demonstrate the feasibility of the proposed tool for the automatic generation of code in the software development process.</p>

scholarly journals Synthetically Accessible Virtual Inventory (SAVI)

2020 ◽  
Author(s):  
Hitesh Patel ◽  
Wolf Ihlenfeldt ◽  
Philip Judson ◽  
Yurii S. Moroz ◽  
Yuri Pevzner ◽  
...  
Keyword(s):  
Drug Discovery ◽  
Chemical Synthesis ◽  
Programming Languages ◽  
Expert Knowledge ◽  
Scoring Systems ◽  
Building Blocks ◽  
Single Step

We have made available a database of over 1 billion compounds predicted to be easily synthesizable. They have been created by a set of transforms based on an adaptation and extension of the CHMTRN/PATRAN programming languages describing chemical synthesis expert knowledge, which originally stem from the LHASA project. The chemoinformatics toolkit CACTVS was used to apply a total of 53 transforms to about 150,000 readily available building blocks (enamine.net). Only single-step, two-reactant syntheses were calculated for this database even though the technology can execute multi-step reactions. The possibility to incorporate scoring systems in CHMTRN allowed us to subdivide the database of 1.75 billion compounds in sets according to their predicted synthesizability, with the most-synthesizable class comprising 1.09 billion synthetic products. Properties calculated for all SAVI products show that the database should be well-suited for drug discovery. It is being made publicly available for free download from https://cactus.nci.nih.gov/download/savi_download/.

scholarly journals A Case Studies Approach to the Analysis of Profiling and Framing Structures for Pervasive Information Systems

2012 ◽  
Vol 4 (2) ◽  
pp. 1-18 ◽  
Author(s):  
José Eduardo Fernandes ◽  
Ricardo J. Machado ◽  
João Á. Carvalho
Keyword(s):  
Information Systems ◽  
Case Studies ◽  
Software Design ◽  
Expert Knowledge ◽  
Structural Approach ◽  
Technological Changes ◽  
Design And Development ◽  
Structure Approach ◽  
Model Based ◽  
Widespread Adoption

Model-Based/Driven Development (MDD) constitutes an approach to software design and development that potentially contributes to: concepts closer to domain and reduction of semantic gaps, automation and less sensitivity to technological changes, and the capture of expert knowledge and reuse. The widespread adoption of pervasive technologies as basis for new systems and applications lead to the need of effectively design pervasive information systems that properly fulfil the goals they were designed for. This paper presents a profiling and framing structure approach for the development of Pervasive Information Systems (PIS). This profiling and framing structure allows the organization of the functionality that can be assigned to computational devices in a system and of the corresponding development structures and models, being. The proposed approach enables a structural approach to PIS development. The paper also presents two case studies that allowed demonstrating the applicability of the approach.

A Study of Database Connection Pool

2014 ◽  
Vol 556-562 ◽  
pp. 5267-5270
Author(s):  
Tai Fa Zhang ◽  
Ya Jiang Zhang ◽  
Jun Yao
Keyword(s):  
Software Design ◽  
Design Patterns ◽  
Object Oriented ◽  
Access Time ◽  
Research Topics ◽  
Object Oriented Design ◽  
Java Language ◽  
Software Design Patterns ◽  
Connection Pool ◽  
Access Efficiency

Nowadays, object-oriented design is the trend of software design patterns, and the database connection pool is one of the important research topics. The paper firstly describes the basic principle of connection pool under traditional, tomcat and hibernate modes. Based on that, a new connection pool method is proposed, and these four methods are experimentally simulated in java language at last. The comparative analysis has verified that the presented connection pool owns the optimum access time and it can greatly improve the access efficiency of database.

Sign in / Sign up

Export Citation Format

Share Document