A coalgebraic semantic framework for component-based development in UML

Electronic Notes in Theoretical Computer Science

Volumn 122, Issue , 2005, Pages 229-245

  Meng, Sun ^a   Aichernig, Bernhard K ^b   Barbosa, Luís S ^c   Naixiao, Zhang ^a  

^a PEKING UNIVERSITY   (China)

^b UNITED NATIONS   (United States)

^c UNIVERSITY OF MINHO   (Portugal)

Author keywords

Coalgebras; Refinement; UML; Unified modeling language

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; MAPPING; MATHEMATICAL MODELS;

COALGEBRAS; REFINEMENT; UML; UNIFIED MODELING LANGUAGE;

SEMANTICS;

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

References (23)

1. Luís S. Barbosa Towards a Calculus of State-based Software Components Journal of Universal Computer Science 9 8 August 2003 891 909
2. Luís S. Barbosa, and Josè Nuno Fonseca de Oliveira State-based components made generic H. Peter Gumm (CMCS'03 - Workshop on Coalgebraic Methods in Computer Science), Warsaw Elect. Notes in Theor. Comp. Sci. 82.1 April 2003
3. Luís S. Barbosa and Sun Meng. Generic components. In Graham Hutton, editor, Proceedings of First APPSEM-II Workshop, Nottingham, March 2003. APPSEM Network Report
4. Manfred Broy, and Ketil Stølen Specification and development of interactive systems: focus on streams, interfaces, and refinement Monographs in computer science volume 62 2001 Springer
5. Willem-Paul de Roever, and Kai Engelhardt Data Refinement: Model-Oriented Proof Methods and their Comparison 1998 Cambridge University Press
6. Charles Antony Richard Hoare Proof of correctness of data representations Acta Information 1 1972 271 281
7. Bart Jacobs Inheritance and cofree constructions P. Cointe European Conference on Object-Oriented Programming LNCS volume 1098 1996 Springer Berlin 210 231
8. Bart Jacobs Objects and classes, co-algebraically B. Freitag C. Lengauer C.B. Jones H.-J. Schek Object-Orientation with Parallelism and Persistence 1996 Kluwer 83 103
9. Bart Jacobs Exercises in coalgebraic specification R. Backhouse R. Crole J. Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction LNCS volume 2297 2002 Springer 237 280
10. Bart Jacobs, and Jesse Hughes Simulations in coalgebra H. Peter Gumm (CMCS'03 - Workshop on Coalgebraic Methods in Computer Science), Warsaw Elect. Notes in Theor. Comp. Sci. 82 April 2003 245 263
11. Bart Jacobs, and Jan Rutten A tutorial on (co)algebras and (co)induction Bulletin of the European Association for Theoretical Computer Science 62 1997 222 259
12. Ivar Jacobson Object Oriented Development in an Industrial Environment Norman K. Meyrowitz Conference on Object-Oriented Programming Systems, Languages, and Applications, Proceedings (OOPSLA'87), October 4-8, 1987, Orlando, Florida SIGPLAN Notices volume 22 1987 183 191
13. Diego Latella, Istvan Majzik, and Mieke Massink Towards a formal operational semantics of UML statechart diagrams Proc. FMOODS'99 1999 Kluwer
14. Sun Meng and Bernhard Aichernig. Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases. Technical Report 272, UNU/IIST, January 2003
15. Sun Meng, and Luís S. Barbosa On Refinement of Generic State-based Software Components Proceedings of 10th International Conference on Algebraic Methods And Software Technology AMAST'04 LNCS 2004 Springer
16. Sun Meng, Zhang Naixiao, and Luís S. Barbosa On Semantics and Refinement of Statecharts: A Coalgebraic View Proceedings of 2nd IEEE International Conference on Software Engineering and Formal Methods 2004 IEEE Computer Society Press
17. OMG OMG Unified Modeling Language Specification, Version 1.4 2001
18. Dirk Pattinson Coalgebraic techniques in modelchecking Available from http://siskin.pst.informatik.uni-muenchen.de/pattinso/Publications/ 2001
19. Horst Reichel An approach to object semantics based on terminal co-algebras Mathematical Structures in Computer Science 5 1995 129 152
20. James Rumbaugh, Ivar Jacobson, and Grady Booch The Unified Modeling Language Reference Manual 1999 Addison Wesley Longman
21. Jan Rutten Universal coalgebra: a theory of systems Theoretical Computer Science 249 2000 3 80
22. Clemens Szyperski Component Software - Beyond Object-Oriented Programming 1998 Addison-Wesley
23. Hendrik Tews. Coalgebraic Methods for Object-Oriented Specification. PhD thesis, TU Dresden, 2002