Domain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains
We present a new approach to executable modeling that borrows from executable UML the notion of domains and bridges and couches them in a formal abstract framework based on the novel concept of a domain hierarchy. The framework is independent of the language used for representing structure and behavior of domains and bridges. By plugging in a declarative executable modeling language with a formal semantics for repre senting both structure and behavior, we instantiate the abstract framework into a concrete framework that shares with executable UML the benefits of a high-level separation of the platformindependent model into domains and bridges while providing a formal and declarative description of the underlying models.
Pierre Kelsen Qin Ma
Laboratory for Advanced Software Systems, University of Luxembourg 6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg
国际会议
天津
英文
295-296
2009-07-29（万方平台首次上网日期，不代表论文的发表时间）