Verification and validation of nonfunctional aspects in enterprise modeling

Enterprise Modeling and Computing with UML

Volumn , Issue , 2006, Pages 261-303

  Pataricza, András ^a   Balogh, András ^a   Gönczy, Lázló ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 37149004091     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-59904-174-2.ch012     Document Type: Chapter

References (22)

1. Avizienis, A., Laprie, J. C., Randell, B., & Landwehr, C. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1, 11-33, 2004.
2. Balogh, A., Németh, A., Schmidt, A., Ráth, I., Vágó, D., Varró, D., & Pataricza, A. (2005). The VIATRA2 model transformation framework. Accepted to ECMDA 2005 - Tools Track.
3. Bell, D., & LaPadula, L. (1973, November). Secure computer systems: Mathematical foundations. ESD-TR-73-278, Vol. I, Electronic Systems Division, Air Force Systems Command, Hanscom AFB, Bedford, MA 01731.
4. Clark, E. M. Jr., Grumberg, O., & Peled, D. A. (1999). Model checking. Cambridge, MA: MIT Press.
5. Distributed Management Task Force (DMTF). (1999). Common information model specification (Version 2.2). Retrieved July 20, 2005, from http://www.dmtf.org/standards/documents/CIM/DSP0004.pdf
6. Distributed Management Task Force (DMTF). (2005). CIM schema specification (Version 2.9.0). Retrieved July 20, 2005, from http://www.dmtf.org/standards/cim/cim_schema_v29
7. Ehrig, H., Engels, G., Kreowski, H. J., & Rozenberg, R. (Eds.). (1999). Handbook on graph grammars and computing by graph transformation, Vol. 2: Applications, languages and tools. World Scientific.
8. Gönczy, L. (2005). Dependability analysis of Web service-based business processes by model transformations. In Proceedings of the First European Young Researchers Workshop on Service Oriented Computing (YR-SOC), De Montfort University, University of Sheffield, University of Leicester, UK.
9. Gupta, Y., Weinberg, L., & LeClair, D. (2004). Managing on-demand computing. Retrieved July 20, 2005, from http://www3.ca.com/Files/WhitePapers/managing_on_demand_computing_whitepaper.pdf
10. IBM. (n.d.). IBM tivoli management software information portal. Retrieved July 20, 2005, from http://www-306.ibm.com/software/tivoli/
11. IBM. (2003). Specification: Business process execution language for Web services (Version 1.1). Retrieved July 20, 2005, from http://www-128.ibm.com/developerworks/library/ws-bpel/
12. International Organization for Standardization (ISO). (1998). CD15935 information technology: Open distributed processing - Reference model - Quality of service. (ISO document ISO/IEC JTC1/SC7 N1996).
13. Menascé, D. A., & Almeida, V. A. F. (2002). Capacity planning for Web services. Upper Saddle River, NJ: Prentice Hall.
14. Object Management Group (OMG). (2002). Metaobject facility specification (Version 1.4). Retrieved July 20, 2005, from http://www.omg.org/cgi-bin/doc?formal/2002-04-03
15. Object Management Group (OMG). (2004). UML profile for quality of service and fault tolerance characteristics and metrics. Retrieved July 20, 2005, from http://www.omg.org/cgi-bin/apps/doc?ptc/04-09-01.pdf
16. Object Management Group (OMG). (2004). UML 2.0 superstructure specification. Revised Final Adopted Specification. Retrieved July 18, 2005, from http://omg.org/cgi-bin/doc?ptc/2004-10-02
17. Object Management Group (OMG). (2005). UML profile for schedulability, performance, and time specification (Version 1.1). Retrieved July 20, 2005, from http://www.omg.org/cgi-bin/apps/doc?formal/05-01-02.pdf
18. Pataricza, A. (2002). From the general resource model to a general fault modeling paradigm? In Proceedings of the Workshop on Critical Systems Development with UML at UML 2002, Dresden, Germany. Retrieved July 20, 2005, from http://www.inf.mit.bme.hu/FTSRG/Publications/UML2002_Pataric.pdf
19. Pataricza, A., Dobán, O., & Szôke, A. (2004). Costs/benefits of using formal methods. In Proceedings of DSN 2004 - Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, Florence, Italy (pp. 104-105). Los Alamitos, CA: IEEE Computer Society.
20. Shannon, B., et al. (2003). Java 2 platform enterprise edition specification 1.4. Retrieved July 20, 2005, from http://java.sun.com/j2ee/j2ee-1_4-fr-spec.pdf
21. van der Aalst, W., & van Hee, K. (January, 2002). Workflow management. Models, methods and systems. The MIT Press.
22. Varró, D., & Pataricza, A. (2003). VPM: A visual, precise, and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling, 2, 187-210, 2003.