On semantics and refinement of UML statecharts: A coalgebraic view

Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

Volumn , Issue , 2004, Pages 164-173

  Sun, Meng ^a   Zhang, Naixiao ^a   Barbosa, Luís S ^b  

^a PEKING UNIVERSITY   (China)

^b UNIVERSITY OF MINHO   (Portugal)

Author keywords

Coalgebra; Refinement; Semantics; Statechart

Indexed keywords

COALGEBRA; REFINEMENT; STATECHART; UNIFIED MODELING LANGUAGE (UML);

COMPUTER SIMULATION; GRAPHIC METHODS; HIERARCHICAL SYSTEMS; INFORMATION ANALYSIS; NETWORK COMPONENTS; SEMANTICS; SOFTWARE ENGINEERING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 16244371357     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. L. S. Barbosa and S. Meng. Generic components. In G. Hutton, editor, Proceedings of First APPSEM-II Workshop, Nottingham, March 2003. APPSEM Network Report.
2. A. Corradini, R. Heckel, and U. Montanari. Compositional SOS and beyond: a coalgebraic view of open systems. Theoretical Computer Science, 280:163-192, 2002.
3. D. Hard. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
4. D. Harel and A. Naamad. The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996.
5. C. A. R. Hoare, H. Jifeng, and J. W. Sanders. Prespecification in data refinement. Information Processing Letters, 25:71-76, 1987.
6. B. Jacobs. Objects and classes, co-algebraically. In B. Freitag, C. Jones, C. Lengauer, and H.-J. Schek, editors, Object-Orientation with Parallelism and Persistence, pages 83-103. Kluwer, 1996.
7. B. Jacobs. Object-oriented hybrid systems of coalgebras plus monoid actions. Theoretical Computer Science, 239:41-95, 2000.
8. B. Jacobs and J. Hughes. Simulations in coalgebra. In H. P. Gumm, editor, Elect. Notes in Theor. Comp. Sci. (CMCS'03 - Workshop on Coalgebraic Methods in Computer Science), volume 82, pages 245-263, Warsaw, April 2003.
9. B. Jacobs and H. Tews. Assertional and Behavioural Refinement in Coalgebraic Specification. In Electronic Notes in Theoretical Computer Science, volume 47. Elsevier Science Publishers, 2001.
10. H. Jifeng. Process simulation and refinement. Formal Aspects of Computing, 1(3):229-241, 1989.
11. J. Jürjens. Formal semantics for interacting UML subsystems. In B. Jacobs and A. Rensink, editors, 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), pages 29-44. Kluwer Academic Publishers, March 2002.
12. A. Kock. Strong functors and monoidal monads. Archiv für Mathematik, 23:113-120, 1972.
13. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proc. FMOODS'99. Kluwer, 1999.
14. A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In 7th International Conference on Concurrency Theory (CONCUR'96), volume 1119 of LNCS, pages 687-702. Springer, August 1996.
15. S. Meng and B. K. Aichernig. Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases. Technical Report 272, UNU/IIST, January 2003.
16. S. Meng and L. S. Barbosa. On Refinement of Generic State-based Software Components. In Proceedings of 10th International Conference on Algebraic Methods And Software Technology, AMAST'04, LNCS. Springer, 2004.
17. E. Mikk, Y. Lakhnech, and M. Siegal. Hierarchical automata as models for Statecharts. In R. Shyamasundar and K. Euda, editors, Third Asian Computing Science Conference. Advances in Computing Science - ASIAN'97, volume 1345 of LNCS, pages 181-196. Springer, 1997.
18. J. N. Oliveira. A reification calculus for model-oriented software specification. Formal Aspects of Computing, 2(1):1-23, 1990.
19. OMG. OMG Unified Modeling Language Specification, Version 1.4, 2001.
20. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
21. J. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-80, 2000.
22. B. Selic, G. Gullekson, and P. Ward. Real-time Object Oriented Modeling and Design. J. Wiley & Sons, 1994.