Properties of behavioural model merging

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 98-114

  Brunet, Greg ^a   Chechik, Marsha ^a   Uchitel, Sebastian ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; MATHEMATICAL MODELS; MODAL ANALYSIS;

BEHAVIOURAL MODELS; MODAL TRANSITION SYSTEMS (MTS); OPERATIONAL MODELS;

BEHAVIORAL RESEARCH;

EID: 33749388988     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_8     Document Type: Conference Paper

References (29)

1. T. Ball, V. Levin, and F. Xie. "Automatic Creation of Environment Models via Training". In TACAS'04, volume 2988 of LNCS, pages 93-107, 2004.
2. B. Boem and R. Turner. Balancing Agility and Discipline: A Guide for the Perplexed. Person Education, 2004.
3. G. Brunet. "A Characterization of Merging Partial Behavioural Models". Master's thesis, University of Toronto, Department of Computer Science, January 2006.
4. G. Bruns and P. Godefroid. "Model Checking Partial State Spaces with 3-Valued Temporal Logics". In CAV'99, volume 1633 of LNCS, pages 274-287, 1999.
5. M. Chechik, B. Devereux, S. Easterbrook, and A. Gurfmkel. "Multi-Valued Symbolic Model-Checking". ACM TOSEM, 12(4):l-38, October 2003.
6. CREWS. "Cooperative Requirements Engineering With Scenarios", 1999.
7. W. Damm and D. Harel. "LSCs: Breathing Life into Message Sequence Charts.". FMSD, 19(1):45-80, 2001.
8. D. Dams, R. Gerth, and O. Grumberg. "Abstract Interpretation of Reactive Systems". ACM TOPLAS, 2(19):253-291, 1997.
9. S. Easterbrook and M. Chechik. "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints". In ICSE'01, pages 411-420, 2001.
10. D. Giannakopoulou and J. Magee. "Fluent Model Checking for Event-Based Systems". In ESEC/FSE'03, pages 257-266, 2003.
11. S. Horwitz, J. Prins, and T. Reps. "Integrating Noninterfering Versions of Programs.". ACM TOPLAS, 11(3):345-387, 1989.
12. A. Hunter and B. Nuseibeh. "Managing Inconsistent Specifications: Reasoning, Analysis and Action". ACM TOSEM, 7(4):335-367, 1998.
13. A. Hussain and M. Huth. "On Model Checking Multiple Hybrid Views". In 1st Int. Symp. on Leveraging Applications of FMs, pages 235-242, 2004.
14. M. Huth, R. Jagadeesan, and D. Schmidt. "A Domain Equation for Refinement of Partial Systems". Submitted, 2002.
15. M. Huth, R. Jagadeesan, and D. A. Schmidt. "Modal Transition Systems: A Foundation for Three-Valued Program Analysis". In ESOP'01, volume 2028 of LNCS, pages 155-169, 2001.
16. R. Keller. "Formal Verification of Parallel Programs". Communications of the ACM, 19(7):371-384, 1976.
17. D Kozen. "Results on the Propositional μ-calculus". TCS, 27:334-354, 1983.
18. J. Kramer, J. Magee, and M. Sloman. "CONIC: an Integrated Approach to Distributed Computer Control Systems". IEE Proceedings, 130(1): 1-10, 1983.
19. K. Larsen and L. Xinxin. "Equation Solving Using Modal Transition Systems". In LICS'90, pages 108-117, 1990.
20. K. G. Larsen, B. Steffen, and C. Weise. "A Constraint Oriented Proof Methodology based on Modal Transition Systems". In TACAS'95, LNCS, pages 13-28, 1995.
21. K.G. Larsen and B. Thomsen. "A Modal Process Logic". In LICS'88, pages 203-210, 1988.
22. J. Magee and J. Kramer. "Concurrency - State Models and Java Programs". John Wiley, 1999.
23. R. Milner. Communication and Concurrency. Prentice-Hall, New York, 1989.
24. M. Sabetzadeh and S.M. Easterbrook. "Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach". In ASE'03, pages 12-21, 2003.
25. S. Shoham and O. Grumberg. "Monotonic Abstraction-Refinement for CTL". In TACAS'04, volume 2988 of LNCS, pages 546-560, 2004.
26. C. Stirling. "Modal and Temporal Logics for Processes". In VIII Banff Conf. on Logics for Concurrency: Structure Versus Automata, pages 149-237, 1996.
27. S. Uchitel and M. Chechik. "Merging Partial Behavioural Models". In FSE'04, pages 43-52, 2004.
28. S. Uchitel, J. Kramer, and J. Magee. "Behaviour Model Elaboration using Partial Labelled Transition Systems". In ESEC/FSE'03, pages 19-27, 2003.
29. J. Whittle and J. Schumann. "Generating Statechart Designs from Scenarios". In ICSE'00, pages 314-323, 2000.