A formal model for some behavioural features of analysis patterns

Autores
Buccella, Agustina; Cechich, Alejandra
Año de publicación
2000
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves that forces. This form underlies many published patterns, including analysis patterns. They show a number of highly generic processes that cut across traditional boundaries of system development and business engineering. However, patterns are invariably described informally in the literature, generally using natural language together some sort of graphical notation. A formal model of the semantic statements of analysis patterns has been proposed by reusing some of the properties formalised for GoF patterns. In this paper, we present a formal model of some behavioural properties of analysis patterns, and we illustrate using an example how an instantiation can be done. We also briefly discuss future work which will extend the model to include more behavioural properties
Área: Ingeniería de Software - Bases de Datos
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Object-oriented design methods
Pattern analysis
Formal methods
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23571

id SEDICI_5e1f39197bf1fa6b0a26bcd34085402a
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23571
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling A formal model for some behavioural features of analysis patternsBuccella, AgustinaCechich, AlejandraCiencias InformáticasObject-oriented design methodsPattern analysisFormal methodsIt is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves that forces. This form underlies many published patterns, including analysis patterns. They show a number of highly generic processes that cut across traditional boundaries of system development and business engineering. However, patterns are invariably described informally in the literature, generally using natural language together some sort of graphical notation. A formal model of the semantic statements of analysis patterns has been proposed by reusing some of the properties formalised for GoF patterns. In this paper, we present a formal model of some behavioural properties of analysis patterns, and we illustrate using an example how an instantiation can be done. We also briefly discuss future work which will extend the model to include more behavioural propertiesÁrea: Ingeniería de Software - Bases de DatosRed de Universidades con Carreras en Informática (RedUNCI)2000-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/23571enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:31Zoai:sedici.unlp.edu.ar:10915/23571Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:31.493SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv A formal model for some behavioural features of analysis patterns
title A formal model for some behavioural features of analysis patterns
spellingShingle A formal model for some behavioural features of analysis patterns
Buccella, Agustina
Ciencias Informáticas
Object-oriented design methods
Pattern analysis
Formal methods
title_short A formal model for some behavioural features of analysis patterns
title_full A formal model for some behavioural features of analysis patterns
title_fullStr A formal model for some behavioural features of analysis patterns
title_full_unstemmed A formal model for some behavioural features of analysis patterns
title_sort A formal model for some behavioural features of analysis patterns
dc.creator.none.fl_str_mv Buccella, Agustina
Cechich, Alejandra
author Buccella, Agustina
author_facet Buccella, Agustina
Cechich, Alejandra
author_role author
author2 Cechich, Alejandra
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Object-oriented design methods
Pattern analysis
Formal methods
topic Ciencias Informáticas
Object-oriented design methods
Pattern analysis
Formal methods
dc.description.none.fl_txt_mv It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves that forces. This form underlies many published patterns, including analysis patterns. They show a number of highly generic processes that cut across traditional boundaries of system development and business engineering. However, patterns are invariably described informally in the literature, generally using natural language together some sort of graphical notation. A formal model of the semantic statements of analysis patterns has been proposed by reusing some of the properties formalised for GoF patterns. In this paper, we present a formal model of some behavioural properties of analysis patterns, and we illustrate using an example how an instantiation can be done. We also briefly discuss future work which will extend the model to include more behavioural properties
Área: Ingeniería de Software - Bases de Datos
Red de Universidades con Carreras en Informática (RedUNCI)
description It is commonly said that a pattern has four essential parts: a statement of the context where the pattern is useful, the problem that the pattern addresses, the forces that play in forming a solution, and the solution that resolves that forces. This form underlies many published patterns, including analysis patterns. They show a number of highly generic processes that cut across traditional boundaries of system development and business engineering. However, patterns are invariably described informally in the literature, generally using natural language together some sort of graphical notation. A formal model of the semantic statements of analysis patterns has been proposed by reusing some of the properties formalised for GoF patterns. In this paper, we present a formal model of some behavioural properties of analysis patterns, and we illustrate using an example how an instantiation can be done. We also briefly discuss future work which will extend the model to include more behavioural properties
publishDate 2000
dc.date.none.fl_str_mv 2000-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23571
url http://sedici.unlp.edu.ar/handle/10915/23571
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615814370557952
score 13.070432