Advertisement

A survey of modeling methods and tools

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

Formal Method Social Network Analysis Modeling Construct Deontic Logic Collaborative Network 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alexander, P. (1996). Best of both worlds: Combining formal and semi-formal methods in software engineering. Potentials, IEEE, 14(5), 29-32.CrossRefGoogle Scholar
  2. Bowen, J. P., & Hinchey, M. G. (2006). Ten Commandments of Formal Methods… Ten Years Later. Computer, 39(1), 40-48.CrossRefGoogle Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. 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. Google Scholar
  6. George, V., & Vaughn, R. (2003). Application of Lightweight Formal Methods in Requirement Engineering1. CrossTALK - The Journal of Defense Software Engineering(Jan 2003).Google Scholar
  7. 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

Copyright information

© Springer Science+Business Media, LLC 2008

Personalised recommendations