While visual modeling provides a visible way to present and represent system constituents, relationships, and dynamics, formal modeling complements it by formalizing the above aspects embedded in a system. Usually, this is done through developing temporal logics-based representation and modeling tools. In this chapter, formal modeling blocks are discussed to model organizational elements discussed in previous chapters, including actor, rule, relationship, interaction, goal and properties.




  1. 1.
    van Lamsweerde, A.: Formal specification: a roadmap. In: Proceedings of the Conference on The Future of Software Engineering, ICSE’00, pp. 147–159. ACM Press (2000)Google Scholar
  2. 2.
    Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in TROPOS. Submitted to J. Requir. Eng. http://www.cs.toronto.edu/~liu/ (2004)
  3. 3.
    Koymans, R.: Specifying Message Passing and Time-Critical Systems with Temporal Logic. LNCS-651. Springer, Berlin/Heidelberg (1992)Google Scholar
  4. 4.
    Dardenne, A., Lamsweerde, V.A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20, 3–50 (1993)CrossRefMATHGoogle Scholar
  5. 5.
    Fisher, M., Wooldridge, M.J.: Specifying and executing protocols for cooperative action. In: Proceedings of the 2nd International Working Conference on Cooperating Knowledge-Based Systems, CKBS94, pp. 295–306, Keele University. Springer (1995)Google Scholar
  6. 6.
    FIPA Agent Communication Language Specification, Foundation for Intelligent Physical Agents www.fipa.org/repository/aclspecs.html
  7. 7.
    Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Proceedings of the 3rd International Conference on Information and Knowledge Management, CIKM’94, Maryland, USA, pp. 456–463. ACM Press (1994)Google Scholar
  8. 8.
    KQML Advisory Group: An Overview of KQML: A Knowledge Query and Manipulation Language www.agent.ai/doc/upload/200302/chal92_1.pdf
  9. 9.
    SC00067F. FIPA Agent Message Transport Service Specification, 2002/12/03, www.fipa.org/specs/fipa00067/
  10. 10.
    SC00071E. FIPA ACL Message Representation in XML Specification. 2002/12/03, www.fipa.org/specs/fipa00071/

Copyright information

© Springer-Verlag London 2015

Authors and Affiliations

  • Longbing Cao
    • 1
  1. 1.Advanced Analytics InstituteUniversity of Technology, SydneySydneyAustralia

Personalised recommendations