Management of UML clusters

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

Volumn 5115 LNCS, Issue , 2009, Pages 111-129

  Schmidt, Peggy ^a   Thalheim, Bernhard ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT STATE MACHINES; ERROR PRONES; SOFTWARE DEVELOPMENT; SOFTWARE ENGINEERS; TRANSLATION PROCESS; UML DIAGRAMS;

COMPUTER SOFTWARE; GRAPHIC METHODS; SEMANTICS; STANDARDIZATION;

SPECIFICATIONS;

EID: 77949818643     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11447-2_8     Document Type: Conference Paper

References (25)

1. [BCR00a] Börger, E., Cavarra, A., Riccobene, E.: An ASM semantics for UML activity diagrams. In: AMAST, pp. 293-308 (2000)
2. [BCR00b] Börger, E., Cavarra, A., Riccobene, E.: Modeling the dynamics of UML state machines. In: Abstract State Machines, pp. 223-241 (2000)
3. [BGS+03] Barnett, M., Grieskamp, W., Schulte, W., Tillmann, N., Veanes, M.: Validating use-cases with the AsmL test tool. In: QSIC, pp. 238-246 (2003)
4. [Boe76] Boehm, B.W.: Software engineering. IEEE Trans. Computers 25(12),1226-1241 (1976)
5. [Bör03] Börger, E.: The ASM refinement method. Formal Aspects of Computing 15, 237-257 (2003)
6. [BS03] Börger, E., Stärk, R.: Abstract state machines - A method for high-level system design and analysis. Springer, Berlin (2003)
7. [BST02] Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in CASL. Formal Asp. Comput. 13(3-5), 252-273 (2002)
8. [CJ05] Chauvel, F., Jézéquel, J.-M.: Code generation from UML models with semantic variation points. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 54-68. Springer, Heidelberg (2005)
9. [DT01] Düsterhöft, A., Thalheim, B.: Conceptual modeling of internet sites. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 179-192. Springer, Heidelberg (2001)
10. [EB04] Elaasar, M., Briand, L.: An overview on UML consistency management. Technical Report SCE-04-018, Ottawa University (2004)
11. [FRT05] Fiedler, G., Raak, T., Thalheim, B.: Database collaboration instead of integration. In: APCCM 2005 (2005)
12. [HKKR05] Hitz, M., Kappel, G., Kapsammer, E., Retschitzegger, W.: UML @ Work, 2nd edn. dpunkt, Heidelberg (2005)
13. [ISO01] ISO/IEC. 9126-1 (Software engineering - product quality - part 1: Quality model). ISO/IEC JTC1/SC7 N2519 (2001)
14. [KN02] Kollingbaum, M., Norman, T.: Supervised interaction - create a web of trust for contracting agents in electronic environments. In: Proc. of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 272-279. ACM Press, New York (2002)
15. [Mal70] Malzew, A.I.: Algebraic systems. Nauka, Moscow (1970)
16. [Obe01] Ober, I.: An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions. PhD thesis, Polytechnique de Toulouse (2001)
17. [pUM07] The precise UML group (2007), http://www.cs.york.ac.uk/puml/
18. [Rei84] Reichel, H.: Structural induction on partial algebras. Mathematical research, vol. 18. Akademie-Verlag, Berlin (1984)
19. [SMSJ03] Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P.,Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326-340. Springer, Heidelberg (2003)
20. [ST93] Schewe, K.-D., Thalheim, B.: Fundamental concepts of object oriented databases. Acta Cybernetica 11(4), 49-81 (1993)
21. [ST99] Schewe, K.-D., Thalheim, B.: Towards a theory of consistency enforcement. Acta informatica 36, 97-141 (1999)
22. [ST07] Schewe, K.-D., Thalheim, B.: Development of collaboration frameworks for web information systems. In: IJCAI 2007 (20th Int. Joint Conf on Artificial Intelligence, Section EMC 2007 (Evolutionary models of collaboration), Hyderabad, pp. 27-32 (2007)
23. [Tha00] Thalheim, B.: Entity-relationship modeling - Foundations of database technology. Springer, Berlin (2000)
24. [Tsi00] Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. Technical Report 2000/3, Technical University of Berlin, Computer Science (2000)
25. [Ves05] Vestenicky, V.: Schema integration as view cooperation. PhD thesis, Charles University Prague, Computer Science (2005)