Recovering the lattice of repetitive sub-functions

Authors:
Guy-Vincent Jourdan;Hasan Ural;Hüsnü Yenigün
Affiliations:
School of Information Technology and Engineering (SITE), University of Ottawa, Ottawa, Ontario, Canada;School of Information Technology and Engineering (SITE), University of Ottawa, Ottawa, Ontario, Canada;Faculty of Engineering and Natural Sciences, Sabancı University, Tuzla, Istanbul, Turkey
Venue:
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Year:
2005

Citing 6
Cited 1

Tutorial on message sequence charts

Computer Networks and ISDN Systems - Special issue on SDL and MSC
Inference of message sequence charts

Proceedings of the 22nd international conference on Software engineering
Reverse Engineering and Design Recovery: A Taxonomy

IEEE Software
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Model Checking of Message Sequence Charts

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Inference of Message Sequence Charts

IEEE Transactions on Software Engineering

Recovering Repetitive Sub-functions from Observations

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of the concurrent system. We first introduce a formal structure that we call ”lattice of repetitive sub-functions”. This lattice provides us with a global view of all the repetitive sub-functions of the system and all the compatible observations. Using the lattice, we are able to propose an algorithm that constructs the MSC graph representation of the system functionality in a more general context than in previously published work.