1. Cardoso, J., Winkler, M., Voigt, K.: A service description language for the internet of services. In: Proceedings of First International Symposium on Services Science, Berlin, Germany, March 2009, pp. 1–10 (2009)
2. Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology 11(2), 256–290 (2002)
3. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
4. Giorgini, P., Kolp, M., Mylopoulos, J., Pistore, M.: The tropos methodology: An overview. In: Methodologies and Software Engineering for Agent Systems. Academic Press, London (2003)
5. Halpin, T.: Information Modeling and Relational Databases: from conceptual analysis to logical design. Morgan Kaufmann, San Diego (2001)