Jinkui Hou

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)
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)
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)
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)
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)
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)