Learn More
Platform independent models (PIMs), platform specific models (PSMs) and the transformation between them are key technologies in OMG's MDA. But there is no effective solution until now. Starting from software architecture modeling, a modeling approach was proposed to build platform independent models for Web applications by extending UML and adding(More)
This paper proposes a PNP model that can support heuristic Web user interface design. Using this method, data information relevant Web user interface is captured by the object presentation model. The operation and navigation among page units expressed by the navigation and interaction model. With the participation of the users and supported by Web user(More)
  • Jinkui Hou
  • 2010 Second International Workshop on Education…
  • 2010
To resolve the problems of the definition, description, and proof of semantic property preservation of model-driven development, a mathematical framework for architecture models is proposed by using algebraic specification and process algebra. First, component signature, component specification and the relationships between components are defined(More)
  • Jinkui Hou
  • 2010 Second International Workshop on Education…
  • 2010
To resolve the problems of the definition, description, and proof of semantic property preservation of model transformation, a semantic description framework for architecture-centric model transformation is proposed based on category theory. Formal semantics of component specification and architecture model are described within typed category diagrams, and(More)
  • Jinkui Hou
  • 2010 2nd International Workshop on Database…
  • 2010
Focusing on model-driven development for agent-based intelligent systems, a formal semantic model is proposed in this paper. The typed category theory is used to formally describe agent models and their mapping relations, and thus the precise semantic meanings for them are provided. Agent models are described with algebra specifications, and morphisms are(More)
Model transformation is touted to play a key role in model-driven development. The mapping relations between models are the foundation and basis for the transformation. On the basis of software architecture, this paper tries to provide a precise semantics for both components structuring and models mapping by using category theory. Morphism composition is(More)
Model transformations are touted to play a key role in model-driven software development. The mapping relations between different models are the foundation and basis for the transformation. A classification for different level mappings was proposed and defined formally by abstractly analyzing the characteristics of syntax and semantic features of modeling(More)
The mapping relations between different models are the foundation for model transformation in modeldriven software development. On the basis of ontology semantics, model mappings between different levels are classified by using structural semantics of modeling languages. The general definition process for mapping relations is explored, and the principles of(More)
  • Jinkui Hou
  • 2010 Second International Workshop on Education…
  • 2010
The mapping relations between different models are the foundation and basis for the transformation in model-driven software development. Based on ontology semantic mappings, a classification for different level model mappings is proposed and discussed by abstractly analyzing the characteristics of syntax and semantic features of modeling languages. On this(More)