An approach to relate viewpoints and modeling languages

Proceedings - 7th IEEE International Enterprise Distributed Object Computing Conference

Volumn 2003-January, Issue January, 2003, Pages 14-27

  Dijkman, Remco M ^a   Quartel, Dick A C ^a   Pires, Luís Ferreira ^a   Van Sinderen, Marten J ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING LANGUAGES; SOFTWARE DESIGN;

DISTRIBUTED ENTERPRISE APPLICATION; IEEE 1471; MODEL DRIVEN ARCHITECTURES; OVERALL DESIGN;

SOFTWARE ARCHITECTURE;

EID: 84936999677     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2003.1233834     Document Type: Conference Paper

References (21)

1. J. Aagedal, and Z. Miloševi, ODP Enterprise Language: UML Perspective, Proc. of EDOC 1999, IEEE, 1999, pp. 60-71.
2. J-M. Cornily, Specifying distributed object applications using the reference model for Open Distributed Processing and the Unified Modeling Language, Proc. of EDOC 1999, IEEE, 1999.
3. R. Dijkman, D. Quartel, L. Ferreira Pires, and M. van Sinderen, Semantic Verification of Behavior Conformance, Proc. of the 11th Workshop on Behavioral Semantics, Seattle, WA, USA, 2002, pp. 43-54.
4. R. Dijkman, D. Quartel, L. Ferreira Pires, and M. van Sinderen, A Design-for-Change Approach: Developing Distributed Applications from Enterprise Models, CTIT Technical Report 02-22, University of Twente, The Netherlands, 2002.
5. D. D'Souza, and A. Cameron-Wills, Objects, Components, and Frameworks with UML-The Catalysis Approach. Addison-Wesley, Reading, MA, USA, 1999.
6. A. Gerber, M. Lawley, K. Raymond, M. Steel, and A. Wood, Transformation: the missing link of MDA, Proc. of ICGT 2002, Barcelona, Spain, 2002, pp. 90-105.
7. R. Hilliard, Views and viewpoints in software systems architecture, Proc. of IFIP Conf. on Software Architecture, San Antonio, USA, 1999.
8. R. Hubert, Convergent Architecture, Wiley, New-York, NY, USA, 2002.
9. ITU-T / ISO, Open Distributed Processing Reference Model Part 1-4, ITU-T Specification ITU-T 90x and ISO/IEC Spec. ISO/IEC 10746-1. 4, 1995.
10. A. Naumenko, Triune Continuum Paradigm:A Paradigm for General System Modeling and its Application for UML and RM-ODP, Ph. D. Thesis, Swiss Federal Institute of Technology, Switzerland, 2002.
11. OMG, Clear, Clean, Concise (3C) proposal for UML 2. 0, OMG Specification ad/02-09-15, 2002.
12. OMG, UML Profile for EDOC Specification, OMG Spec. ptc/02-02-05, and ad/01-08-20, 2002.
13. OMG, Meta Object Facility Specification, OMG Spec. formal/2002-04-03, 2002.
14. OMG, Model Driven Architecture, OMG Specification ormsc/02-07-01, 2001.
15. D. Quartel, Action Relations-Basic Design Concepts for Behavior Modelling and Refinement, Ph. D. Thesis, University of Twente, The Netherlands, 1998.
16. D. Quartel, L. Ferreira Pires, and M. van Sinderen, On architectural support for behavior refinement in distributed systems design, Journal of Integrated Design and Process Science 6(1), March 2002.
17. M. van Sinderen, L. Ferreira Pires, and C. Vissers, Protocol Design and Implementation Using Formal Methods, The Computer Journal 35(5), June 1992, pp. 478-491.
18. S. Uchitel, J. Kramer, and J. Magee, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering 29(2), 2003, pp. 99-115.
19. C. Vissers, G. Scollo, M. van Sinderen, and H. Brinksma, Specification styles in distributed systems design and verification, Theoretical Computer Science 89, 1991, pp. 179-206.
20. J. Davies, and J. Woodcock, Using Z: specification, refinement and proof, Prentice-Hall, 1996.
21. A. Wegmann, On the Systemic Enterprise Architecture Methodology (SEAM), Proc. of ICEIS 2003, Springer, Berlin, Germany, 2003, pp. 483-490.