Merging partial behavioural models

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2004, Pages 43-52

  Uchitel, Sebastian ^a   Chechik, Marsha ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

Merge; MTS; Partial Behaviour Models

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL TRANSFORMATIONS; PARALLEL PROCESSING SYSTEMS; SET THEORY;

KRIPKE STRUCTURES; MERGE; MODAL TRANSITION SYSTEMS (MTS); PARTIAL BEHAVIOR MODELS;

SOFTWARE ENGINEERING;

EID: 20344363928     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1041685.1029904     Document Type: Conference Paper

References (24)

1. A. Bouali and R. de Simone. "Symbolic Bisimulation Minimization". In Proceedings of CAV'92, pages 96-108, 1992.
2. M. Chechik, B. Devereux, S. Easterbrook, and A. Gurfinkel. "Multi-Valued Symbolic Model-Checking". ACM TOSEM, 12(4):1-38, 2003.
3. E. Clarke and J. M. Wing. "Formal Methods: State of the Art and Future Directions". ACM Computing Surveys, 28(4):626-643, 1996.
4. S. Clarke and R. J. Walker. "Composition Patterns: An approach to Designing Reusable Aspects". In Proceedings of ICSE'01, pages 5-14, May 2001.
5. D. Dams. Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology, 1996.
6. R. Diaz-Redondo, J. Pazos-Arias, and A. Fernandez-Vilas. "Reusing Verification Information of Incomplete Specifications". In Proceedings of the Workshop on Component-Based SE, 2002.
7. S. Easterbrook and M. Chechik. "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints". In Proceedings of ICSE'01, pages 411-420, May 2001.
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, Englewood Cliffs, New Jersey, 1985.
9. A. Hunter and B. Nuseibeh. "Managing Inconsistent Specifications: Reasoning, Analysis and Action". ACM TOSEM, 7(4):335-367, 1998.
10. A. Hussain and M. Huth. "On Model Checking Multiple Hybrid Views". Technical Report 2004/6, Department of Computing, Imperial College London, July 2004.
11. ITU. "Message Sequence Charts". Technical Report Recommendation Z.120, International Telecommunications Union. Telecommunication Standardisation Sector, 2000.
12. D. Jackson. "Alloy: a Lightweight Object Modelling Notation". ACM TOSEM, 11(2):256-290, 2002.
13. R. Keller. "Formal Verification of Parallel Programs". Communications of the ACM, 19(7):371-384, 1976.
14. I. Krueger, R. Grosu, P. Scholz, and M. Broy. "From MSCs to Statecharts". In F. J. Rammig, editor, Distributed and Parallel Embedded Systems. Kluwer Academic Publishers, 1999.
15. K. Larsen and B. Thomsen. "A Modal Process Logic". In Proceedings of LICS'88, pages 203-210, 1988.
16. K. G. Larsen, B. Steffen, and C. Weise. "A Constraint Oriented Proof Methodology based on Modal Transition Systems". In Proceedings of TACAS'95, pages 13-28, May 1995.
17. J. Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley & Sons Ltd., New York, 1999.
18. R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989.
19. M. Sabetzadeh and S. Easterbrook. "Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach". In Proceedings of ASE'03, pages 12-21, October 2003.
20. ICSE Workshop on Scenarios and State Machines: Model, Algorithms and Tools (SCESM), 2002-2004.
21. S. Uchitel and M. Chechik. "Merging MTSs for a B2B E-Commerce Site", http://www.doc.ic.ac.uk/~su2/merge/examples.
22. S. Uchitel, J. Kramer, and J. Magee. "Behaviour Model Elaboration using Partial Labelled Transition Systems". In Proceedings of ESEC/FSE'03, pages 19-27, 2003.
23. S. Uchitel, J. Kramer, and J. Magee. "Synthesis of Behavioural Models from Scenarios". IEEE TSE, 29(2):99-115, 2003.
24. J. Whittle and J. Schumann. "Generating Statechart Designs from Scenarios". In Proceedings ICSE'00, pages 314-323, 2000.