Article Information  
Analysis of Formal Methods for Specification of E-Commerce Applications

Keywords: Formal Methods, E-Commerce Applications, Specification Language, Formal Methods, z-Language, Unified Modelling Language

Mehran University Research Journal of Engineering & Technology

Volume 35 ,  Issue 1


1. Taylor, M., William, J., Forsyth, H., and Wade, S., “Methodologies and Website Development: A Survey of Practice”, Information and Software Technology, Volume 43, pp. 381-391, 2002
2. Yusufu, M., and Yusufu, G., “Comparative Study of Formal Specifications through a Case Study”, IEEE Conference on Information Science and Technology, Volume 10, pp. 23-25, 2012
3. Conallen, J., “Modeling Web Application Architectures with UML”, Communications of the ACM, Volume 42, pp. 63-70, 1999
4. Wang, S., “Toward a General Model for Web-Based Information Systems”, International Journal of Information Management, Volume 21, pp. 385-396, 2001
5. Saleh, K., “Documenting Electronic Commerce Systems and Software using the Uniûed Modeling Language”, Information and Software Technology, Volume 44, pp. 303-311, 2002
6. Kefalas, P., Eleftherakis, G., and Sotiriadou, A., "Developing Tools for Formal Methods", 9th Panhellenic Conference on Informatics, pp 626-638, Thessaloniki, 2003.
7. Dupuy, S., Ledru, Y., and Peccoud, M., "An Overview of RoZ: A Tool for Integrating UML and Z Specifications", International Conference on Advanced Information Systems Engineering, pp 417-430, Sweden, 2000
8. Jeannette, W., "A Symbiotic Relationship between Formal Methods and Security. Computer Security, Dependability and Assurance: From Needs to Solutions", IEEE, Volume 10, pp. 26-38, 1999.
9. Anthony, H., and Roderick, C., "Correctness by Construction: Developing a Commercial Secure System", IEEE, Volume 19, pp. 18-25, 2002
10. Jim, W., Susan, S., David, C., John, C., and Jereour, J., "The Certification of the Mondex Electronic Purse to ITSEC Level E6", Formal Aspects of Computing, Volume 20, pp. 5-19, 2008
11. Halimah, S., Bakri, A., Harun, H., Alzoubi, A., and Ibrahim, R., "The Formal Specification for the Inventory System Using z-Language", International Conference on Computing and Informatics, pp. 419-425, 2013
12. Latif, M., Noshairwan, W., and Tariq, M.Z., "The Use of z-Language for Multimedia Systems", IEEE, pp. 1-4, Pakistan, 2007
13. Jun, Y., and Zhi-Yi, H., "Using Formal Methods to Design a Class Scheduling System", IEEE, pp. 56-59, China, 2008.
14. Duke, R., and Rose, G., "Formal Object Oriented Specification Using Object-Z", Palgrave Macmillan, Chapter-2, 2000.
15. Smith, G., "The Object-Z Specification Language", Kluwer Academic Publishers, ACM Digital Library, 2000
16. Kim, S., and David, C., "Formalizing the UML Class Diagram Using Object-Z", The Unified Modeling Language, Springer Verlag, pp. 83-98, Colorado, USA, 1999
17. Papazoglou, P., and Tsalgatidou, A., "Business to Business Electronic Commerce Issues and Solutions", Decision Support Systems, Volume 29, No. 4, pp. 301-304, 2000.
18. Noman, M., Alsmdi, M., and Jaradat, S., "The Specifications of E-Commerce Secure System using z-Language", The Research Bulletin of Jordan ACM, Volume 2 ,pp. 127-131, 2013
19. Bergner, K., and Rausch, A., "A Critical Look upon UML 1.0, The Unified Modeling Language -Technical Aspects and Applications", Physica Verlag, pp. 79-92, 1998
20. Quatrani, T., "Visual Modeling with Rational Rose and UML", 3rd Edition, Boston: Addison Wesley Longman Inc. 240, [ISBN: 9780201699616], 1998.
21. Korthaus, A., "Using UML for Business Object Based Systems Modeling, The Unified Modeling Language Technical Aspects and Applications", Physica Verlag, pp. 220-237, 1998
22. Wolf, M., Burkhardt, R., and Philippow, I., "Software Engineering Process with the UML", UML Workshop, pp. 271-280, Mannheim, Germany, 1997.
23. Korthaus, A., and Kuhlins, S., "A Software Development Process Model Integrating Business Object Technology and UML", The Unified Modeling Language, pp. 215-239, France: Springer Verlag, 1999
24. Kande, M., "Applying UML to Design an Inter-Domain Service Management Application", The Unified Modeling Language, pp. 200-214, France: Springer Verlag, 1998