Please use this identifier to cite or link to this item: https://doi.org/10.1145/1985793.1986002
Title: Specification mining in concurrent and distributed systems
Authors: Kumar, S. 
Keywords: distributed systems
specification mining
Issue Date: 2011
Source: Kumar, S. (2011). Specification mining in concurrent and distributed systems. Proceedings - International Conference on Software Engineering : 1086-1089. ScholarBank@NUS Repository. https://doi.org/10.1145/1985793.1986002
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
URI: http://scholarbank.nus.edu.sg/handle/10635/41525
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.

SCOPUSTM   
Citations

2
checked on Dec 13, 2017

Page view(s)

39
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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