Execution and simulation of (profiled) UML models using Pópulo

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 75-81

  Fuentes, Lidia ^a   Manrique, Jorge ^a   Sánchez, Pablo ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

executable UML; model execution; model simulation

Indexed keywords

ACTION LANGUAGE; ASPECT-ORIENTED; DEBUGGERS; EXECUTABLE UML; KEY FACTORS; MODEL APPLICATION; MODEL EXECUTION; MODEL SIMULATION; MODEL-DRIVEN DEVELOPMENT; OBJECT ORIENTED; UML MODEL;

ABILITY TESTING; COMPUTER SOFTWARE; MODELS; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE;

COMPUTER SIMULATION;

EID: 79959193293     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370731.1370749     Document Type: Conference Paper

References (15)

1. Paul Baker and Clive Jervis. Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. In Emmanuel Gaudin, Élie Najm, and Rick Reed, editors, Proc. of the 13th Int. SDL Forum, volume 4745 of LNCS, pages 86-100, Paris (France), September 2007.
2. Paul Baker, Shiou Loh, and Frank Weil. Model-Driven Engineering in a Large Industrial Context-Motorola Case Study. In Lionel C. Briand and Clay Williams, editors, Proc. of the 8th Int. Conference on Model-Driven Engineering Lenguages and Systems (MoDELS), volume 3713 of LNCS, pages 476-491, Montego Bay (Jamaica), October 2005.
3. Beatrice Berard, Michael Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, August 2001.
4. Sami Beydeda, Matthias Book, and Volker Gruhn. Model-Driven Software Development. Springer, August 2005.
5. Dolev Dotan and Andrei Kirshin. Debugging and testing behavioral uml models. In Proc. of the 22nd Int. Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 838-839, Montreal, (Quebec, Canada), October 2007.
6. Alexander Egyed. Fixing inconsistencies in uml design models. In Proc. of the 29th Int. Conference on Software Engineering (ICSE), pages 292-301, Minneapolis (Minnesotta, USA), May 2007.
7. Lidia Fuentes and Pablo Sánchez. Designing and weaving aspect-oriented executable uml models. Journal of Object Technology (JOT), Special Issue on Aspect-Oriented Modelling, 6(7):109-136, August 2007.
8. Lidia Fuentes and Pablo Sánchez. Execution of aspect oriented uml models. In David H. Akehurst, Régis Vogel, and Richard F. Paige, editors, 3rd European Conference on Model-Driven Architecture-Foundations and Applications (ECMDA-FA), volume 4530 of LNCS, pages 83-98, Haifa (Israel), June 2007.
9. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, October 1994.
10. Object Management Group (OMG). MOF 2.0/XMI Mapping Specification, v2.1 (formal/05-09-01), September 2005.
11. Object Management Group (OMG). Unified Modelling Language: Superstructure v2.0 (formal/05-07-04). Chapter 5: Actions, July 2005.
12. Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, and Nosa Omorogbe. The architecture of a uml virtual machine. In Proc. of the 16th Int. Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 327-341, Tampa Bay, (Florida, USA), October 2001.
13. Bran Selic. The pragmatics of model-driven development. IEEE Software, 20(5), September 2003.
14. H. Wada, E. M. M. Babu, A. Malinowski, J. Suzuki, and K. Oba. Design and implementation of the matilda distributed uml virtual machine. In Proc. of 10th Int. Conference on Software Engineering Applicattions (SEA), Dallas (Texas, USA), November 2006.
15. Dianxiang Xu and Weifeng Xu. State-based incremental testing of aspect-oriented programs. In Proc. of the 5th Int. Conference on Aspect-Oriented Software Development (AOSD), pages 180-189, Bonn (Germany), March 2006.