Generative sequence diagrams for requirements specification in real-time systems

Summary form only given, as follows. Sequence diagrams have proven useful for describing scenarios, which are widely used to elicit system requirements. However, their weak expression for control flow and real-time behavior reduces their suitability for practical real-time applications. To overcome...

Full description

Saved in:
Bibliographic Details
Main Author: Kimour, M.-T.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Computer science
Concurrent computing
Laboratories
Real time systems
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page 7
container_title
container_volume
creator Kimour, M.-T.
description Summary form only given, as follows. Sequence diagrams have proven useful for describing scenarios, which are widely used to elicit system requirements. However, their weak expression for control flow and real-time behavior reduces their suitability for practical real-time applications. To overcome these drawbacks, we have extended these diagrams with generative mechanisms to deal with temporal behavior, concurrency, and hierarchy that are fundamental aspects of real-time systems. We show that when used in requirements specification, our generative style of sequence diagrams is more appropriate, making the requirement models both simpler and more expressiveness, easy to understand and more suitable to real-time systems.
doi_str_mv 10.1109/AICCSA.2003.1227444
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1227444</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1227444</ieee_id><sourcerecordid>1227444</sourcerecordid><originalsourceid>FETCH-ieee_primary_12274443</originalsourceid><addsrcrecordid>eNp9Ts0KgkAYXIigKJ_Ay76Atuta6lGkv1tQd1nsM75wV9vPAt--PXRuZmBghoFhLJQillIUm_JcVdcyToRQsUySLE3TGQuKLBdeKityJRcsIHoKj3TruVuyyxEsOD3iBzjB6w22AX5H_XDaEG97x51P0YEBOxKnARpssfGD3nK0vtVdNKLx64lGMLRm81Z3BMHPVyw87G_VKUIAqAeHRrup_v1T_9svRTdA1Q</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Generative sequence diagrams for requirements specification in real-time systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Kimour, M.-T.</creator><creatorcontrib>Kimour, M.-T.</creatorcontrib><description>Summary form only given, as follows. Sequence diagrams have proven useful for describing scenarios, which are widely used to elicit system requirements. However, their weak expression for control flow and real-time behavior reduces their suitability for practical real-time applications. To overcome these drawbacks, we have extended these diagrams with generative mechanisms to deal with temporal behavior, concurrency, and hierarchy that are fundamental aspects of real-time systems. We show that when used in requirements specification, our generative style of sequence diagrams is more appropriate, making the requirement models both simpler and more expressiveness, easy to understand and more suitable to real-time systems.</description><identifier>ISBN: 9780780379831</identifier><identifier>ISBN: 0780379837</identifier><identifier>DOI: 10.1109/AICCSA.2003.1227444</identifier><language>eng</language><publisher>IEEE</publisher><subject>Application software ; Computer science ; Concurrent computing ; Laboratories ; Real time systems ; Unified modeling language</subject><ispartof>ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts, 2003, p.7</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1227444$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1227444$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Kimour, M.-T.</creatorcontrib><title>Generative sequence diagrams for requirements specification in real-time systems</title><title>ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts</title><addtitle>AICCSA</addtitle><description>Summary form only given, as follows. Sequence diagrams have proven useful for describing scenarios, which are widely used to elicit system requirements. However, their weak expression for control flow and real-time behavior reduces their suitability for practical real-time applications. To overcome these drawbacks, we have extended these diagrams with generative mechanisms to deal with temporal behavior, concurrency, and hierarchy that are fundamental aspects of real-time systems. We show that when used in requirements specification, our generative style of sequence diagrams is more appropriate, making the requirement models both simpler and more expressiveness, easy to understand and more suitable to real-time systems.</description><subject>Application software</subject><subject>Computer science</subject><subject>Concurrent computing</subject><subject>Laboratories</subject><subject>Real time systems</subject><subject>Unified modeling language</subject><isbn>9780780379831</isbn><isbn>0780379837</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2003</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNp9Ts0KgkAYXIigKJ_Ay76Atuta6lGkv1tQd1nsM75wV9vPAt--PXRuZmBghoFhLJQillIUm_JcVdcyToRQsUySLE3TGQuKLBdeKityJRcsIHoKj3TruVuyyxEsOD3iBzjB6w22AX5H_XDaEG97x51P0YEBOxKnARpssfGD3nK0vtVdNKLx64lGMLRm81Z3BMHPVyw87G_VKUIAqAeHRrup_v1T_9svRTdA1Q</recordid><startdate>2003</startdate><enddate>2003</enddate><creator>Kimour, M.-T.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2003</creationdate><title>Generative sequence diagrams for requirements specification in real-time systems</title><author>Kimour, M.-T.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-ieee_primary_12274443</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Application software</topic><topic>Computer science</topic><topic>Concurrent computing</topic><topic>Laboratories</topic><topic>Real time systems</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Kimour, M.-T.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Kimour, M.-T.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Generative sequence diagrams for requirements specification in real-time systems</atitle><btitle>ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts</btitle><stitle>AICCSA</stitle><date>2003</date><risdate>2003</risdate><spage>7</spage><pages>7-</pages><isbn>9780780379831</isbn><isbn>0780379837</isbn><abstract>Summary form only given, as follows. Sequence diagrams have proven useful for describing scenarios, which are widely used to elicit system requirements. However, their weak expression for control flow and real-time behavior reduces their suitability for practical real-time applications. To overcome these drawbacks, we have extended these diagrams with generative mechanisms to deal with temporal behavior, concurrency, and hierarchy that are fundamental aspects of real-time systems. We show that when used in requirements specification, our generative style of sequence diagrams is more appropriate, making the requirement models both simpler and more expressiveness, easy to understand and more suitable to real-time systems.</abstract><pub>IEEE</pub><doi>10.1109/AICCSA.2003.1227444</doi></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9780780379831
ispartof ACS/IEEE International Conference on Computer Systems and Applications, 2003. Book of Abstracts, 2003, p.7
issn
language eng
recordid cdi_ieee_primary_1227444
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Application software
Computer science
Concurrent computing
Laboratories
Real time systems
Unified modeling language
title Generative sequence diagrams for requirements specification in real-time systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-30T22%3A07%3A25IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Generative%20sequence%20diagrams%20for%20requirements%20specification%20in%20real-time%20systems&rft.btitle=ACS/IEEE%20International%20Conference%20on%20Computer%20Systems%20and%20Applications,%202003.%20Book%20of%20Abstracts&rft.au=Kimour,%20M.-T.&rft.date=2003&rft.spage=7&rft.pages=7-&rft.isbn=9780780379831&rft.isbn_list=0780379837&rft_id=info:doi/10.1109/AICCSA.2003.1227444&rft_dat=%3Cieee_6IE%3E1227444%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-ieee_primary_12274443%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1227444&rfr_iscdi=true