Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model

[1] C. Jones, “Positive and Negative Innovations in Software Engineering,” International Journal of Software Science and Computational Intelligence, vol. 1, no. 2, pp. 20-30, April-June 2009. http://dx.doi.org/10.4018/jssci.200904010210.4018/jssci.2009040102Search in Google Scholar

[2] J. A. Zachman, “A framework for information systems architecture,” IBM SYSTEMS JOURNAL, vol. 26, no. 3, pp. 276-292, 1987. http://dx.doi.org/10.1147/sj.263.027610.1147/sj.263.0276Search in Google Scholar

[3] J. Osis and E. Asnina, “Is Modeling a Treatment for the Weakness of Software Engineering?” in Model-Driven Domain Analysis and Software Development: Architectures and Functions, Hershey - New York, IGI Global, 2011, pp. 1-14. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00110.4018/978-1-61692-874-2.ch001Search in Google Scholar

[4] J. Osis and J. Silins, “Topological Function-Architecture Co-Design of Embedded Systems,” in Advances in Databases and Information Systems. 13th East-European Conference, ADBIS 2009: Associated Workshops and Doctoral Consortium, Local Proceedings. Riga, Latvia, 2009.Search in Google Scholar

[5] J. Osis and E. Asnina, “A Business Model to Make Software Development Less Intuitive,” in Proceedings of 2008 International Conference on Innovation in Sofware Engineering (ISE 2008). December 10-12, 2008, Vienna, Austria, 2008.10.1109/CIMCA.2008.52Search in Google Scholar

[6] J. Osis, “Extension of Software Development Process for Mechatronic and Embedded Systems,” in Proceeding of the 32nd International Conference on Computer and Industrial Engineering, Limerick, Ireland, 2003.Search in Google Scholar

[7] E. Asnina, “The Formal Approach to Problem Domain Modelling Within Model Driven Architecture,” in Proceedings of the 9th International Conference “Information Systems Implementation and Modelling” (ISIM’06), Přerov, Czech Republic, 2006.Search in Google Scholar

[8] U. Donins, “Software Development with the Emphasis on Topology,” in Advances in Databases and Information Systems. Lecture Notes in Computer Science, vol. 5968, Berlin, Germany, Springer-Verlag, 2010, pp. 220-228. http://dx.doi.org/10.1007/978-3-642-12082-4_2810.1007/978-3-642-12082-4_28Search in Google Scholar

[9] A. Kleppe, J. Warmer and W. Bust, MDA Explained. The Model Driven Architecture: Practice and Promise, Upper Saddle River, NJ, USA: Addison-Wesley, 2003.Search in Google Scholar

[10] J. Osis, E. Asnina and A. Grave, “Formal Computation Independent Model of the Problem Domain within the MDA,” in Information Systems and Formal Models, Proceedings of the 10th International Conference ISIM'07, Opava, Czech Republic, 2007.10.1109/SwSTE.2007.20Search in Google Scholar

[11] J. Osis, E. Asnina and A. Grave, “Computation Independent Modeling within the MDA,” in Proceedings of IEEE International Conference on Software, Science, Technology & Engineering (SwSTE07), 30-31 October, 2007, Herzlia, Israel, 2007.10.1109/SwSTE.2007.20Search in Google Scholar

[12] J. Osis, E. Asnina, A. Grave, “Formal Problem Domain Modeling within MDA,” Communications in Computer and Information Science (CCIS) vol. 22, Software and Data Technologies, Springer-Verlag Berlin Heidelberg, 2008, pp. 387-398. http://dx.doi.org/10.1007/978-3-540-88655-6_2910.1007/978-3-540-88655-6_29Search in Google Scholar

[13] J. Osis, E. Asnina and A. Grave, “MDA Oriented Computation Independent Modeling of the Problem Domain,” in Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007), Barcelona, Spain, 2007.10.1109/SwSTE.2007.20Search in Google Scholar

[14] E. Asnina and J. Osis, “Topological Functioning Model as a CIMBusiness Model,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA, IGI Global, 2011, pp. 40-64. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00310.4018/978-1-61692-874-2.ch003Search in Google Scholar

[15] J. Osis and E. Asnina, “Derivation of Use Cases from the Topological Computation Independent Business Model”. In Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA, IGI Global, 2011, pp. 65-89. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00410.4018/978-1-61692-874-2.ch004Search in Google Scholar

[16] U. Donins and J. Osis, “Topological Modeling for Enterprise Data Synchronization System: A Case Study of Topological Model-Driven Software Development,” in Proceedings of the 13th International Conference on Enterprise, Beijing, China, 2011.Search in Google Scholar

[17] U. Donins, J. Osis, A. Slihte, E. Asnina and B. Gulbis, “Towards the Refinement of Topological Class Diagram as a Platform Independent Model,” in Model-Driven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD, Beijing, China, 2011.10.5220/0003583600790088Search in Google Scholar

[18] B. Dobing and J. Parsons, “Dimensions of UML Diagram Use: Practitioner Survey and Research Agenda,” in Principle Advancements in Database Management Technologies: New Applications and Frameworks, Hershey, New York, USA, Information Science Reference, 2010, pp. 271-290.10.4018/978-1-60566-904-5.ch013Search in Google Scholar

