Formal Software Design Technique – A Pattern Based Approach

Detalhes bibliográficos
Autor(a) principal: Dey, Shouvik
Data de Publicação: 2010
Outros Autores: Bhattacharya, Swapan
Tipo de documento: Artigo
Idioma: eng
Título da fonte: INFOCOMP: Jornal de Ciência da Computação
Texto Completo: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300
Resumo: Design patterns are usually modeled and documented in natural languages and visual languages, such as the Unified Modeling Language. UML does not keep track of pattern-related information when a design pattern is applied or composed with other patterns. Existing graphical notations are not able to provide complete information to the designers for specifying the role and scope of execution of the participating classes and their methods in a particular design pattern or combination of patterns. Also the existing formal specification languages for design patterns are not complete enough. They basically tend to focus on specifying structural and behavioral aspect of design patterns without taking care of the several extension mechanisms. Existing formal languages are not strong enough to provide several pattern related information like the role of a participating class or a method in combination of patterns which is indeed very important information to pattern users. This paper introduces an extension to the UML Class diagram to better represent design patterns and based on this mechanism a grammar FSDP (Formal Specification of Design Pattern) for this design specification is provided to automate the software pattern design techniques. FSDP is able to represent design pattern and combination of patterns in a more informative way compare to the existing formal languages
id UFLA-5_e8abac10e0827f3aeb4323255d033c58
oai_identifier_str oai:infocomp.dcc.ufla.br:article/300
network_acronym_str UFLA-5
network_name_str INFOCOMP: Jornal de Ciência da Computação
repository_id_str
spelling Formal Software Design Technique – A Pattern Based ApproachDesign PatternsPattern combinationRole of classScope of executionRemote methodUMLClass diagramDesign patterns are usually modeled and documented in natural languages and visual languages, such as the Unified Modeling Language. UML does not keep track of pattern-related information when a design pattern is applied or composed with other patterns. Existing graphical notations are not able to provide complete information to the designers for specifying the role and scope of execution of the participating classes and their methods in a particular design pattern or combination of patterns. Also the existing formal specification languages for design patterns are not complete enough. They basically tend to focus on specifying structural and behavioral aspect of design patterns without taking care of the several extension mechanisms. Existing formal languages are not strong enough to provide several pattern related information like the role of a participating class or a method in combination of patterns which is indeed very important information to pattern users. This paper introduces an extension to the UML Class diagram to better represent design patterns and based on this mechanism a grammar FSDP (Formal Specification of Design Pattern) for this design specification is provided to automate the software pattern design techniques. FSDP is able to represent design pattern and combination of patterns in a more informative way compare to the existing formal languagesEditora da UFLA2010-06-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300INFOCOMP Journal of Computer Science; Vol. 9 No. 2 (2010): June, 2010; 27-381982-33631807-4545reponame:INFOCOMP: Jornal de Ciência da Computaçãoinstname:Universidade Federal de Lavras (UFLA)instacron:UFLAenghttps://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300/285Copyright (c) 2016 INFOCOMP Journal of Computer Scienceinfo:eu-repo/semantics/openAccessDey, ShouvikBhattacharya, Swapan2015-07-29T11:42:19Zoai:infocomp.dcc.ufla.br:article/300Revistahttps://infocomp.dcc.ufla.br/index.php/infocompPUBhttps://infocomp.dcc.ufla.br/index.php/infocomp/oaiinfocomp@dcc.ufla.br||apfreire@dcc.ufla.br1982-33631807-4545opendoar:2024-05-21T19:54:30.558261INFOCOMP: Jornal de Ciência da Computação - Universidade Federal de Lavras (UFLA)true
dc.title.none.fl_str_mv Formal Software Design Technique – A Pattern Based Approach
title Formal Software Design Technique – A Pattern Based Approach
spellingShingle Formal Software Design Technique – A Pattern Based Approach
Dey, Shouvik
Design Patterns
Pattern combination
Role of class
Scope of execution
Remote method
UML
Class diagram
title_short Formal Software Design Technique – A Pattern Based Approach
title_full Formal Software Design Technique – A Pattern Based Approach
title_fullStr Formal Software Design Technique – A Pattern Based Approach
title_full_unstemmed Formal Software Design Technique – A Pattern Based Approach
title_sort Formal Software Design Technique – A Pattern Based Approach
author Dey, Shouvik
author_facet Dey, Shouvik
Bhattacharya, Swapan
author_role author
author2 Bhattacharya, Swapan
author2_role author
dc.contributor.author.fl_str_mv Dey, Shouvik
Bhattacharya, Swapan
dc.subject.por.fl_str_mv Design Patterns
Pattern combination
Role of class
Scope of execution
Remote method
UML
Class diagram
topic Design Patterns
Pattern combination
Role of class
Scope of execution
Remote method
UML
Class diagram
description Design patterns are usually modeled and documented in natural languages and visual languages, such as the Unified Modeling Language. UML does not keep track of pattern-related information when a design pattern is applied or composed with other patterns. Existing graphical notations are not able to provide complete information to the designers for specifying the role and scope of execution of the participating classes and their methods in a particular design pattern or combination of patterns. Also the existing formal specification languages for design patterns are not complete enough. They basically tend to focus on specifying structural and behavioral aspect of design patterns without taking care of the several extension mechanisms. Existing formal languages are not strong enough to provide several pattern related information like the role of a participating class or a method in combination of patterns which is indeed very important information to pattern users. This paper introduces an extension to the UML Class diagram to better represent design patterns and based on this mechanism a grammar FSDP (Formal Specification of Design Pattern) for this design specification is provided to automate the software pattern design techniques. FSDP is able to represent design pattern and combination of patterns in a more informative way compare to the existing formal languages
publishDate 2010
dc.date.none.fl_str_mv 2010-06-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300
url https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/300/285
dc.rights.driver.fl_str_mv Copyright (c) 2016 INFOCOMP Journal of Computer Science
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2016 INFOCOMP Journal of Computer Science
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Editora da UFLA
publisher.none.fl_str_mv Editora da UFLA
dc.source.none.fl_str_mv INFOCOMP Journal of Computer Science; Vol. 9 No. 2 (2010): June, 2010; 27-38
1982-3363
1807-4545
reponame:INFOCOMP: Jornal de Ciência da Computação
instname:Universidade Federal de Lavras (UFLA)
instacron:UFLA
instname_str Universidade Federal de Lavras (UFLA)
instacron_str UFLA
institution UFLA
reponame_str INFOCOMP: Jornal de Ciência da Computação
collection INFOCOMP: Jornal de Ciência da Computação
repository.name.fl_str_mv INFOCOMP: Jornal de Ciência da Computação - Universidade Federal de Lavras (UFLA)
repository.mail.fl_str_mv infocomp@dcc.ufla.br||apfreire@dcc.ufla.br
_version_ 1799874740943323136

Registros relacionados