An ASM operational semantics for use case maps

Jameleddine Hassine; Juergen Rilling; Rachida Dssouli

doi:10.1109/re.2005.10

An ASM operational semantics for use case maps

Jameleddine Hassine^*, Juergen Rilling, Rachida Dssouli

^*Corresponding author for this work

Research output: Contribution to journal › Conference article › peer-review

13 Scopus citations

Abstract

Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU-T's family of languages. UCM models allow the description of functional requirements and high-level designs at early stages of the development process. Recognizing the importance of having a well defined semantic, we propose, in this work, a concise and rigorous formal semantics for Use Case Maps, defined in terms of Multi-Agent Abstract State Machines. The proposed formal semantics addresses UCM's operational semantics and provides a sound basis for executing UCM specifications using simulation tools and supporting formal verification.

Original language	English
Pages (from-to)	467-468
Number of pages	2
Journal	Proceedings of the IEEE International Conference on Requirements Engineering
DOIs	https://doi.org/10.1109/re.2005.10
State	Published - 2005
Externally published	Yes

ASJC Scopus subject areas

Hardware and Architecture
Software
Industrial and Manufacturing Engineering

Access to Document

10.1109/re.2005.10

Cite this

@article{d632655b27924ceb8da2b7ee7e5fc8d9,

title = "An ASM operational semantics for use case maps",

abstract = "Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU-T's family of languages. UCM models allow the description of functional requirements and high-level designs at early stages of the development process. Recognizing the importance of having a well defined semantic, we propose, in this work, a concise and rigorous formal semantics for Use Case Maps, defined in terms of Multi-Agent Abstract State Machines. The proposed formal semantics addresses UCM's operational semantics and provides a sound basis for executing UCM specifications using simulation tools and supporting formal verification.",

author = "Jameleddine Hassine and Juergen Rilling and Rachida Dssouli",

year = "2005",

doi = "10.1109/re.2005.10",

language = "English",

pages = "467--468",

journal = "Proceedings of the IEEE International Conference on Requirements Engineering",

issn = "1090-705X",

publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - An ASM operational semantics for use case maps

AU - Hassine, Jameleddine

AU - Rilling, Juergen

AU - Dssouli, Rachida

PY - 2005

Y1 - 2005

N2 - Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU-T's family of languages. UCM models allow the description of functional requirements and high-level designs at early stages of the development process. Recognizing the importance of having a well defined semantic, we propose, in this work, a concise and rigorous formal semantics for Use Case Maps, defined in terms of Multi-Agent Abstract State Machines. The proposed formal semantics addresses UCM's operational semantics and provides a sound basis for executing UCM specifications using simulation tools and supporting formal verification.

AB - Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU-T's family of languages. UCM models allow the description of functional requirements and high-level designs at early stages of the development process. Recognizing the importance of having a well defined semantic, we propose, in this work, a concise and rigorous formal semantics for Use Case Maps, defined in terms of Multi-Agent Abstract State Machines. The proposed formal semantics addresses UCM's operational semantics and provides a sound basis for executing UCM specifications using simulation tools and supporting formal verification.

UR - http://www.scopus.com/inward/record.url?scp=27644571281&partnerID=8YFLogxK

U2 - 10.1109/re.2005.10

DO - 10.1109/re.2005.10

M3 - Conference article

AN - SCOPUS:27644571281

SN - 1090-705X

SP - 467

EP - 468

JO - Proceedings of the IEEE International Conference on Requirements Engineering

JF - Proceedings of the IEEE International Conference on Requirements Engineering

ER -

An ASM operational semantics for use case maps

Abstract

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this