Consistency Checking for LSC Specifications
Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language. In this paper, we introduce a high level computational semantics of LSCs, in the form of a PLAY-tree, to show how a running LSC affects the system behaviors in response to...
Saved in:
Published in | 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering pp. 119 - 126 |
---|---|
Main Authors | , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.07.2009
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language. In this paper, we introduce a high level computational semantics of LSCs, in the form of a PLAY-tree, to show how a running LSC affects the system behaviors in response to a set of external events. Given a nonempty regular language of external events,the consistency of an LSC specification is defined as whether there exists a corresponding PLAY-tree with all success branches; in case of inconsistency, failure traces can be obtained through failure branches of the PLAY-tree. We also present an algorithm using a memoized depth-first search strategy and an implementation framework in logic programming for consistency checking of LSCs. |
---|---|
AbstractList | Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language. In this paper, we introduce a high level computational semantics of LSCs, in the form of a PLAY-tree, to show how a running LSC affects the system behaviors in response to a set of external events. Given a nonempty regular language of external events,the consistency of an LSC specification is defined as whether there exists a corresponding PLAY-tree with all success branches; in case of inconsistency, failure traces can be obtained through failure branches of the PLAY-tree. We also present an algorithm using a memoized depth-first search strategy and an implementation framework in logic programming for consistency checking of LSCs. |
Author | Wen Zheng Subramaniam, M. Hai-Feng Guo |
Author_xml | – sequence: 1 surname: Hai-Feng Guo fullname: Hai-Feng Guo organization: Dept. of Comput. Sci., Univ. of Nebraska at Omaha, Omaha, NE, USA – sequence: 2 surname: Wen Zheng fullname: Wen Zheng organization: Dept. of Comput. Sci., Univ. of Nebraska at Omaha, Omaha, NE, USA – sequence: 3 givenname: M. surname: Subramaniam fullname: Subramaniam, M. organization: Dept. of Comput. Sci., Univ. of Nebraska at Omaha, Omaha, NE, USA |
BookMark | eNotjEtLxDAUhQM6oB1n5dJN99Ka102a5RDGBxRcdAR3Q5reaHykQ9PN_HsrejYHznf4CnKexoSEXDNaM0bN3X7b7WpOqambM1JQrQwIDfp1RYrf1VDgVF2QTc4fdAlwZRRckls7phzzjMmfSvuO_jOmtzKMU9l2tuyO6GOI3s1xuV2RVXBfGTf_vSYv97u9faza54cnu22ryDTMFbgGXQDpHTW6BwHMMC4ckygHITjHXrrQS98PRjrllfCBScWHhfgmaCnW5ObPGxHxcJzit5tOh0XTSCPFD82cQqk |
ContentType | Conference Proceeding |
DBID | 6IE 6IL CBEJK RIE RIL |
DOI | 10.1109/TASE.2009.8 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Computer Science |
EndPage | 126 |
ExternalDocumentID | 5198494 |
Genre | orig-research |
GroupedDBID | 6IE 6IF 6IK 6IL 6IN AAJGR AARBI ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK IERZE OCL RIB RIC RIE RIL |
ID | FETCH-LOGICAL-i175t-5a8eaf54ca097b53519123a14e4d3322eb4afb4cbd94a6c63cf1462d22ec8f743 |
IEDL.DBID | RIE |
ISBN | 076953757X 9780769537573 |
IngestDate | Wed Jun 26 19:19:34 EDT 2024 |
IsPeerReviewed | false |
IsScholarly | false |
LCCN | 2009905206 |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-i175t-5a8eaf54ca097b53519123a14e4d3322eb4afb4cbd94a6c63cf1462d22ec8f743 |
PageCount | 8 |
ParticipantIDs | ieee_primary_5198494 |
PublicationCentury | 2000 |
PublicationDate | 2009-July |
PublicationDateYYYYMMDD | 2009-07-01 |
PublicationDate_xml | – month: 07 year: 2009 text: 2009-July |
PublicationDecade | 2000 |
PublicationTitle | 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering |
PublicationTitleAbbrev | TASE |
PublicationYear | 2009 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssj0000526965 |
Score | 1.4787128 |
Snippet | Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language. In this paper, we introduce a... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 119 |
SubjectTerms | Automata Automatic testing Computer languages Computer science Consistency Checking Debugging Hardware Logic Programming LSC PLAY-tree Software algorithms Software engineering Unified modeling language USA Councils |
Title | Consistency Checking for LSC Specifications |
URI | https://ieeexplore.ieee.org/document/5198494 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NTwIxEJ0AJ0-oYPxODx5dKNt22x4NgRAjxgRIuJG220ZjAkaWg_562-0uRuPB235c2my778103jyAG6qdFNYvXkkyk3j-LxOtBUmwyqVRHkCtCALn6WM2WdD7JVs24HavhbHWlsVnthcuy7P8fGN2IVXW92xDUEmb0BQ4jVqtfT4l9C2RGYuRuWSEM1432KnvSaXPG2DZn9_NRrFbpfjhq1LCyrgN03pAsZrktbcrdM98_urV-N8RH0L3W8CHnvbQdAQNuz6Gdu3ggKoN3YHo17kNvPkDDZ-tCYlz5HksepgNUelN7-qkXhcW49F8OEkq-4TkxXOCImFKWOUYNQpLrllw4vMwpQbU0pz4fWw1VU5To3NJVWYyYpz_baa5f2OE88ziBFrrzdqeAsKEG8xzl3LNQwAmU61xLn10y1yGLT-DTpj76i12yFhV0z7_-_EFHMQzmVD0egmt4n1nrzy0F_q6_KZflE6fDg |
link.rule.ids | 310,311,786,790,795,796,802,27956,55107 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3LTgIxFL1BXOgKFYxvZ-HSgULbabs0BIIKxARI2JE-oyEBo8NCv952HhiNC3fz2LSZds65t_fcA3BDlBPc-sUrcKJjz_9FrBTHMZJGaOkB1PIgcB6Nk8GMPMzpvAK3Wy2MtTYrPrPNcJmd5Zu13oRUWcuzDU4E2YFdj_OI5WqtbUYldC4RCc1jc0Exo6xssVPe40Kh10aiNb2b9PJ-lfyHs0oGLP0ajMoh5fUky-YmVU39-atb43_HfACNbwlf9LQFp0Oo2NUR1EoPh6jY0nXIHTvfA3P-iLrPVofUeeSZbDScdKPMnd6Vab0GzPq9aXcQFwYK8YtnBWlMJbfSUaIlEkzR4MXngUq2iSUG-51sFZFOEa2MIDLRCdbO_zg7xr_R3HlucQzV1XplTyBCmGnEjOswxUIIJjpKISN8fEtdgiw7hXqY--I175GxKKZ99vfja9gbTEfDxfB-_HgO-_kJTSiBvYBq-raxlx7oU3WVfd8vLXqiYg |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2009+Third+IEEE+International+Symposium+on+Theoretical+Aspects+of+Software+Engineering&rft.atitle=Consistency+Checking+for+LSC+Specifications&rft.au=Hai-Feng+Guo&rft.au=Wen+Zheng&rft.au=Subramaniam%2C+M.&rft.date=2009-07-01&rft.pub=IEEE&rft.isbn=9780769537573&rft.spage=119&rft.epage=126&rft_id=info:doi/10.1109%2FTASE.2009.8&rft.externalDocID=5198494 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769537573/lc.gif&client=summon&freeimage=true |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769537573/mc.gif&client=summon&freeimage=true |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780769537573/sc.gif&client=summon&freeimage=true |