Integrating and rapid-prototyping UML structural and behavioural diagrams using rewriting logic

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

Volumn 2348, Issue , 2002, Pages 296-310

  Aoumeur, Nasreddine ^a   Saake, Gunter ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); INFORMATION SYSTEMS; INTEGRATION; LIFE CYCLE; PETRI NETS; RAPID PROTOTYPING; SEMANTICS; SYSTEMS ENGINEERING;

BASED MODELLING; COMPLEX SOFTWARE; OBJECT CONSTRAINTS; OBJECT LIFE CYCLE; OPERATIONAL SEMANTICS; SEMI-GRAPHICAL NOTATION; SYSTEM DESIGNERS; UML STRUCTURAL AND BEHAVIOURAL DIAGRAMS;

GRAPHIC METHODS;

EID: 84944030194     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (20)

1. E. Astesiano, M. Cerioli, and G. Reggio. Plugging data constructs into paradigm-specific languages: Towards an application to UML. In T. Rus, editor, Proceedings Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000, volume 1816 of LNCS, pages 273-292. Springer, 2000.
2. N. Aoumeur. Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-NETs Approach. In G. Saake, K. Schwarz, and C Tärker, editors, Transactions and Database Dynamics, volume 1773 of Lecture Notes in Computer Science, Berlin, pages 91-111. Springer-Verlag, 2000. Selected papers from the 8th International Workshop an Foundations of Models and Languages for Data and Objects, Sep. 1999, Germany.
3. N. Aoumeur and G. Saake. On the Specification and Validation of Cooperative Information Systems Using an Extended MAUDE. In K. Futatsugi, J. Goguen, and J. Meseguer, editors, Proc. of 1 st Int. OBJ/CafeOBJ/Maude Workshop, at FM’99 Conference, Toulouse, France, pages 197-211. The Theta Foundation Bucharest, Romania, 1999.
4. N. Aoumeur and G. Saake. Operational Interpretation of the Requirements Specification Language ALBERT Using Timed Rewriting Logic. In Proc. of 5th Int. Workshop an Requirements Engineering: Foundation for Software Quality (REFSQ’99), Heidelberg, Germany. Presses Universitaires de Namur, 1999.
5. N. Aoumeur and G. Saake. Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. In M. Jarke and A. Oberweis, editors, Proc. of the llth Int. Conf. an Advanced Information Systems Engineering, CAiSE’99, volume 1626 of Lecture Notes in Computer Science, pages 381-395. Springer-Verlag, 1999.
6. N. Aoumeur and G. Saake. Integrating and Rapid-prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic. Preprint, Fakultät für Informatik, Universität Magdeburg, March 2002.
7. E. Astesiano. Algebraic Specification of Concurrent Systems. In E. Astesiano, 11.4. Kreowski, and B. Krieg-Brückner, editors, IFIP 14.3 Volume an Foundations of System Specification, Chapter 1. To appear in Springer LNCS, 1999.
8. G. Booch, I. Jacobson, and J. Rumbaugh, editors. The Unified Modeling Language Reference Manual. Addison-Wesley, 1997.
9. G. Booch, I. Jacobson, and J. Rumbaugh, editors. Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley, 1998.
10. M. Clavel, F. Duran, S. Eker, J. Meseguer, and M. Stehr. Maude. Specification and Programming in Rewriting Logic. Technical report, SRI, Computer Science Laboratory, March 1999. URL: http://maude.esl.sri.com.
11. S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving Logical Specification in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 7, pages 199-228. Kluwer Academic Publishers, Boston, 1998.
12. A. Evans and S. Kent. Proc. 3rd Int. Conf. Unified Modeling Language (UML’2000). LNCS. Springer, 2000.
13. R. France and B. Rumpe. Modeling dynamic software components with UML. In UML’99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of LNCS. Springer, 1999.
14. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. TROLL - A Language for Object-Oriented Specification of Information Systems. ACM Transactions an Information Systems, 14(2):175-211, April 1996.
15. J. Meseguer. Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science, 96:73-155, 1992.
16. J. Meseguer. Research Directions in Rewriting Logic. In U. Berger and H. Schwichtenberg, editors, Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany. Springer-Verlag, 1998.
17. P. Mosses. Cofi: The common framework initiative for algebraic Specification and development. In Proc. Intl. Symp. an Theory and Practice of Software Development (TAPSOFT), volume 1214 of LNCS, pages 115-137. Springer, 1997. COFi Homepage: http://www.brics.dk/Projects/CoFI.
18. G. Reggio, M. Cerioli, and E. Astesiano. Towards a rigorous semantics of UML supporting its multiview approach. In H. Hussmann, editor, Fundamental Approaches to Software Engineering. 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences an Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings, volume 2029 of LNCS, pages 171-186. Springer, 2001.
19. W. Reisig. Petri Nets. EATCS Monographs an Theoretical Computer Science, 4, 1985.
20. A. Wienberg, F. Matthes, and M. Boger. Modeling dynaanic software components with uml. In Robert France and Bernhard Rumpe, editors, UML’99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings, volume 1723 of LNCS, pages 204-219. Springer, 1999.