Abstract
We have introduced a new design method called incrementally modular abstraction hierarchy (IMAH). IMAH is based on algebraic topology and it provides seven levels of abstraction hierarchy. Using IMAH, designers can begin their development at any level of the abstraction hierarchy. By ascending the hierarchy, they can generalize their design. By descending it, they can specialize their development. When complete, they are able to consider the entire conceptual and physical view of what they have achieved through their work. Though IMAH is a powerful tool, it requires only a simple explanation to be accepted by most researchers and developers. In this paper, we will use basic mathematical concepts, pushouts and pullbacks, to show how systems can be designed in both bottom-up and top-down fashions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dodson, C., Parker, P.E.: A User’s Guide to Algebraic Topology. Kluwer Academic Pub., Boston (1997)
Ferrari, M., Ferrari, G.: Building Robots with LEGO Mindstorms NXT. Syngress, Burlington (2007)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River (1985)
Kunii, T.L., Ohmori, K.: Cyberworlds: A kaleidoscope as a cyberworld and its animation: Linear architecture and modeling based on an incrementally modular abstraction hierarchy. Computer Animation and Virtual Worlds 17, 145–153 (2006)
Kunii, T.L., Ohmori, K.: Cyberworlds: Architecture and modeling by an incrementally modular abstraction hierarchy. The Visual Computer 22(12), 949–964 (2006)
Martin, R.C.: Agile Software Development, Principles, Patterns, and Practices. Prentice Hall, Upper Saddle River (2002)
May, D.: Communicating process architecture for multicores. In: The 30th Communicating Process Architectures Conference, pp. 21–32 (July 2007)
May, J.P.: A concise course in algebraic topology. University of Chicago Press, Chicago (1999)
Michalewicz, Z., Michalewicz, M.: Puzzle-based Learning: Introduction to critical thinking, mathematics, and problem solving. Hybrid Publishers, Melbourne (2008)
Ohmori, K.: Design and implementation of enterprise systems in fine-grained concurrent computation. Procedia Technology 5, 344–353 (2012); 4th Conference of ENTERprise Information Systems - aligning technology, organizations and people (CENTERIS 2012)
Ohmori, K., Kunii, T.L.: Visualized deformation of joinery to understand jointing process by homotopy theory and attaching maps. In: Proc. Int. Conference on Cyberworlds 2011, Calgary, Canada, pp. 203–210 (October 2011)
Ohmori, K., Kunii, T.L.: Visualizing logical thinking using homotopy: A new learning method to survive in dynamically changing cyberworlds. In: Proc. 2011 Int. Conf. on Frontiers in Education: Computer Science and Computer Engineering, Las Vegas, USA, pp. 186–191 (July 2011)
Ohmori, K., Kunii, T.L.: A general design method based on algebraic topology - a divide and conquer method. In: Int. Conf. on Cyberworlds 2013, Yokohama, Japan, pp. 267–273 (October 2013)
Ohmori, K., Kunii, T.L.: Mathematical foundations for designing a 3-dimensional sketch book. In: Gavrilova, M.L., Tan, C.J.K., Kuijper, A. (eds.) Transactions on Computational Science XVIII. LNCS, vol. 7848, pp. 41–60. Springer, Heidelberg (2013)
Sieradski, A.J.: An introduction to topology and homotopy. PWS-Kent Publishing Company, Boston (1992)
Whitehead, J.H.C.: Algebraic homotopy theory. In: Proc. International Conference of Mathematics II, pp. 354–357 (1950)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ohmori, K., Kunii, T.L. (2014). Incrementally Modular Abstraction Hierarchy Using Algebraic Topology. In: Gavrilova, M.L., Tan, C.J.K., Mao, X., Hong, L. (eds) Transactions on Computational Science XXIII. Lecture Notes in Computer Science, vol 8490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43790-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-43790-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-43789-6
Online ISBN: 978-3-662-43790-2
eBook Packages: Computer ScienceComputer Science (R0)