A coalgebraic semantic framework for component-based development in UML

Bibliographic Details
Main Author: Sun Meng
Publication Date: 2005
Other Authors: Aichernig, Bernhard K., Barbosa, L. S., Zhang Naixiao
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: https://hdl.handle.net/1822/33860
Summary: This paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML. The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed. It is also discussed how to formalize the refinement steps in the development process based upon a suitable notion of behavior refinement. In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components.
id RCAP_372aa9965ca2b308f1106ae28f59e5f4
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/33860
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling A coalgebraic semantic framework for component-based development in UMLUnified modeling languageRefinementUMLCoalgebrasScience & TechnologyThis paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML. The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed. It is also discussed how to formalize the refinement steps in the development process based upon a suitable notion of behavior refinement. In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components.FCT -Fuel Cell Technologies Program(POSI/ICHS/44304/2002)ElsevierUniversidade do MinhoSun MengAichernig, Bernhard K.Barbosa, L. S.Zhang Naixiao20052005-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/1822/33860engMeng, S., Aichernig, B. K., Barbosa, L. S., & Naixiao, Z. (2005, March). A Coalgebraic Semantic Framework for Component-based Development in UML. Electronic Notes in Theoretical Computer Science. Elsevier BV. http://doi.org/10.1016/j.entcs.2004.06.0511571-066110.1016/j.entcs.2004.06.051info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-04-12T04:05:27Zoai:repositorium.sdum.uminho.pt:1822/33860Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T14:50:41.375586Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv A coalgebraic semantic framework for component-based development in UML
title A coalgebraic semantic framework for component-based development in UML
spellingShingle A coalgebraic semantic framework for component-based development in UML
Sun Meng
Unified modeling language
Refinement
UML
Coalgebras
Science & Technology
title_short A coalgebraic semantic framework for component-based development in UML
title_full A coalgebraic semantic framework for component-based development in UML
title_fullStr A coalgebraic semantic framework for component-based development in UML
title_full_unstemmed A coalgebraic semantic framework for component-based development in UML
title_sort A coalgebraic semantic framework for component-based development in UML
author Sun Meng
author_facet Sun Meng
Aichernig, Bernhard K.
Barbosa, L. S.
Zhang Naixiao
author_role author
author2 Aichernig, Bernhard K.
Barbosa, L. S.
Zhang Naixiao
author2_role author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Sun Meng
Aichernig, Bernhard K.
Barbosa, L. S.
Zhang Naixiao
dc.subject.por.fl_str_mv Unified modeling language
Refinement
UML
Coalgebras
Science & Technology
topic Unified modeling language
Refinement
UML
Coalgebras
Science & Technology
description This paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML. The principles of a coalgebraic semantics for class, object and statechart diagrams as well as for use cases, are developed. It is also discussed how to formalize the refinement steps in the development process based upon a suitable notion of behavior refinement. In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components.
publishDate 2005
dc.date.none.fl_str_mv 2005
2005-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/33860
url https://hdl.handle.net/1822/33860
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Meng, S., Aichernig, B. K., Barbosa, L. S., & Naixiao, Z. (2005, March). A Coalgebraic Semantic Framework for Component-based Development in UML. Electronic Notes in Theoretical Computer Science. Elsevier BV. http://doi.org/10.1016/j.entcs.2004.06.051
1571-0661
10.1016/j.entcs.2004.06.051
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833594924915752960

Similar Items