Formal methods in object oriented business modelling

Journal of Systems and Software

Volumn 48, Issue 1, 1999, Pages 27-41

  Glykas, Michalis ^a   Valiris, George ^b  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITY OF THE AEGEAN   (Greece)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; LIFE CYCLE; MATHEMATICAL MODELS; PROCESS ENGINEERING;

AGENT RELATIONSHIP MORPHISM ANALYSIS (ARMA); FORMAL METHODS; OBJECT ORIENTED BUSINESS MODELING;

OBJECT ORIENTED PROGRAMMING;

EID: 0033170357     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(99)00043-6     Document Type: Article

References (73)

1. Adnum, D., 1993. Using performance indicators for effective public sector management. Management Accounting, January.
2. Argyris, C., Schon D., 1978. Organisational Learning: A theory of action perspective. Addison-Wesley, Reading.
3. Avison, D.E., 1985. Information Systems Development: A Database Approach. Blackwell Scientific Publications, Oxford.
4. Avison, D.E., Fitzgerald, G., 1988. Information Systems Development: Methodologies, Techniques and Tools. Blackwell Scientific Publications, Oxford.
5. Beeckman, D., 1989. CIM-OSA: computer integrated manufacturing open systems architecture. International Journal of Computer Integrated Manufacturing.
6. Brodie, M.L., Silva, E., 1982. Active and passive component modelling: ACM/PCM. In: Olle, T., Sol, H.G., Verrijn-Stuart, A.A. (Eds.), Information Systems Methodologies: a comparative review. North-Holland, Netherlands.
7. Bromwich, M., 1992. Financial Reporting, Information and Capital Markets. Pitman Publishing, London.
8. Butler-Cox Foundation, 1992. Strategic Alignment: Management Summary, April.
9. Champeaux, D., America, P., Coleman, D., Duke, R., Lea, D., Leavens, G., 1991. Formal Techniques for Object Oriented Software Development. In: OOPSLA'91 Proceedings. ACM Press, New York.
10. Checkland, P.B., 1981. Systems Thinking, Systems Practice. Wiley, Chichester.
11. Chen, P.P., 1976. The entity-relationship model: toward a unified view of data. ACM Transactions on Database Systems 1 (1).
12. Clyde, S., Embley, D., Woodfield, S., 1992. Tunable formalism in object oriented systems analysis: meeting the needs of both theoreticians and practicioners. In: Proceedings of the OOPSLA'92. ACM Press, Vancouver, Canada.
13. Cohen, B., 1992. The CBM company: an exercise in the formal specification of a dataflow analysis. In: Proceedings of 5th International Conference: Putting into Practice Methods and Tools for Information System Design, Nantes, France.
14. Cullen, L., 1991. The Public Inquiry into the Piper Alpha Disaster, HMSO, London 1 (2).
15. Curtis, G., 1989. Business Information Systems: Analysis, Design and Practice. Addison-Wesley, Wokingham.
16. Davenport, T.H., 1993. Process Innovation: Reengineering Work Through Information Technology. Harvard Business School Press, Boston, MA.
17. Dick, J., Loubersac, J., 1991. Integrating structured and formal methods: a visual approach to VDM. In: Proceedings of ESEC'91 Milan.
18. Di-Gionvanni, R., Iachini, P.L., 1990. HOOD and Z for the development of complex systems. In: Bjoner, D., Hoare, C.A.R, Langmaack, H. (Eds.), VDM'90: VDM and Z - Formal Methods in Software Development. Lecture notes in Computer Science 428. Spinger, Berlin.
19. Dobson, J.E., McDermid, J.A., 1989. Security models and enterprise models. In: Landwehr, C.E. (Ed.), Database Security: Status and Prospects II. Elsevier, Amsterdam.
20. Eccles, P., 1993. Planning for improved performance. Management Accounting, January.
21. Fencott, P.C., Lockyer, M.A., Taylor, P., 1992. Experiences in integrating structured and formal notations for real time systems. In: Allen, P., Bryant, A., Semmens, L. (Eds.), Proceedings of the Methods Integration Workshop, Leeds, vol. 91. Springer, Heidelberg.
22. France, R.B., 1991. Semantically extended data flow diagrams: A formal specification tool, UMIACS, University of Maryland.
23. France, R.B., 1992. Formally specifying sequential systems with semantically extended data flow diagrams, UMIACS, University of Maryland.
24. Gane, C., Sarson, T., 1977. Structured Systems Analysis: Tools and Techniques. Prentice-Hall, Englewood Cliffs, NJ.
25. Glykas, M., Wilhelmij, M.P., Holden, T., 1993a. Verifiable object oriented designs. In: Technology of Object Oriented Languages and Systems'93 Conference Proceedings. Prentice-Hall, Santa Barbara, US.
26. Glykas, M., Wilhelmij, M.P., Holden, T., 1993b. Object orientation in enterprise modelling. In: Proceedings of IEE Colloquium on Object Oriented Development.
27. Glykas, M., Wilhelmij, M.P., Holden, T., 1993c. Object oriented information systems development. In: Proceedings of the 4th Hellenic Conference, Patras, Greece.
28. Glykas, M., Wilhelmij, M.P., Holden, T., 1993d. Formal methods in object orientation. In: Proceedings of the European Conference on Object Oriented Programming (ECOOP) 93. Workshop on Applications of Object Oriented Formal Methods, Kaiserslautern, Germany.
29. Glykas, M., Holden, T., Wilhelmij, P., 1993e. Modelling the collective behaviour of organisational agents in the petrochemical industry using the agent relationship morphism analysis (A.R.M.A) methodology. In: Proceedings of the OOPSLA 93 Workshop on Modelling the Collective Behaviour of Organisational Agents.
30. Glykas, M., Holden, T., Wilhelmij, P., 1994. Modelling organisational processes using the agent relationship morphism methodology. In: Proceedings of the 14th Hawaii International Conference on Systems Science, Hawaii. IEEE Computer Society Press, Silver Spring, MD.
31. Glykas, M., Newton, A., Wilhelmij, P., Holden, T., to appear. Information Integration for Intelligent Petrochemical Asset Management. IEEE Journal Transactions on Engineering Management.
32. Grabowski, M., Hendrick, H., 1993. How low can we go?: validation and verification of a decision support system for safe shipboard manning. IEEE Transactions on Engineering Management 40 (1).
33. Hall, J.A., 1990. Using Z as a specification calculus for object oriented systems. In: Bjoner, D., Hoare, C.A.R., Langmaack, H. (Eds.), VDM'90: VDM and Z - Formal Methods in Software Development. Lecture notes in Computer Science, vol. 428. Springer, Berlin.
34. Hamilton, V., 1992. Experience of combining Yourdon and VDM. In: Allen, P., Bryant, A., Semmens, L. (Eds.). Proceedings of the Methods Integration Workshop, Leeds, September 91. Springer, Heidelberg.
35. Hammer, M., 1993. Reengineering the Corporation: A Manifesto for Business Revolution. N. Brealey Publishing, London.
36. Hirschheim, R.A., 1985. Office Automation: A social and organisational perspective. Wiley Series In Information Systems, Chichester.
37. Holden, T., Glykas, M., Wilhelmij, P., Reynolds, B., 1994. Lifetrack: organisational modelling for safety critical decision-support. In: Redmill, F., Anderson, T. (Eds), Technology and Assessment of Safety Critical Systems. Springer, London.
38. Ip, S., Holden, T., 1992. A knowledge based technique for the process modelling of information systems: the object lifecycle diagram. In: Loucopoulos, P. (Ed.), Proceedings of the Fourth Conference in Advanced Information Systems Engineering. Springer, Manchester, UK.
39. Jackson, M.A., 1983. Systems Development. Prentice-Hall, Englewood Cliff, NJ.
40. Johansson, I., 1989. Ontological Investigations: An Inquiry into the Categories of Nature, Man and Society, Routledge, London.
41. Jorysz, H.R., Vernadat, F.B., 1990a. CIM-OSA Part 1: total enterprise modelling and function view. International Journal of Computer Integrated Manufacturing 3 (4).
42. Jorysz, H.R., Vernadat, F.B., 1990b. CIM-OSA Part 2: information view. International Journal of Computer Integrated Manufacturing 3 (4).
43. Jones, C.B., 1980. Software Development: A Rigorous Approach. Prentice-Hall, Englewood Cliffs, NJ.
44. Kaplan, R.S., Atkinson, A.A., 1991. Advanced Management Accounting. Prentice-Hall, Englewood Cliffs, NJ.
45. Kletz, T.A., 1984. HAZOP and HAZAN: Notes on the Identification and Assessment of Hazards. The Institution of Chemical Engineers, Rugby, Warwickshire, UK.
46. Klittich, M., 1990. CIM-OSA Part 3: integrating infrastructure. International Journal of Computer Integrated Manufacturing 3(4).
47. Larsen, P.G., van Katwijk, J., Plat, N., Pronk, K., Toetenel, H., 1992. SVDM: an integrated combination of SA and VDM. In: Allen, P., Bryant, A., Semmens, L. (Eds), Proceedings of the Methods Integration Workshop. Springer, Heidelberg.
48. Lewis, C., 1993. A source of competitive advantage. Management Accounting, January.
49. Lopez, O.P., Hayes, F., Bear, S., 1992. OASIS: An object-oriented specification language. In: Loucopoulos, P. (Ed.), Proceedings of the Fourth Conference in Advanced Information Systems Engineering. Springer, Manchester, UK.
50. Marco, D., 1988. SADT: Structured Analysis and Design Techniques. McGraw-Hill, New York.
51. Morris, D., Brandon, J., 1993. Re-engineering Your Business. McGraw-Hill, New York.
52. Ould, M.A., 1992. Process Modelling with RADS, IOPener 1 (5).
53. Petrozzo, D.P., Stepper, J.C., 1994. Successful Reengineering. Van Nostrand Reinhold, New York.
54. Platt, N., van Katwijk, J., Toetenel, H., 1992. Applications and benefits of formal methods in software development. Software Engineering, September.
55. Polack, F., 1992. Integrating formal notations and systems analysis: using entity relationship diagrams. Software Engineering.
56. Potter, B., Sinclair, J., Till, D., 1991. An introduction to formal specification and Z. Prentice-Hall, New York.
57. Randell, G.P., 1990. Translating Data Flow Diagrams into Z (and vice versa), RSRE Report, number 90010.
58. Redmill, F., Anderson, T., 1994. Technology and Assessment of Safety Critical Systems. Springer, London.
59. Redmond-Pyle, D., Josephs, M.B., 1990. Entity relationship models expressed in Z: a synthesis of structured and formal methods, LBMS 23.
60. Redmond-Pyle, D., Josephs, M.B., 1992. Enriching a structured method with Z. In: Allen, P., Bryant, A., Semmens, L. (Eds.). Proceedings of the Methods Integration Workshop, Leeds 91. Springer, Heidelberg.
61. Scherr, A.L., 1993. A new approach to business processes. IBM Systems Journal 32 (1).
62. Schuman, S.A., Pitt, D.H., 1987. Object oriented subsystem specification. In: Meertens, L. (Ed.), Program Specification and Transformation. North-Holland, Amsterdam.
63. Schuman, S.A, Pitt, D.H., Byers, P.J., 1990. Object oriented process specification. In: Rattray, C. (Ed.), Specification and Verification of Concurrent Systems. Workshops in Computing, Stirling. Springer, Berlin.
64. Semmens, L.T., Allen, P., 1991. Using Yourdon and Z. In: Nicholls, J. (Ed.), Proceedings of the Fifth Z User Workshop. Springer, Heidelberg.
65. Semmens, L.T, Allen, P., 1992. Formalising Yourdon. In: Allen, P., Bryant, A., Semmens, L. (Eds.), Proceedings of the Methods Integration Workshop. Springer, Heidelberg.
66. Smith, 1993. Business Process Reengineering Minitrack. In: Proceedings of the 26th Annual Hawaii International Conference on Systems Siences (HICSS). IEEE Computer Society Press.
67. Spivey, J.M., 1989. The Z notation: a reference manual. Prentice-Hall, Englewood Cliffs, NJ.
68. Stepney, S., 1990. Specifying entity-relation diagrams in Z, ORCA/Logica/90/017.
69. Stepney, S., Barden, R., Cooper, D., 1992a. A survey of object orientation in Z. Software Engineering.
70. Stepney, S., Barden, R., Cooper, D., 1992b. Object Orientation in Z. Springer, Berlin.
71. Tse, T.H., 1991. A unifying framework for structured analysis and design models. Cambridge University Press, Cambridge.
72. Verjin-Stuart, A.A., 1987. Themes and trends in information systems. Computer 30 (2).
73. Zachman, J.A., 1987. A framework for information systems architecture. IBM Systems Journal 26 (3).