Class and capsule refinement in UML for real time

Electronic Notes in Theoretical Computer Science

Volumn 95, Issue , 2004, Pages 23-51

  Sampaio, Augusto ^a   Mota, Alexandre ^a   Ramos, Rodrigo ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Behavioral inheritance; Class refinement; Laws for UML RT; Process refinement

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER OPERATING SYSTEMS; CONFORMAL MAPPING; MATHEMATICAL MODELS; REAL TIME SYSTEMS; SEMANTICS;

BEHAVIORAL INHERITANCE; CLASS REFINEMENT; LAWS FOR UML-RT; PROCESS REFINEMENT;

FORMAL LANGUAGES;

EID: 15944362047     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.004     Document Type: Conference Paper

References (35)

1. Agnew David, Claesen Luc J.M., Camposano Raul. An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems. IFIP Transactions. volume A-32:1993;North-Holland
2. Booch G., Jacobson I., Rumbaugh J. The Unified Modeling Language User Guide. 1999;Addison-Wesley
3. Cardelli Luca. A Refinement Algebra for Object-oriented Programming. Lecture Notes in Computer Science. volume 2743:2003;Springer
4. Cavalcanti A., Sampaio A., Woodcock J. A Unified Language of Classes and Processes. St. Eve - State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering. Satellite Workshop - FM'03, Pisa, Italy, September 2003. 2003
5. A.L.C. Cavalcanti, A.C.A. Sampaio, and J.C.P. Woodcock. A Refinement Strategy for Circus. Formal Aspects of Computing, 2003. To appear
6. A.L.C. Cavalcanti and J.C.P. Woodcock. A Weakest Precondition Semantics for Circus. Technical report, University of Kent at Canterbury Computing Laboratory, 2002. In preparation
7. Douglass B.P. Real Time UML - Developing Efficient Objects for Embedded Systems. 1998;Addison Wesley
8. Evans A. Reasoning with UML Diagrams. Workshop on Industrial Strength Formal Methods, WIFT'98. 1998;IEEE Press
9. Evans A., France R., Lano K., Rumpe B. The UML as a Formal Modeling Notation. Bézivin J., Muller P. The Unified Modling Language, UML'98 - Beyond the Notation. Lecture Notes in Computer Science. volume 1618:1999;336-348 Springer-Verlag
10. C. Fischer. Combination and Implementation of Processes and Data: from CSP-OZ to Java. PhD thesis, Fachbereich Informatik Universität Oldenburg, 2000
11. Fischer C., Olderog E.R., Wehrheim H. A CSP view on UML-RT structure diagrams. Hussmann Heinrich. Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings. LNCS. volume 2029:2001;91-108 Springer
12. Gheyi R., Borba P. Refactoring Alloy Specifications. WMF 2003: 6th Workshop on Formal Methods, Brazil. 2003
13. Gogolla M., Parisi-Presicce F. State diagrams in UML: A formal semantics using graph transformations. Broy Manfred, Coleman Derek, Maibaum Tom S.E., Rumpe Bernhard. Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München, TUM-I9803. 1998
14. Gogolla Martin, Richters Mark. On combining semi-formal and formal object specification techniques. Parisi-Presice Francesco. Recent trends in algebraic development techniques: 12th international workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997: selected papers. LNCS. volume 1376:1998;Springer
15. TM Language Specification. 2nd edition :June 2000;Addison-Wesley
16. Harel D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 8:1987;231-274
17. Harel D., Kupferman O. On Object Systems and Behavioral Inheritance. IEEE Trans. Software Engineering. 28:(9):2002;889-903
18. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall International
19. Hoare C.A.R., Jifeng He. Unifying Theories of Programming. 1998;Prentice-Hall
20. Jackson Daniel. Alloy: a lightweight object modelling notation. Software Engineering and Methodology. 11:(2):2002;256-290
21. Jacobson I., Booch G., Rumbaugh J. The Unified Software Development Process. 1999;Addison-Wesley
22. Lano K., Bicarregui J. UML Refinement and Abstractoin Transformations. ROOM 2 Workshop. 1998
23. Liskov B.H., Wing J.M. A Behavioural Notion of Subtyping. ACM Trans. on Programming Languages and Systems. 16:(6):1994
24. Lüttgen G., Beeck M., Cleaveland R. A compositional approach to statecharts semantics. ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (FSE 2000). ACM Software Engineering Notes. volume 256:November 2000;120-129 ACM Press, San Diego, CA, USA
25. Meyer B. Object-Oriented Software Construction. 2nd edition :1997;Prentice-Hall International
26. Milner R. Communication and Concurrency. 1989;Prentice-Hall
27. Morgan Carroll. Programming from Specifications. second edition :1994;Prentice Hall
28. Richters M., Gogolla M. OCL: Syntax, semantics, and tools. Clark Tony, Warmer Jos. Object Modeling with the OCL: The Rationale behind the Object Constraint Language. 2002;42-68 Springer
29. Roscoe A.W. The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. 1998;Prentice-Hall
30. Sampaio A.C.A., Woodcock J.C.P., Cavalcanti A.L.C. Refinement in Circus. Eriksson L., Lindsay P.A. FME 2002: Formal Methods - Getting IT Right. Lecture Notes in Computer Science. volume 2391:2002;451-470 Springer-Verlag
31. Smith G. The Object-Z Specification Language. 1999;Kluwer Academic Publishers
32. Rational Software. Rational rose-rt. URL www.rational.com/products/ rosert:2003
33. Spivey M. The Z Notation: A Reference Manual. second edition :1992;Prentice Hall
34. Woodcock J.C.P., Cavalcanti A.L.C. The Semantics of Circus. Bert D., Bowen J.P., Henson M.C., Robinson K. ZB 2002: Formal Specification and Development in Z and B. Lecture Notes in Computer Science. volume 2272:2002;184-203 Springer-Verlag
35. Woodcock J.C.P., Davies J. Using Z-Specification, Refinement, and Proof. 1996;Prentice-Hall