Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2005) Recovering the lattice of repetitive subfunctions. Lecture Notes in Computer Science, 3733 . 956 - 965. ISSN 0302-9743
Full text not available from this repository. (Request a copy)
Official URL: http://dx.doi.org/10.1007/11569596_97
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.
| Item Type: | Article |
|---|---|
| Additional Information: | Lecture Notes in Computer Science; 3733. Computer and Information Sciences - ISCIS 2005: 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings (978-3-540-29414-6) |
| Subjects: | Q Science > QA Mathematics > QA075 Electronic computers. Computer science |
| Divisions: | Faculty of Engineering and Natural Sciences |
| Depositing User: | Hüsnü Yenigün |
| Date Deposited: | 25 Nov 2005 02:00 |
| Last Modified: | 23 Feb 2010 17:12 |
| URI: | https://research.sabanciuniv.edu/id/eprint/631 |
Actions (login required)
- View Item