Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
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)
Koymans, R.: Specifying Message Passing and Time-Critical Systems with Temporal Logic. LNCS-651. Springer, Berlin/Heidelberg (1992)
Dardenne, A., Lamsweerde, V.A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20, 3–50 (1993)
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)
FIPA Agent Communication Language Specification, Foundation for Intelligent Physical Agents www.fipa.org/repository/aclspecs.html
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)
KQML Advisory Group: An Overview of KQML: A Knowledge Query and Manipulation Language www.agent.ai/doc/upload/200302/chal92_1.pdf
SC00067F. FIPA Agent Message Transport Service Specification, 2002/12/03, www.fipa.org/specs/fipa00067/
SC00071E. FIPA ACL Message Representation in XML Specification. 2002/12/03, www.fipa.org/specs/fipa00071/
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag London
About this chapter
Cite this chapter
Cao, L. (2015). Formal Modeling. In: Metasynthetic Computing and Engineering of Complex Systems. Advanced Information and Knowledge Processing. Springer, London. https://doi.org/10.1007/978-1-4471-6551-4_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-6551-4_8
Publisher Name: Springer, London
Print ISBN: 978-1-4471-6550-7
Online ISBN: 978-1-4471-6551-4
eBook Packages: Computer ScienceComputer Science (R0)