{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:11Z","timestamp":1750306271441,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:00:00Z","timestamp":1490140800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,3,22]]},"DOI":"10.1145\/3018896.3018943","type":"proceedings-article","created":{"date-parts":[[2018,2,23]],"date-time":"2018-02-23T16:12:59Z","timestamp":1519402379000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Sets with members as machines with things that flow"],"prefix":"10.1145","author":[{"given":"Sabah","family":"Al-Fedaghi","sequence":"first","affiliation":[{"name":"Kuwait University, Safat, Kuwait"}]}],"member":"320","published-online":{"date-parts":[[2017,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the International Conference: The Decidable and the Undecidable in Mathematics Education (Brno","author":"Khait A.","year":"2003","unstructured":"Khait , A. 2003 . Towards convergence of mathematics and computer science education . In Proceedings of the International Conference: The Decidable and the Undecidable in Mathematics Education (Brno , Czech Republic , September 2003). Khait, A. 2003. Towards convergence of mathematics and computer science education. In Proceedings of the International Conference: The Decidable and the Undecidable in Mathematics Education (Brno, Czech Republic, September 2003)."},{"volume-title":"Set Theory in Computer Science: A Gentle Introduction to Mathematical Modeling I","author":"Meseguer J.","key":"e_1_3_2_1_2_1","unstructured":"Meseguer , J. 2011. Set Theory in Computer Science: A Gentle Introduction to Mathematical Modeling I , University of Illinois at Urbana-Champaign , Urbana, IL . Meseguer, J. 2011. Set Theory in Computer Science: A Gentle Introduction to Mathematical Modeling I, University of Illinois at Urbana-Champaign, Urbana, IL."},{"key":"e_1_3_2_1_3_1","unstructured":"Stanford Encyclopedia of Philosophy. 2014. Set Theory. http:\/\/plato.stanford.edu\/entries\/set-theory\/  Stanford Encyclopedia of Philosophy. 2014. Set Theory. http:\/\/plato.stanford.edu\/entries\/set-theory\/"},{"key":"e_1_3_2_1_4_1","unstructured":"Stanford Encyclopedia of Philosophy. 2011. The Early Development of Set Theory. http:\/\/plato.stanford.edu\/entries\/settheory-early\/  Stanford Encyclopedia of Philosophy. 2011. The Early Development of Set Theory. http:\/\/plato.stanford.edu\/entries\/settheory-early\/"},{"key":"e_1_3_2_1_5_1","unstructured":"Brown R. G. 2007. Naive Set versus Axiomatic Set Theories {blog} Dec. 17. https:\/\/www.phy.duke.edu\/~rgb\/Philosophy\/axioms\/axioms\/node15.html  Brown R. G. 2007. Naive Set versus Axiomatic Set Theories {blog} Dec. 17. https:\/\/www.phy.duke.edu\/~rgb\/Philosophy\/axioms\/axioms\/node15.html"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Rotman B. 2012. Topology algebra diagrams. Theor. Cult. Soc. 29 4\/5 247--260.  Rotman B. 2012. Topology algebra diagrams. Theor. Cult. Soc. 29 4\/5 247--260.","DOI":"10.1177\/0263276412444472"},{"key":"e_1_3_2_1_7_1","first-page":"3","article-title":"Visualization of object oriented modeling from the perspective of set theory","volume":"1","author":"Poornima U. S.","year":"2013","unstructured":"Poornima , U. S. , and Suma, V. 2013 . Visualization of object oriented modeling from the perspective of set theory . Lect. Notes Softw. Eng. 1 , 3 (May 2013), 214--218. Poornima, U. S., and Suma, V. 2013. Visualization of object oriented modeling from the perspective of set theory. Lect. Notes Softw. Eng. 1, 3 (May 2013), 214--218.","journal-title":"Lect. Notes Softw. Eng."},{"key":"e_1_3_2_1_8_1","volume-title":"The Concept Of A Set, arXiv:0905.1677 {math.HO}","author":"Weaver N.","year":"2009","unstructured":"Weaver , N. 2009. The Concept Of A Set, arXiv:0905.1677 {math.HO} , 2009 . Weaver, N. 2009. The Concept Of A Set, arXiv:0905.1677 {math.HO}, 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1080\/00048400600571711"},{"key":"e_1_3_2_1_10_1","unstructured":"Stanford Encyclopedia of Philosophy. 2012. Process Philosophy. http:\/\/plato.stanford.edu\/entries\/process-philosophy\/  Stanford Encyclopedia of Philosophy. 2012. Process Philosophy. http:\/\/plato.stanford.edu\/entries\/process-philosophy\/"},{"volume-title":"Model-Based Reasoning in Science and Technology","author":"Johansen M W","key":"e_1_3_2_1_11_1","unstructured":"Johansen , M W . 2014. What's in a diagram? On the classification of symbols, figures and diagrams . In Model-Based Reasoning in Science and Technology , L. Magnani, Ed. Studies in Applied Philosophy, Epistemology and Rational Ethics 8. Springer-Verlag , Berlin, . Johansen, M W. 2014. What's in a diagram? On the classification of symbols, figures and diagrams. In Model-Based Reasoning in Science and Technology, L. Magnani, Ed. Studies in Applied Philosophy, Epistemology and Rational Ethics 8. Springer-Verlag, Berlin, ."},{"key":"e_1_3_2_1_12_1","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Shin S.","year":"2014","unstructured":"Shin , S. - J. , Lemon , O. , and Mumma , J . Diagrams . The Stanford Encyclopedia of Philosophy , Winter 2014 edition, E. N. Zalta, Ed. http:\/\/plato.stanford.edu\/archives\/win 2014\/entries\/diagrams\/. Shin, S.-J., Lemon, O., and Mumma, J. Diagrams. The Stanford Encyclopedia of Philosophy, Winter 2014 edition, E. N. Zalta, Ed. http:\/\/plato.stanford.edu\/archives\/win2014\/entries\/diagrams\/."},{"key":"e_1_3_2_1_13_1","volume-title":"Eds","author":"Allwein G.","year":"1996","unstructured":"Allwein , G. , and Barwise, J. , Eds . 1996 . Logical Reasoning with Diagrams. Oxford University Press , New York. Allwein, G., and Barwise, J., Eds. 1996. Logical Reasoning with Diagrams. Oxford University Press, New York."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006544013197"},{"key":"e_1_3_2_1_15_1","volume-title":"Distinctions with differences: comparing criteria for distinguishing diagrammatic from sentential systems In Diagrams","author":"Stenning K.","year":"2000","unstructured":"Stenning , K. 200 0. Distinctions with differences: comparing criteria for distinguishing diagrammatic from sentential systems In Diagrams 2000 , M. Anderson, P. Cheng, and V. Haarslev, Eds. LNCS (LNAI) 1889, 132--148. Stenning, K. 2000. Distinctions with differences: comparing criteria for distinguishing diagrammatic from sentential systems In Diagrams 2000, M. Anderson, P. Cheng, and V. Haarslev, Eds. LNCS (LNAI) 1889, 132--148."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008314528229"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33625-1_3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSE-EUC-DCABES.2016.225"},{"key":"e_1_3_2_1_20_1","volume-title":"IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2016)","author":"Al-Fedaghi S.","year":"2016","unstructured":"Al-Fedaghi , S. 2016 . Activity recognition and sensor positioning . IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2016) (Budapest, Hungary, October 9--12 , 2016). Al-Fedaghi, S. 2016. Activity recognition and sensor positioning. IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2016) (Budapest, Hungary, October 9--12, 2016)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICKEA.2016.7803009"},{"key":"e_1_3_2_1_22_1","first-page":"125","article-title":"Toward flow-based ontology. 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD 2016) (Shanghai, China, May 30--June 1, 2016)","volume":"653","author":"Al-Fedaghi S.","year":"2016","unstructured":"Al-Fedaghi , S. 2016 . Toward flow-based ontology. 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD 2016) (Shanghai, China, May 30--June 1, 2016) . Springer Studies in Computational Intelligence 653 , 125 -- 137 . Al-Fedaghi, S. 2016. Toward flow-based ontology. 17th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD 2016) (Shanghai, China, May 30--June 1, 2016). Springer Studies in Computational Intelligence 653, 125--137.","journal-title":"Springer Studies in Computational Intelligence"},{"key":"e_1_3_2_1_23_1","volume-title":"Data Flow Diagram (DFD) Tutorial","author":"Visual Paradigm International","year":"2012","unstructured":"Visual Paradigm International , Data Flow Diagram (DFD) Tutorial : January 27, 2012 . https:\/\/www.visual-paradigm.com\/tutorials\/data-flow-diagram-dfd.jsp Visual Paradigm International, Data Flow Diagram (DFD) Tutorial: January 27, 2012. https:\/\/www.visual-paradigm.com\/tutorials\/data-flow-diagram-dfd.jsp"},{"volume-title":"Are sets all there is? In Notes on Set Theory. Undergraduate Texts in Mathematics","author":"Moschovakis Y.","key":"e_1_3_2_1_24_1","unstructured":"Moschovakis , Y. 2006. Are sets all there is? In Notes on Set Theory. Undergraduate Texts in Mathematics , Springer . Moschovakis, Y. 2006. Are sets all there is? In Notes on Set Theory. Undergraduate Texts in Mathematics, Springer."},{"key":"e_1_3_2_1_25_1","article-title":"Review of Burhanuddin Baki, Badiou's Being and Event and the Mathematics of Set Theory. Notre Dame","author":"Livingston P. M.","year":"2015","unstructured":"Livingston , P. M. 2015 . Review of Burhanuddin Baki, Badiou's Being and Event and the Mathematics of Set Theory. Notre Dame Philos. Rev.. http:\/\/ndpr.nd.edu\/news\/59765-badiou-s-being-and-event-and-the-mathematics-of-set-theory\/ Livingston, P. M. 2015. Review of Burhanuddin Baki, Badiou's Being and Event and the Mathematics of Set Theory. Notre Dame Philos. Rev.. http:\/\/ndpr.nd.edu\/news\/59765-badiou-s-being-and-event-and-the-mathematics-of-set-theory\/","journal-title":"Philos. Rev.. http:\/\/ndpr.nd.edu\/news\/59765-badiou-s-being-and-event-and-the-mathematics-of-set-theory\/"},{"volume-title":"Category Theory for the Sciences","author":"Spivak D. I.","key":"e_1_3_2_1_27_1","unstructured":"Spivak , D. I. 2014. Category Theory for the Sciences . MIT Press , Cambridge, MA . Spivak, D. I. 2014. Category Theory for the Sciences. MIT Press, Cambridge, MA."},{"key":"e_1_3_2_1_28_1","unstructured":"Penn State University Chapter 7 - Sets and Probability Lecture Notes Math 017 - Finite Math Fall 2010. http:\/\/www.google.com.kw\/url?sa=t&rct=j&q=&esrc=s&source=web&cd=8&cad=rja&uact=8&ved=0ahUKEwjWgp3OrYHOAhUG0RQKHUl_AUcQFgg2MAc&url=http%3A%2F%2Fwww.personal.psu.edu%2Fssbl68%2Fdocuments%2Fteaching%2Ffall2010%2FSection%25207.2.pdf&usg=AFQjCNE3PCsktnTDjhKq4KVeoUUF-sohqg  Penn State University Chapter 7 - Sets and Probability Lecture Notes Math 017 - Finite Math Fall 2010. http:\/\/www.google.com.kw\/url?sa=t&rct=j&q=&esrc=s&source=web&cd=8&cad=rja&uact=8&ved=0ahUKEwjWgp3OrYHOAhUG0RQKHUl_AUcQFgg2MAc&url=http%3A%2F%2Fwww.personal.psu.edu%2Fssbl68%2Fdocuments%2Fteaching%2Ffall2010%2FSection%25207.2.pdf&usg=AFQjCNE3PCsktnTDjhKq4KVeoUUF-sohqg"},{"key":"e_1_3_2_1_29_1","unstructured":"Calini A. Jurisich E. and Shields S. 2008. Set Theory and Logic Supplementary Materials. http:\/\/www.google.com\/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0ahUKEwjz5v6kypbOAhWD1RQKHViBAF4QFggnMAA&url=http%3A%2F%2Fshieldss.people.cofc. edu%2FMath103handout.pdf&usg=AFQjCNHJzTJH_PYDmqrwtnv7xfVClBCeag  Calini A. Jurisich E. and Shields S. 2008. Set Theory and Logic Supplementary Materials. http:\/\/www.google.com\/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0ahUKEwjz5v6kypbOAhWD1RQKHViBAF4QFggnMAA&url=http%3A%2F%2Fshieldss.people.cofc. edu%2FMath103handout.pdf&usg=AFQjCNHJzTJH_PYDmqrwtnv7xfVClBCeag"},{"volume-title":"Research Sampler 9: Key Aspects of Knowing and Learning the Concept of Function","author":"Carlson M.","key":"e_1_3_2_1_30_1","unstructured":"Carlson , M. , and Oehrtman, M . Research Sampler 9: Key Aspects of Knowing and Learning the Concept of Function , Mathematical Association of America Blog , Teaching and Learning. http:\/\/www.maa.org\/programs\/faculty-and-departments\/curriculum-department-guidelines-recommendations\/teaching-and-learning\/9-key-aspects-of-knowing-and-learning-the-concept-of-function Carlson, M., and Oehrtman, M. Research Sampler 9: Key Aspects of Knowing and Learning the Concept of Function, Mathematical Association of America Blog, Teaching and Learning. http:\/\/www.maa.org\/programs\/faculty-and-departments\/curriculum-department-guidelines-recommendations\/teaching-and-learning\/9-key-aspects-of-knowing-and-learning-the-concept-of-function"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Lawvere F.W and Rosebrugh R. 2003. Sets for mathematics. Cambridge University Press Cambridge UK.  Lawvere F.W and Rosebrugh R. 2003. Sets for mathematics. Cambridge University Press Cambridge UK.","DOI":"10.1017\/CBO9780511755460"},{"key":"e_1_3_2_1_33_1","first-page":"114","volume-title":"Research in Collegiate Mathematics Education","author":"Carlson M. P.","unstructured":"Carlson , M. P. 1998. A cross-sectional investigation of the development of the function concept . In Research in Collegiate Mathematics Education , A. H. Schoenfeld, J. Kaput, and E. Dubinsky, Eds. CBMS Issues in Mathematics Education (pp. 114 -- 162 ). American Mathematical Society , Providence, RI. Carlson, M. P. 1998. A cross-sectional investigation of the development of the function concept. In Research in Collegiate Mathematics Education, A. H. Schoenfeld, J. Kaput, and E. Dubinsky, Eds. CBMS Issues in Mathematics Education (pp. 114--162). American Mathematical Society, Providence, RI."},{"volume-title":"Seventh Edition","author":"Rosen K. H.","key":"e_1_3_2_1_34_1","unstructured":"Rosen , K. H. 2012. Discrete Mathematics and Its Applications , Seventh Edition , McGraw-Hill . ISBN 0--07338309-0 Rosen, K. H. 2012. Discrete Mathematics and Its Applications, Seventh Edition, McGraw-Hill. ISBN 0--07338309-0"}],"event":{"name":"ICC '17: Second International Conference on Internet of Things, Data and Cloud Computing","acronym":"ICC '17","location":"Cambridge United Kingdom"},"container-title":["Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018896.3018943","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018896.3018943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:40Z","timestamp":1750221520000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018896.3018943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,22]]},"references-count":31,"alternative-id":["10.1145\/3018896.3018943","10.1145\/3018896"],"URL":"https:\/\/doi.org\/10.1145\/3018896.3018943","relation":{},"subject":[],"published":{"date-parts":[[2017,3,22]]},"assertion":[{"value":"2017-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}