2500 years of going meta: from Aristotle to SysML v2
摘要
Philosophers have been talking about metaphysics since Aristotle. Logicians have used metalanguages for 80 years. And, in the last 50 years, computer scientists have produced metaobjects, metaclasses and metamodels. We can now create modeling languages able to express their own definitions, allowing tools that can reflect on the very models they are being used to create. What might this mean for the next generation of modeling languages and tools? We are beginning to find out with the Systems Modeling Language version 2 (SysML v2) which is at its core based on reflective metamodeling. This paper summarizes the nearly three millennia of metathinking that has informed the design of SysML v2, and that is now taking us another step down that path into the future.