Formalizing and validating UML architecture description of web systems

Fu, Yujian; Dong, Zhijiang; He, Xudong

doi:10.1145/1149993.1150002

Cited by 9 publications

(4 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…UML is another widely accepted object-oriented system modeling and design language, which has been accepted for software architecture descriptions in recent years. However, they cannot describe non-functional attributes, such as reliability, safety, etc [5] .…”

Section: Related Workmentioning

confidence: 99%

Studying on AADL-Based Architecture Abstraction of Embedded Software

Geng

Zhou

Yang

et al. 2009

2009 International Conference on Scalable Computing and Communications; Eighth International Conference on Embedded Computing

View full text Add to dashboard Cite

since embedded software reaches a large scale and complexity, MDA and component-based development have become popular in embedded system development. Architecture-based software evaluation, maintenance and evolution can reduce cost of large-scale software, and raise the efficiency of maintenance and evolution. Especially, for legacy system, source code is regarded as the only dependable module to be reused in new systems. Thereby architecture abstraction from source code can describe the software at the level of architecture to support evaluation, maintenance and evolution. This paper studies on abstracting AADL model from C source code and introduces a set of mapping rules between the two languages. The mapping rules focus on identifying components and their relationships defined in AADL specification. An example is given at the end of the paper to demonstrate the algorithm.

show abstract

Section: Related Workmentioning

confidence: 99%

Studying on AADL-Based Architecture Abstraction of Embedded Software

Geng

Zhou

Yang

et al. 2009

2009 International Conference on Scalable Computing and Communications; Eighth International Conference on Embedded Computing

View full text Add to dashboard Cite

show abstract

“…Existing researches have used UML extension to describe the web system's architecture. However, it is hard to detect the system problems, such as correctness, consistency etc., of the composition of Web services without a formal semantics of web services architecture [5]. UML models contain business elements in software model levels, e.g., objects, operations, events, which are all finer-grained semantics, and lacks of the ability to support coarse-grained semantic modeling [6,7].…”

Section: Introductionmentioning

confidence: 99%

Design Web Services: Towards Service Reuse at the Design Level

Wang¹,

Qian²

2009

JCP

View full text Add to dashboard Cite

Service oriented software development has gained more and more importance in the area of e-business. Most researchers focus on the semantic description of Web services and automated composition but pay little attention to how to design Web services for supporting service reuse effectively, thus a substantial amount of modeling and programming is still required. In this paper, a pattern oriented service design method is presented by which all components of different abstraction levels are uniform in regard to their specifications and composition mechanism. Pattern oriented service design model provides a traceable and explicit link from business components to software components so that the top-down service reuse at design level is supported, and the service maintainer profits from the traceability because the impact of requirement or design modifications can be better assessed. The semantic information of component specification can support semantics based component reuse. The pattern oriented service design model can improve development productivity by offering a better chance of reuse through better modularity.

show abstract

“…Architecture describes the components to be assembled and the acceptable patterns of composition, and supports dynamic evolution as required for agility. The architecture-based modeling approach is a good approach to support tackling the inherent complexity of the eEnterprise [10,11] . In this paper, the term 'semantic' not only denotes the semantic specification of the business component and service component for automated discovery of partners and services but also denotes the semantic definition of component relationships for automated verification of component relationships.…”

Section: Introductionmentioning

confidence: 99%

Semantic Based System Modeling for Reliable Operation of Dynamic e-Enterprise

Wang

2008

2008 International Seminar on Future Information Technology and Management Engineering

View full text Add to dashboard Cite

Virtual organizations offer significant enhancements to enterprise's capabilities for collaboration and have exciting ambitions in e-Enterprise. But current researches pay less attention to how to guarantee reliable operation of e-Enterprises when they evolve dynamically. This paper combines the Semantic Web technology with architecture based modeling approach to semantically describe eEnterprise model. Component specifications are attached with semantic information. The semantic based eEnterprise model supports system self-adaptation when services are removed or modified. Patterns are used to describe business component composition and service component composition by which business goal are mapped into Web/Grid services so that e-Enterprise evolution is conducted reliably and effectively.

show abstract

Formalizing and validating UML architecture description of web systems

Cited by 9 publications

References 19 publications

Studying on AADL-Based Architecture Abstraction of Embedded Software

Studying on AADL-Based Architecture Abstraction of Embedded Software

Design Web Services: Towards Service Reuse at the Design Level

Semantic Based System Modeling for Reliable Operation of Dynamic e-Enterprise

Contact Info

Product

Resources

About