[19] G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, 2nd ed., Upper Saddle River, NJ, USA: Addison- Wesley, 2005.Search in Google Scholar

[20] C. Larman, Applying UML and Patterns: An Introduction to Object- Oriented Analysis and Design and Iterative Development, 3rd ed., Upper Saddle River, NJ, USA: Prentice Hall, 2005.Search in Google Scholar

[21] H. Podeswa, UML for the IT Business Analyst, 2nd ed., Boston, MA, USA: Course Technology PTR, 2009.Search in Google Scholar

[22] P. Stevens and R. Pooley, Using UML: Software Engineering with Objects and Components, 2nd ed., Harlow, England: Addison-Wesley, 2005.Search in Google Scholar

[23] OMG, “Unified Modeling Language Superstructure Version 2.4.1,” [Online]. Available: http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/.Search in Google Scholar

[24] G. Booch, R. Maksimchuk, M. Engel, B. Young, J. Conallen and K. Houston, Object-oriented analysis and design with applications, 3rd ed., Upper Saddle River, NJ, USA: Addison-Wesley, 2007.Search in Google Scholar

[25] K. Scott, The Unified Process Explained, Upper Saddle River, NJ, USA: Addison-Wesley, 2001.Search in Google Scholar

[26] O. Nikiforova, “System Modeling in UML with Two-Hemisphere Model Driven Approach,” Scientific Proceedings of Riga Technical University, Computer Science (Series 5), Applied Computer Systems, vol. 43, pp. 37-44, 2010.10.2478/v10143-010-0022-xSearch in Google Scholar

[27] T. Loton, UML Software Design with Visual Studio 2010, Breinigsville, PA, USA: LOTONtech Limited, 2010.Search in Google Scholar

[28] M. Turner, Microsoft Solutions Framework Essentials: Building Successful Technology Solutions, Redmond, Washington, USA: Microsoft Press, 2006.Search in Google Scholar

[29] A. Olive, Conceptual Modeling of Information Systems, Berlin, Germany: Springer, 2007.Search in Google Scholar

[30] M. Fowler, Patterns of Enterprise Application Architecture, Upper Saddle River, NJ, USA: Addison-Wesley, 2002.Search in Google Scholar

[31] Keywood Computer Services Limited, “Problem Analysis and the Problem Frames Approach,” 2005. [Online]. Available: http://www.jacksonworkbench.co.uk/stevefergspages/pfa/index.html. [Accessed June 2013].Search in Google Scholar

[32] A. van Lamsweerde, “Requirements Engineering: From Craft to Discipline,” in Proc. FSE'2008: 16th ACMSigsoft Intl. Symposium on the Foundations of Software Engineering, Atlanta, November 2008, 2008.Search in Google Scholar

[33] E. Yu, “Modelling Organizations for Information Systems Requirements Engineering,” in Proc. RE'93 - 1st Intl Symp. on Requirements Engineering, 1993.Search in Google Scholar

[34] J. Osis, “Topological Model of System Functioning,” in Automatics and Computer Science, J. of Acad. of Sc., no. 6, pp. 44-50, 1969.Search in Google Scholar

[35] J. Grundspenkis, “Fault Localisation Based on Topological Feature Analysis of Complex System Model,” in Diagnostics and Identification, pp. 38-48, 1974.Search in Google Scholar

[36] J. Osis and E. Asnina, Model-Driven Domain Analysis and Software Development: Architectures and Functions, Hershey, New York, USA: IGI Global, 2011. http://dx.doi.org/10.4018/978-1-61692-874-210.4018/978-1-61692-874-2Search in Google Scholar

[37] J. Osis and U. Donins, “Formalization of the UML Class Diagrams,” in Evaluation of Novel Approaches to Software Engineering, Berlin, Springer-Verlag, 2010, pp. 180-192. http://dx.doi.org/10.1007/978-3-642-14819-4_1310.1007/978-3-642-14819-4_13Search in Google Scholar

[38] J. Osis and A. Slihte, “Transforming Textual Use Cases to a Computation Independent Model,” in Proceedings of the 2nd InternationalWorkshop on Model-Driven Architecture and Modeling Theory-Driven Development MDA & MTDD 2010, In conjunction with ENASE 2010, Athens, Greece, July 2010, Portugal, 2010.Search in Google Scholar

[39] U. Doniņš, “Topological Unified Modeling Language: Development and Application,” Doctoral Thesis. Thesis. Rīga: RTU, 2012.Search in Google Scholar

[40] J. Osis and E. Asnina, “Topological Modeling for Model-Driven Domain Analysis and Software Development,” in Model-Driven Domain Analysis and Software Development: Architectures and Functions, Hershey, New York, USA, IGI Global, 2011 d, pp. 15-39. http://dx.doi.org/10.4018/978-1-61692-874-2.ch00210.4018/978-1-61692-874-2.ch002Search in Google Scholar

[41] U. Donins, “Semantics of Logical Relations in Topological Functioning Model,” Portugal: SciTePress, 2012. Search in Google Scholar