Fundamentals of a mereo-operandi theory to support transdisciplinary modeling and co-design of cyber-physical systems

Proceedings of the ASME Design Engineering Technical Conference

Volumn 1A-2015, Issue , 2015, Pages

  Horváth, Imre ^a   Pourtalebi, Shahab ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Architecture modeling; Cyber physical systems; Mereo operandi theory; Operation modeling; Units and flows of operation

Indexed keywords

APPLICATION PROGRAMS; COMPUTATION THEORY; COMPUTER HARDWARE; DESIGN; HARDWARE; RECONFIGURABLE HARDWARE;

ARCHITECTURE MODELING; CYBER PHYSICAL SYSTEMS (CPSS); MEREO-OPERANDI THEORY; OPERATION MODEL; UNITS AND FLOWS OF OPERATION;

EMBEDDED SYSTEMS;

EID: 84979085019     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/DETC2015-46702     Document Type: Conference Paper

References (51)

1. Allen, J.F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM 26 (11), 832-843.
2. Android. (2015). Developers web-page, http://developer.android.com/reference/packages.html
3. Bellomo, N., Bianca, C. and Mongiovì, M.S. (2010). On the modeling of nonlinear interactions in large complex systems, Applied Mathematics Letters, 23, 1372-1377.
4. Bennett, B., Cohn, A.G., Torrini, P. and Hazarika, S. (2000). Describing rigid body motions in a qualitative theory of spatial regions. In Proceedings of the National Conference on Artificial Intelligence, 503-509.
5. Broy, M. (1997). The specification of system components by state transition diagrams. In Research Report TUM-I 9630, Technische Universität München.
6. Buck, J.T., Ha, S., Lee, E.A. and Messerschmitt, D.G. (1994). Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation on Simulation Software Development, 4, 155-182.
7. Cohn A.G and Hazarika S.M. (2001). Continuous transitions in mereotopology. In Proceedings of the 5th Symposium on Logical Formalizations of Commonsense Reasoning, 1-10.
8. Cohn, A.G. and Varzi, A.C. (1998). Connection relations in mereotopology. In Proceedings of ECAI, 150-154.
9. Davis, J., Goel, M., Hylands, C., Kienhuis, B., Lee, E.A., Liu, J.,. and Xiong, Y. (1999). Overview of the Ptolemy project. ERL Technical Report UCB/ERL, 1-23.
10. Deelman, E., Gannon, D., Shields, M. and Taylor, I. (2008), Workflows and e-Science: An overview of workflow system features and capabilities, Future Generation Computer Systems, 25(5), 528-540.
11. Del Mondo, G., Stell, J.G., Claramunt, C. and Thibaud, R. (2010). A graph model for spatiotemporal evolution. Journal of Universal Computer Science, 16(11), 1452-1477.
12. Demoly, F., Matsokis, A. and Kiritsis, D. (2012). A mereotopological product relationship description approach for assembly oriented design. Robotics and Computer-Integrated Manufacturing, 28(6), 681-693.
13. Demoly, F., Toussaint, L., Eynard, B., Kiritsis, D. and Gomes, S. (2011). Geometric skeleton computation enabling concurrent product engineering and assembly sequence planning. Computer-Aided Design, 43(12), 1654-1673.
14. Demoly, F., Yan, X.T., Eynard, B., Rivest, L. and Gomes, S. (2011). An assembly oriented design framework for product structure engineering and assembly sequence planning. Robotics and Computer-Integrated Manufacturing, 27(1), 33-46.
15. Desharnais, J., Frappier, M. and Mili, A. (1998). State transition diagrams. In Handbook on Architectures of Information Systems, Springer, Berlin, pp. 147-166.
16. Donnelly, M. (2003). Layered mereotopology. In IJCAI, 1269-1274
17. Drusinsky, D. and Harel, D. (1989). Using statecharts for hardware description and synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 8(7), 798-807.
18. Duntsch, I., Wang, H. and McCloskey, S. (2001). A relation-algebraic approach to the region connection calculus. Theoretical Computer Science, 255, 63-83.
19. Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J. and Xiong, Y. (2003). Taming heterogeneity-The Ptolemy approach. In Proceedings of the IEEE, 91(1), 127-144.
20. Galton, A. (2004). Multidimensional mereotopology. In Proceedings of KR '04, AAAI Press, Menlo Park, 45-54.
21. Gruhier, E., Demoly, F., Kim, K.Y. and Gomes S. (2014). Mereotopology and product design. In Proceedings of TMCE 2014, Budapest. Hungary.
22. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 231-274.
23. Horváth, I. (2014). What the design theory of socialcyber-physical systems must describe, explain and predict? In An Anthology of Theories and Models of Design. Springer London, 99-120.
24. Horváth, I. and Gerritsen, B.H. (2012). Cyber-physical systems: Concepts, technologies and implementation principles, in Proceedings of TMCE 2012, Vol. 1, May 7-11, 2012, Karlsruhe, Germany, 19-36.
25. Horváth, I. and Gerritsen, B.H. (2013). Outlining nine major design challenges of open, decentralized, adaptive cyber-physical systems, In Proceedings of the International Design Engineering Technical Conferences, ASME, 1-13.
26. Horváth, I. and Thernesz, V. (1996). Morphologyinclusive conceptual modelling with feature-objects, in Proceedings of SPIE, 2644, 563-572.
27. Horváth, I. and van der Vegte, W. (2003) Nucleus-based product conceptualization-Part 1. In Proceedings of the 14th International Conference on Engineering Design, Stockholm, 1-10.
28. Hovda, P. (2009). What is classical mereology?. Journal of Philosophical Logic, 38(1), 55-82.
29. Lee, B. and Lee, E.A. (1998). Hierarchical concurrent finite state machines in Ptolemy. In Proceedings of the International Conference on Application of Concurrency to System Design. IEEE, 34-40.
30. Lee. E.A., (2010), CPS foundations, in Proceedings of the 47th Design Automation Conference, ACM, 737-742.
31. Lemon, O. and Pratt, I. (1998). Complete logics for QSR: A guide to plane mereotopology. Journal of Visual Languages and Computing. 9, 5-21.
32. Liu, J., Lajolo, M. and Sangiovanni-Vincentelli, A. (1998). Software timing analysis using HW/SW cosimulation and instruction set simulator. In Proceedings of the 6th International Workshop on Hardware/Software Codesign. IEEE Computer Society, 65-69.
33. Mantripragada, R. and Whitney, D.E. (1999). Modeling and controlling variation propagation in mechanical assemblies using state transition models. IEEE Transactions on Robotics and Automation, 15(1), 124-140.
34. Mei, H., Zhang, W. and Zhao, H. (2006). A metamodel for modeling system features and their refinement, constraint and interaction relationships. Software & Systems Modeling, 5(2), 172-186.
35. Motorola (2014) Moto 360 Teardown smartwatch, https://www.ifixit.com/Teardown/Motorola+Moto+360+T eardown/28891
36. Muller, P. (1998). A qualitative theory of motion based on spatio-temporal primitives. In Principles of Knowledge Representation and Reasoning-International Conference, 131-143.
37. Polkowski, L. (2014). Mereology in engineering and computer science. In Mereology and the Sciences. Springer International Publishing. 217-291.
38. Pourtalebi, S., Horváth, I. and Opiyo, E.Z. (2014). First steps towards a mereo-operandi theory for a system feature-based architecting of cyber-physical systems. In Proceedings of the ACDP 2014 Workshop, Stuttgart, xx.
39. Purao, S. and Storey, V.C. (2005). A multi-layered ontology for comparing relationship semantics in conceptual models of databases. Applied Ontology, 1, 117-139.
40. Rajkumar, R., Lee, I., Sha, L. and Stankovic, J. (2010). Cyber-physical systems: The next computing revolution, in Proceedings of the 47th Design Automation Conference, ACM, New York, 731-736.
41. Randell, D.A. and Cohn, A.G. (1989). Exploring naive topology: Modelling the force pump. In Proceedings of the Third International Qualitative Physics Workshop, 1-14.
42. Salustri, F.A. (2002). Mereotopology for product modeling: A new framework for product modeling based on logic. Journal of Design Research, 2, 1-12.
43. Salustri, F.A. and Lockledge, J.C. (1999). Towards a formal theory of products including mereology. In Proceeding of 12th International Conference on Engineering Design, 1125-1130.
44. Simons, P. and Dement, C. (1996). Aspects of the mereology of artifacts. In Formal Ontology, Vol. 53, Nijhoff International Philosophy Series, Kluwer, 255-276.
45. Smith, B. (1996). Mereotopology: A theory of parts and boundaries. Data and Knowledge Engineering, 20(3), 287-303.
46. Stell, J.G. and West, M. (2004). A four-dimensionalist mereotopology. In Formal Ontology in Information Systems, 261-272.
47. Varzi, A.C. (1996). Parts, wholes, and part-whole relations: The prospects of mereotopology. Data and Knowledge Engineering 20(3), 259-286.
48. Varzi, A.C. (1998). Basic problems of mereotopology. In Formal Ontology in Information Systems. IOS Press, Italy, 29-38.
49. Varzi, A.C. (2014) Appendix: Formal theories of parthood, in Mereology and the Sciences, Springer, Berlin, 359-370.
50. Von der Beeck, M. (1994). A comparison of statecharts variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, Berlin, 128-148.
51. Wasserman, A.I. (1985). Extending state transition diagrams for the specification of human-computer interaction. IEEE Transactions on Software Engineering, (8), 699-71