The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We present the results of a survey of tool use in software modeling education conducted from December 2016 to March 2017. The survey was conducted among 150 professors who taught modeling in 30 countries from all regions of the world. Professors reported using 32 modeling tools. Top motivations for choosing tools are simplicity of learning and installing, as well as the tools being free and supporting...
The development cost of safety-critical embedded systems is dominated today by the cost of software including verification and validation. This cost is typically related to the complexity of the software functions implementing the desired system behavior in nominal and off-nominal conditions. A widely used measure of complexity is the cyclomatic number, which is computed on the implementation code...
Faced with new environmental constraints, firms decide to collaborate in collective entities and adopt new patterns of behavior. So, this firms' collaboration becomes an unavoidable approach. This collaboration can be represented by many agents collaboration within a multi agent system. Indeed, agent technology is a software paradigm that permits to implement large and complex distributed applications...
At present, UML has gained comprehensively concern in computer science and engineering, and found wide application. To study the research situation and future of UML in China, this article firstly employed frequency statistics to count the frequency of 2940 papers related with UML area published from year 2001 to 2008 in Chinese famous CNKI database, then defined the high frequency keywords and their...
Software metrics provide essential means for software practitioners to assess its quality. However, to assess software quality, it is important to assess its UML models because of UML wide and recent usage as an object-oriented modeling language. But the issue is which type of software metrics can be utilized on UML models. One of the most important software metrics suite is Chidamber and Kemerer...
Models are used as the basis for design and testing of software. The unified modeling language (UML) is used to capture and model the requirements of a software system. One of the major requirements of a development process is to detect defects as early as possible. Effective prioritization of scenarios helps in early detection of defects as well maximize effort and utilization of resources. Use case...
Automatic train protection (ATP) system is a safety critical application for railway signaling with high logic complexity, and it is typically embedded and real-time demanded. As the computational complexity of ATP system, traditional software development method cannot accommodate effectively. In this paper, we propose a novel model-based development (MBD) scheme for ATP system. We argue that high...
Evolving software products is a tricky business, especially when the domain is complex and changing rapidly. Like other fields of engineering, software engineering productivity advances have come about largely through abstraction, reuse, process, and automation (e.g., moving from assembly language to third generation languages offered increased productivity through better abstraction). For canonical...
In this paper, metrics for business process model (BPM), are proposed, which are capable to measure the usability and effectiveness of BPMs. The proposed model is adapting error density metrics to BPMs by considering the similarities between the conceptual characteristics of BPMs and software products. We applied seven software metrics for evaluating quality of business processes/ process models....
Automated model checking shortcomings is prone to state explosion. In this paper, we propose abstraction framework based on Promela models, and transform the source of Promela models to the abstract target of Promela models. On this basis, we analyze the reasons for the complexity of model checking based on Promela models. Finally we reduce the number of state-generated under the condition of verification...
With growing scale of software, software architecture is becoming more complex and is hard to manage and control. Service Component Architecture (SCA) offers the supports for improving the complexity. However, few approaches address the complexity metric for SCA. In this paper, we propose a complexity metric based on SCA specification. The metric is composed of three parts that are employed respectively...
The aspect oriented design (AOD) surges from the continuous search of improving the software systems development. The AOD is a methodology that emerges from the aspect oriented programming (AOP), which intents to improve the concerns of the components in software programming; this methodology is based on existing technologies like object oriented (OO). Calculate the resources, is an activity that...
The definition of an oracle function for model transformation is challenging because of the very complex nature of models resulting from a transformation. Validating the correctness of an output model requires checking a large number of properties on the structure and semantics of this model. The oracle function can thus be very complex if it checks every property. In this paper, we identify and discuss...
The size of unified modeling language (UML) models used in practice is very large and ranges up to hundreds and thousands of classes. Querying of these models is used to support their quality assessment by information filtering and aggregating. For both, human cognition and automated analysis, there is a need for fast querying. In this context performance of model queries becomes an important issue...
Knowledge representation is a multidisciplinary subject that needs to apply theories and techniques from logic, ontology and computation. There are a great number of languages able to represent knowledge, among them UML can be considered a suitable language for modelling knowledge. It could be included within the category of visual languages for knowledge representation. On the other hand, numerous...
Like RM-ODP [1], enterprise architecture (or EA for short) has its own perspectives as a basic construct for its architecture definition to represent areas of concern. In this paper, difference between RM-ODP and one concrete example EA, and applicability of Use of UML for ODP system specifications [2] (or UML4ODP in short) standard to the example EA, are discussed. Several additional diagrams that...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.