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.


Temporal Logic Resource Description Framework Visual Modeling Interaction Protocol Formal Grammar 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  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. (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
  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
  9. 9.
    SC00067F. FIPA Agent Message Transport Service Specification, 2002/12/03,
  10. 10.
    SC00071E. FIPA ACL Message Representation in XML Specification. 2002/12/03,

Copyright information

© Springer-Verlag London 2015

Authors and Affiliations

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

Personalised recommendations