Please use this identifier to cite or link to this item:
Title: Specification mining in concurrent and distributed systems
Authors: Kumar, S. 
Keywords: distributed systems
specification mining
Issue Date: 2011
Citation: Kumar, S. (2011). Specification mining in concurrent and distributed systems. Proceedings - International Conference on Software Engineering : 1086-1089. ScholarBank@NUS Repository.
Abstract: Distributed systems contain several interacting components that perform complex computational tasks. Formal specification of the interaction protocols are crucial to the understanding of these systems. Dynamic specification mining from traces containing information about actual interactions during execution of distributed systems can play a useful role in verification and comprehension when formal specification is not available. A framework for behavioral specification mining in distributed systems is proposed. Concurrency and complexity in the distributed models raise special challenges to specification mining in such systems. © 2011 Author.
Source Title: Proceedings - International Conference on Software Engineering
ISBN: 9781450304450
ISSN: 02705257
DOI: 10.1145/1985793.1986002
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Nov 16, 2018

Page view(s)

checked on Mar 10, 2018

Google ScholarTM



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