Formal requirements modeling with executable use cases and Coloured Petri Nets

Detalhes bibliográficos
Autor(a) principal: Jorgensen, Jens B.
Data de Publicação: 2009
Outros Autores: Tjell, Simon, Fernandes, João M.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/11005
Resumo: This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Therefore, a combination of EUCs and MDD may have potential to cover the path from user-level requirements via specifications to implementations of computer-based systems.
id RCAP_2709b33336c3a3625a8715e3b722f3d7
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/11005
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Formal requirements modeling with executable use cases and Coloured Petri NetsRequirements engineeringRequirements and specificationsPlatform-independent modelsModel-driven developmentColoured Petri netsScience & TechnologyThis paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Therefore, a combination of EUCs and MDD may have potential to cover the path from user-level requirements via specifications to implementations of computer-based systems.SpringerUniversidade do MinhoJorgensen, Jens B.Tjell, SimonFernandes, João M.2009-032009-03-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/11005eng“Innovations in Systems and Software Engineering”. ISSN 1614-5046. 5:1 (2009) 13-25.1614-504610.1007/s11334-009-0075-6info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:35:08Zoai:repositorium.sdum.uminho.pt:1822/11005Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:30:56.903046Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Formal requirements modeling with executable use cases and Coloured Petri Nets
title Formal requirements modeling with executable use cases and Coloured Petri Nets
spellingShingle Formal requirements modeling with executable use cases and Coloured Petri Nets
Jorgensen, Jens B.
Requirements engineering
Requirements and specifications
Platform-independent models
Model-driven development
Coloured Petri nets
Science & Technology
title_short Formal requirements modeling with executable use cases and Coloured Petri Nets
title_full Formal requirements modeling with executable use cases and Coloured Petri Nets
title_fullStr Formal requirements modeling with executable use cases and Coloured Petri Nets
title_full_unstemmed Formal requirements modeling with executable use cases and Coloured Petri Nets
title_sort Formal requirements modeling with executable use cases and Coloured Petri Nets
author Jorgensen, Jens B.
author_facet Jorgensen, Jens B.
Tjell, Simon
Fernandes, João M.
author_role author
author2 Tjell, Simon
Fernandes, João M.
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Jorgensen, Jens B.
Tjell, Simon
Fernandes, João M.
dc.subject.por.fl_str_mv Requirements engineering
Requirements and specifications
Platform-independent models
Model-driven development
Coloured Petri nets
Science & Technology
topic Requirements engineering
Requirements and specifications
Platform-independent models
Model-driven development
Coloured Petri nets
Science & Technology
description This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Therefore, a combination of EUCs and MDD may have potential to cover the path from user-level requirements via specifications to implementations of computer-based systems.
publishDate 2009
dc.date.none.fl_str_mv 2009-03
2009-03-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 http://hdl.handle.net/1822/11005
url http://hdl.handle.net/1822/11005
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv “Innovations in Systems and Software Engineering”. ISSN 1614-5046. 5:1 (2009) 13-25.
1614-5046
10.1007/s11334-009-0075-6
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 Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132815662514176

Registros relacionados