A formal model for some behavioural features of analysis patterns

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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Buccella, Agustina, Cechich, Alejandra
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2000
Materias:	Ciencias Informáticas Object-oriented design methods Pattern analysis Formal methods
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23571
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-23571
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas Object-oriented design methods Pattern analysis Formal methods
spellingShingle	Ciencias Informáticas Object-oriented design methods Pattern analysis Formal methods Buccella, Agustina Cechich, Alejandra A formal model for some behavioural features of analysis patterns
topic_facet	Ciencias Informáticas Object-oriented design methods Pattern analysis Formal methods
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
format	Objeto de conferencia Objeto de conferencia
author	Buccella, Agustina Cechich, Alejandra
author_facet	Buccella, Agustina Cechich, Alejandra
author_sort	Buccella, Agustina
title	A formal model for some behavioural features of analysis patterns
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	formal model for some behavioural features of analysis patterns
publishDate	2000
url	http://sedici.unlp.edu.ar/handle/10915/23571
work_keys_str_mv	AT buccellaagustina aformalmodelforsomebehaviouralfeaturesofanalysispatterns AT cechichalejandra aformalmodelforsomebehaviouralfeaturesofanalysispatterns AT buccellaagustina formalmodelforsomebehaviouralfeaturesofanalysispatterns AT cechichalejandra formalmodelforsomebehaviouralfeaturesofanalysispatterns
bdutipo_str	Repositorios
_version_	1764820465908449281

A formal model for some behavioural features of analysis patterns

Ejemplares similares