Checking the validity of scenarios in UML models

Lecture Notes in Computer Science

Volumn 3535, Issue , 2005, Pages 67-82

  Rasch, Holger ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER AIDED SOFTWARE ENGINEERING; DATA PROCESSING; MATHEMATICAL MODELS; PHASE DIAGRAMS; FORMAL METHODS; GRAPHIC METHODS; SPECIFICATION LANGUAGES; UNIFIED MODELING LANGUAGE;

OPEN OBJECT-BASED DISTRIBUTED SYSTEMS; SEQUENCE DIAGRAMS; STRUCTURE DIAGRAMS; UML MODEL; CLASS DIAGRAMS; CONCEPTUAL SIMPLICITY; CSP MODEL; EARLY DESIGN PHASIS; PROCESS ALGEBRAS; STATE MACHINE;

XML; MODEL CHECKING;

EID: 26444533542     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494881_5     Document Type: Conference Paper

References (25)

1. Simona Bernardi, Susanna Donatelli, and José Merseguer. From UML sequence diagrams and statecharts to analysable petri net models. In WSOP'02, pages 35-45. ACM Press, 2002.
2. C. Bolton and J. Davies. Using relational and behavioural semantics in the verification of object models. In FMOODS'00, pages 163-182. Kluwer, 2000.
3. H. Bowman, M.W.A. Steen, E.A. Boiten, and J. Derrick. A formal framework for viewpoint consistency. Formal Methods in System Design, 21:111-166, 2002.
4. M. Brill, R. Buschermöhle, W. Damm, J. Klose, B. Westphal, and H. Wittke. Formal verification of LSCs in the development process. In Integration of Software Specification Techniques for Applications in Engineering. Springer, 2004.
5. Y. Choi and C. Bunse. Behavioral consistency checking for component-based software development using the KobrA approach. In Consistency Problems in UML-based Software Development III, Lisbon, Portugal, October 2004. revised papers.
6. Consistency problems in UML-based software development III - understanding and usage of dependency relationships, Lisbon, Portugal, October 2004.
7. W. Damm and D. Harel. LSCs: Breathing life into Message Sequence Charts. In P. Ciancarini and R. Gorrieri, editors, FMOODS'99. Kluwer, 1999.
8. G. Engels, R. Heckel, and J. Küster. Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. In Martin Gogolla, editor, UML 2001. Springer, 2001.
9. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, FMOODS'97, volume 2, pages 423-438. Chapman & Hall, 1997.
10. Formal Systems (Europe) Ltd. Failures-Divergence Refinement - FDR2 User Manual, 4th edition, August 1998.
11. T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim. An algebraic semantics for message sequence chart documents. In S. Budkowski, A. Cavalle, and E. Najm, editors, FORTE/PSTV'98, pages 3-18. Kluwer, 1998.
12. D. Harel and R. Marelly. Specifying and Executing Behavioral Requirements: The Play In/Play-Out Approach. Software and System Modeling, 2:82-107, 2003.
13. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International Series in Computer Science. Prentice-Hall International, 1985.
14. International Organisation for Standardization. Information technology - Z formal specification notation - Syntax, type system and semantics, 1st edition, July 2002. ISO/IEC 13568:2002 (E) International Standard.
15. P.B. Ladkin and S. Leue. Interpreting message flow graphs. Formal Aspects of Computing, 7(5):473-509, 1995.
16. S. Mauw and M.A. Reniers. An Algebraic Semantics of Basic Message Sequence Charts. The Computer Journal, 37(4):269-277, 1994.
17. M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim. Linking CSP-OZ with UML and Java: A case study. In IFM'04, pages 267-286. Springer, 2004.
18. H. Rasch and H. Wehrheim. Checking Consistency in UML Diagrams: Classes and State Machines. In FMOODS'03, pages 229-243. Springer, 2003.
19. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall Series in Computer Science. Prentice Hall Europe, 1998.
20. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, 1994.
21. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer, 2000.
22. J. M. Spivey. The Z Notation: A Reference Manual. Oriel College, Oxford, 2nd edition, 1998.
23. H. Störrle. Semantics of Interactions in UML 2.0. In Intl. Workshop on Visual Languages and Formal Methods, 2003. at HCC'03, Auckland, NZ.
24. A. Tsiolakis and H. Ehrig. Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars. In H. Ehrig and G. Taentzer, editors, GRATRA 2000, pages 77-86, March 2000. TU Berlin, FB Informatik, TR No. 2000-2.
25. OMG Unified Modeling Language specification, version 1.5, March 2003. http://www.omg.org.