Behavioural specification of middleware systems

Detalhes bibliográficos
Autor(a) principal: Rosa,Nelson Souto
Data de Publicação: 2006
Outros Autores: Cunha,Paulo Roberto Freire
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Journal of the Brazilian Computer Society
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300006
Resumo: The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads to ambiguities, whilst making difficult a better understanding of what is actually described. In this paper, we adopt software architecture principles for structuring middleware specifications together with LOTOS for formalising their behaviour. The adoption of software architecture principles makes explicit structural aspects of the middleware. Meanwhile, the formalisation enables us to check behavioural properties of the middleware. In order to illustrate our approach, we present a LOTOS specification of the well known object-oriented middleware CORBA.
id UFRGS-28_1e9d24d0142940bc3a7499218d64722b
oai_identifier_str oai:scielo:S0104-65002006000300006
network_acronym_str UFRGS-28
network_name_str Journal of the Brazilian Computer Society
repository_id_str
spelling Behavioural specification of middleware systemsMiddlewareLOTOSSoftware ArchitectureFormalisationThe number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads to ambiguities, whilst making difficult a better understanding of what is actually described. In this paper, we adopt software architecture principles for structuring middleware specifications together with LOTOS for formalising their behaviour. The adoption of software architecture principles makes explicit structural aspects of the middleware. Meanwhile, the formalisation enables us to check behavioural properties of the middleware. In order to illustrate our approach, we present a LOTOS specification of the well known object-oriented middleware CORBA.Sociedade Brasileira de Computação2006-09-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300006Journal of the Brazilian Computer Society v.12 n.2 2006reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1007/BF03192395info:eu-repo/semantics/openAccessRosa,Nelson SoutoCunha,Paulo Roberto Freireeng2010-05-24T00:00:00Zoai:scielo:S0104-65002006000300006Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:2010-05-24T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false
dc.title.none.fl_str_mv Behavioural specification of middleware systems
title Behavioural specification of middleware systems
spellingShingle Behavioural specification of middleware systems
Rosa,Nelson Souto
Middleware
LOTOS
Software Architecture
Formalisation
title_short Behavioural specification of middleware systems
title_full Behavioural specification of middleware systems
title_fullStr Behavioural specification of middleware systems
title_full_unstemmed Behavioural specification of middleware systems
title_sort Behavioural specification of middleware systems
author Rosa,Nelson Souto
author_facet Rosa,Nelson Souto
Cunha,Paulo Roberto Freire
author_role author
author2 Cunha,Paulo Roberto Freire
author2_role author
dc.contributor.author.fl_str_mv Rosa,Nelson Souto
Cunha,Paulo Roberto Freire
dc.subject.por.fl_str_mv Middleware
LOTOS
Software Architecture
Formalisation
topic Middleware
LOTOS
Software Architecture
Formalisation
description The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads to ambiguities, whilst making difficult a better understanding of what is actually described. In this paper, we adopt software architecture principles for structuring middleware specifications together with LOTOS for formalising their behaviour. The adoption of software architecture principles makes explicit structural aspects of the middleware. Meanwhile, the formalisation enables us to check behavioural properties of the middleware. In order to illustrate our approach, we present a LOTOS specification of the well known object-oriented middleware CORBA.
publishDate 2006
dc.date.none.fl_str_mv 2006-09-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300006
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002006000300006
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1007/BF03192395
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv Sociedade Brasileira de Computação
publisher.none.fl_str_mv Sociedade Brasileira de Computação
dc.source.none.fl_str_mv Journal of the Brazilian Computer Society v.12 n.2 2006
reponame:Journal of the Brazilian Computer Society
instname:Sociedade Brasileira de Computação (SBC)
instacron:UFRGS
instname_str Sociedade Brasileira de Computação (SBC)
instacron_str UFRGS
institution UFRGS
reponame_str Journal of the Brazilian Computer Society
collection Journal of the Brazilian Computer Society
repository.name.fl_str_mv Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)
repository.mail.fl_str_mv jbcs@icmc.sc.usp.br
_version_ 1754734669924925440

Registros relacionados