際際滷shows by User: BenKoo1 / http://www.slideshare.net/images/logo.gif 際際滷shows by User: BenKoo1 / 際際滷Share feed for 際際滷shows by User: BenKoo1 https://cdn.slidesharecdn.com/profile-photo-BenKoo1-48x48.jpg?cb=1594459320 Conduct research in the basic science of systems, using the Language-Oriented Paradigm. Designing and implementing hybrid computational models and formal languages to analyze and synthesize system properties. Creating and operating data-intensive tools to manage sensor/actuator inputs and computational results. Created a multi-paradigm executable meta-language, Object-Process Network (OPN), a tool that supports the analysis and synthesis of engineering systems. Later developed an algebraic formulation of the language, resulting in a many-sorted algebra that prescribes the mathematical nature of system description languages. This many-sorted algebra is called, Algebra of Systems (AoS), wh...