A large portfolio of modeling tools and theories, developed in different disciplines, have a good applicability potential in collaborative networks. A brief survey of those promising approaches and a set of bases references are presented. A map of their application potential is also included.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alexander, P. (1996). Best of both worlds: Combining formal and semi-formal methods in software engineering. Potentials, IEEE, 14(5), 29-32.
Bowen, J. P., & Hinchey, M. G. (2006). Ten Commandments of Formal Methods… Ten Years Later. Computer, 39(1), 40-48.
Camarinha-Matos, L.M.; Afsarmanesh, H. (2004). Emerging behavior in complex collaborative networks, in Collaborative Networked Organizations - A research agenda for emerging business models, cap. 6.2, Kluwer Academic Publishers.
Camarinha-Matos, L.M.; Afsarmanesh, H. (2004). Formal modeling methods for collaborative networks, in Collaborative Networked Organizations - A research agenda for emerging business models, cap. 6.3, Kluwer Academic Publishers.
Camarinha-Matos, L.M.; Afsarmanesh, H. (2007). A comprehensive modeling framework for collaborative networked organizations, Journal of Intelligent Manufacturing, Volume 18, Number 5 / October, pp 527-615.
George, V., & Vaughn, R. (2003). Application of Lightweight Formal Methods in Requirement Engineering1. CrossTALK - The Journal of Defense Software Engineering(Jan 2003).
Liu, S. (2005). Formal Engineering Method for Software Development - An Introduction to SOFL. Retrieved February, 2006, from the World Wide Web: http://cis.k.hosei.ac.jp/∼sliu/FMlecture1.pdf
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2008). A survey of modeling methods and tools. In: Camarinha-Matos, L.M., Afsarmanesh, H. (eds) Collaborative Networks: Reference Modeling. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-79426-6_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-79426-6_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-79425-9
Online ISBN: 978-0-387-79426-6
eBook Packages: Computer ScienceComputer Science (R0)