Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/548
Full metadata record
DC FieldValueLanguage
dc.contributor.authorLayouni, Ahmed Fen_UK
dc.contributor.authorLogrippo, Luigien_UK
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.editorBousquet, Lydie duen_UK
dc.contributor.editorRichier, Jean-Lucen_UK
dc.date.accessioned2017-06-22T00:54:43Z-
dc.date.available2017-06-22T00:54:43Z-
dc.date.issued2008-05en_UK
dc.identifier.urihttp://hdl.handle.net/1893/548-
dc.description.abstractFeature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually assumed to be given in the application domain. A method is proposed for identifying potential conflicts in call control actions, based on analysis of their pre/post-conditions. First of all, pre/postconditions for call processing actions are defined. Then, conflicts among the pre/post-conditions are defined. Finally, action conflicts are identified as a result of these conflicts. These cover several possibilities where the actions could be simultaneous or sequential. A first-order logic model-checking tool is used for automated conflict detection. As a case study, the APPEL call control language is used to illustrate the approach, with the Alloy tool serving as the model checker for automated conflict detection. This case study focuses on pre/post-conditions describing call control state and media state. The results of the method are evaluated by a domain expert with pragmatic understanding of the system’s behavior. The method, although computationally expensive, is fairly general and can be used to study conflicts in other domains.en_UK
dc.language.isoenen_UK
dc.publisherIOS Pressen_UK
dc.relationLayouni AF, Logrippo L & Turner KJ (2008) Conflict Detection in Call Control using First-Order Logic Model Checking In: Bousquet Ld & Richier J (eds.) Feature Interactions in Software and Communication Systems IX. ICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systems, Amsterdam, 03.09.2007-05.09.2007. Amsterdam: IOS Press, pp. 66-82. http://www.iospress.nl/loadtop/load.php?isbn=9781586033484.en_UK
dc.rightsPublished by IOS Press, copyright 2008. Reprinted from Feature Interactions in Software and Communication Systems IX, Layouni, Ahmed F., Logrippo, Luigi, Turner, Kenneth J., Conflict Detection in Call Control using First-Order Logic Model Checking, Pages: 66 - 82. Copyright (2008), with permission from IOS Press.en_UK
dc.titleConflict Detection in Call Control using First-Order Logic Model Checkingen_UK
dc.typeConference Paperen_UK
dc.citation.spage66en_UK
dc.citation.epage82en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.identifier.urlhttp://www.iospress.nl/loadtop/load.php?isbn=9781586033484en_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.citation.btitleFeature Interactions in Software and Communication Systems IXen_UK
dc.citation.conferencedates2007-09-03 - 2007-09-05en_UK
dc.citation.conferencelocationGrenoble, Franceen_UK
dc.citation.conferencenameICFI 2007 - Ninth International Conference on Feature Interactions in Software and Communication Systemsen_UK
dc.citation.isbn978-1-58603-845-8en_UK
dc.publisher.addressAmsterdamen_UK
dc.contributor.affiliationUniversité du Québec en Outaouaisen_UK
dc.contributor.affiliationUniversité du Québec en Outaouaisen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.identifier.scopusid2-s2.0-84881639154en_UK
dc.identifier.wtid831293en_UK
dc.date.firstcompliantdepositdate2008-11-18en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
conf-det.pdfFulltext - Accepted Version100.71 kBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.