The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability ...The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automatic generation of test cases, but the requirement for mathematical basis makes itself academic inventions divorced from real applications. This paper proposes an approach to transforming UML model to FSM model, taking advantage of both languages. As our work focuses on the transformation of UML state diagrams to FSM models, a specific transformation mechanism is presented, which deals with different elements with different mapping rules. To illustrate the mechanism we proposed, an example of a web application for software download is presented. Finally, we give a method for implementation of the mechanism and a tool prototype to support the method.展开更多
The IEC 61850 standard stipulates the Substation Configuration Description Language (SCL) file as a means to define the substation equipment, IED function and also the communication mechanism for the substation area n...The IEC 61850 standard stipulates the Substation Configuration Description Language (SCL) file as a means to define the substation equipment, IED function and also the communication mechanism for the substation area network. The SCL is an eXtensible Markup Language (XML) based file which helps to describe the configuration of the substation Intelligent Electronic Devices (IED) including their associated functions. The SCL file is also configured to contain all IED capabilities including data model which is structured into objects for easy descriptive modeling. The effective functioning of this SCL file relies on appropriate validation techniques which check the data model for errors due to non-conformity to the IEC 61850 standard. In this research, we extend the conventional SCL validation algorithm to develop a more advanced validator which can validate the standard data model using the Unified Modeling Language (UML). By using the Rule-based SCL validation tool, we implement validation test cases for a more comprehensive understanding of the various validation functionalities. It can be observed from the algorithm and the various implemented test cases that the proposed validation tool can improve SCL information validation and also help automation engineers to comprehend the IEC 61850 substation system architecture.展开更多
Generative AI is rapidly employed by software developers to generate code or other software artifacts.However,the analysis and assessment of generative AI with respect to requirements analysis and modeling tasks,espec...Generative AI is rapidly employed by software developers to generate code or other software artifacts.However,the analysis and assessment of generative AI with respect to requirements analysis and modeling tasks,especially with UML,has received little attention.This paper investigates the capabilities of generative AI to aid in the creation of three types of UML models:UML use case models,class diagrams,and sequence diagrams.For this purpose,we designed an AI-aided UML modeling task in our course on software requirements modeling.50 undergraduates who majored in Software Engineering at Wuhan University completed the modeling task and the corresponding online survey.Our findings show that generative AI can help create these three types of UML models,but its performance is limited to identifying essential modeling elements of these UML models.展开更多
This paper describes how to use the Unified Modeling Language (UML) to modeling software processes in medical insurance MIS, and compares UML Modeling method with classic PO(Process Oriented) Modeling method. It indi...This paper describes how to use the Unified Modeling Language (UML) to modeling software processes in medical insurance MIS, and compares UML Modeling method with classic PO(Process Oriented) Modeling method. It indicates that the whole performance of application system model described by UML is much better than the one described by PO.展开更多
UML is widely accepted and applied by the international software industry. UML is a powerful language for Object oriented modeling, designing, and implementing software systems, but its Use Case method for requirem...UML is widely accepted and applied by the international software industry. UML is a powerful language for Object oriented modeling, designing, and implementing software systems, but its Use Case method for requirement analysis and modeling software patterns has some explicit drawbacks. For more complete UML, this paper proposes the Role Use Case modeling and its glyphs, and provides an instance of requirement analysis using Role Use Case method. Uses the Role Model to modeling software pattern at knowledge level. This paper also extends the UML Meta Model and accentuates “RM before UML's class Modeling”.展开更多
With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more gener...With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.展开更多
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activit...In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.展开更多
The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A n...The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.展开更多
A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handlin...A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handling furniture design data is given to illustrate the detail of conversion process.展开更多
Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented ...Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.展开更多
文摘The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automatic generation of test cases, but the requirement for mathematical basis makes itself academic inventions divorced from real applications. This paper proposes an approach to transforming UML model to FSM model, taking advantage of both languages. As our work focuses on the transformation of UML state diagrams to FSM models, a specific transformation mechanism is presented, which deals with different elements with different mapping rules. To illustrate the mechanism we proposed, an example of a web application for software download is presented. Finally, we give a method for implementation of the mechanism and a tool prototype to support the method.
文摘The IEC 61850 standard stipulates the Substation Configuration Description Language (SCL) file as a means to define the substation equipment, IED function and also the communication mechanism for the substation area network. The SCL is an eXtensible Markup Language (XML) based file which helps to describe the configuration of the substation Intelligent Electronic Devices (IED) including their associated functions. The SCL file is also configured to contain all IED capabilities including data model which is structured into objects for easy descriptive modeling. The effective functioning of this SCL file relies on appropriate validation techniques which check the data model for errors due to non-conformity to the IEC 61850 standard. In this research, we extend the conventional SCL validation algorithm to develop a more advanced validator which can validate the standard data model using the Unified Modeling Language (UML). By using the Rule-based SCL validation tool, we implement validation test cases for a more comprehensive understanding of the various validation functionalities. It can be observed from the algorithm and the various implemented test cases that the proposed validation tool can improve SCL information validation and also help automation engineers to comprehend the IEC 61850 substation system architecture.
文摘Generative AI is rapidly employed by software developers to generate code or other software artifacts.However,the analysis and assessment of generative AI with respect to requirements analysis and modeling tasks,especially with UML,has received little attention.This paper investigates the capabilities of generative AI to aid in the creation of three types of UML models:UML use case models,class diagrams,and sequence diagrams.For this purpose,we designed an AI-aided UML modeling task in our course on software requirements modeling.50 undergraduates who majored in Software Engineering at Wuhan University completed the modeling task and the corresponding online survey.Our findings show that generative AI can help create these three types of UML models,but its performance is limited to identifying essential modeling elements of these UML models.
基金Supported by the National Natureal Science Foundation of China (6 98730 36 )
文摘This paper describes how to use the Unified Modeling Language (UML) to modeling software processes in medical insurance MIS, and compares UML Modeling method with classic PO(Process Oriented) Modeling method. It indicates that the whole performance of application system model described by UML is much better than the one described by PO.
基金Supported the Middleware Software Division of Software Group of F ujitsu L imited in Japanthe National Depart-ment of Educat
文摘UML is widely accepted and applied by the international software industry. UML is a powerful language for Object oriented modeling, designing, and implementing software systems, but its Use Case method for requirement analysis and modeling software patterns has some explicit drawbacks. For more complete UML, this paper proposes the Role Use Case modeling and its glyphs, and provides an instance of requirement analysis using Role Use Case method. Uses the Role Model to modeling software pattern at knowledge level. This paper also extends the UML Meta Model and accentuates “RM before UML's class Modeling”.
基金Aeronautical Science Foundation of China (20095551025)
文摘With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
文摘In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
文摘The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.
基金Supported by the National Key Project Foundation of China (No. 2001BA201A06)
文摘A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handling furniture design data is given to illustrate the detail of conversion process.
文摘Aspect oriented software development is an emerging paradigm of software development. The notion of this technique is separation of concerns which means to implement each concern in a single object in object oriented programming but still there are concerns which are distributed on different objects and are called crosscutting concerns while another form is Core concerns are the core functionality provided by the system but crosscutting concerns are the concerns like logging, performance etc. Modeling of aspect oriented software is different from the normal modeling of object-oriented or procedural language software, because aspects don’t have the independent identity or existence and they are tightly coupled to their woven context so it is difficult to model them. The one aim of our research paper is to explore the domain of Modeling of the aspect-oriented software. The goal of this research paper is to give a UML Behavioral modeling techniques in the domain of aspect oriented software development. This technique of generating UML Behavioral Model for aspects will give better understating of separations concerns.
