Withthe advent of software architectures, architectural languages have become an active research area for the specification of software architectures in terms of components & connectors and for some extra capabil...
详细信息
ISBN:
(纸本)9789897582103
Withthe advent of software architectures, architectural languages have become an active research area for the specification of software architectures in terms of components & connectors and for some extra capabilities such as formal analysis and code generation. In this paper, the existing architectural languages have been analysed for two important language features - i.e., interaction protocols and realisability. the analysis results show that only a few languages support interaction protocols via their first-class connector elements (also referred to as complex connectors). However, complex connectors of those languages lead to unrealisable specifications due to enabling global constraints which may not be possible for distributed systems. therefore, practitioners cannot implement the system in the way specified, and any analyses (e.g., performance) made on the unrealisable specifications will all be invalid.
Precise specification of system component interfaces enables analysis of component behavior and checking of conformance of an implementation to the interface specification. Very often component interfaces are only def...
详细信息
ISBN:
(纸本)9789897582103
Precise specification of system component interfaces enables analysis of component behavior and checking of conformance of an implementation to the interface specification. Very often component interfaces are only defined by their signature and without a formal description of the admissible behavior and timing assumptions. In this paper we present a framework named ComMA (Component modeling and Analysis) that supports model-based engineering (MBE) of high-tech systems by formalizing interface specifications. ComMA provides a family of domain-specific languages that integrate existing techniques from formal behavioral and time modeling and is easily extensible. It contains tools that support different phases of the development process and can be integrated in the industrial way of working. the framework is applied in the context of the family of interventional X-ray machines developed by Philips.
Due to the popularity and heterogeneity of embedded systems, the problem of software component (SW-component) allocation in such systems is receiving increasing attention. Addressing this problem using a graphical mod...
详细信息
ISBN:
(纸本)9789897582103
Due to the popularity and heterogeneity of embedded systems, the problem of software component (SW-component) allocation in such systems is receiving increasing attention. Addressing this problem using a graphical modeling language such as Ecore will enable system designers to better and more easily allocate their components. However, the existing Ecore models do not address the problem of SW-component allocation in heterogeneous embedded systems. Because of Ecore informal semantics, Ecore models cannot be analyzed using mathematical tools. On the other hand, an approach based on colored Petri nets (CPNs) was proposed for the modeling and analysis of the software component allocation problem. the approach was shown to be applicable in the field not only with respect to the cost optimization problem, but also because it takes nonfunctional requirements into consideration. In this paper, we propose an approach for the automated transformation of an Ecore model into an equivalent CPN model, which will help the modeler use the power of a formal modeling language by only modeling the system using a simple Ecore-based modeling language.
In safety-critical industries such as the aviation industry or the medical industry traceability is required by law and specific regulations. In addition, process models such as CMMI require traceability information f...
详细信息
ISBN:
(纸本)9789897582103
In safety-critical industries such as the aviation industry or the medical industry traceability is required by law and specific regulations. In addition, process models such as CMMI require traceability information for documentation purposes. Although creating and maintaing so-called traceability information models (TIM) takes a lot of effort, its potential for reporting development progress, supporting project management, and measuring software quality often remains untapped. the domain-specific language presented in this paper builds on an existing traceability solution and allows to define queries, metrics, and rules for company-or project-specific usage. the basis for such an analysis is a query expression to retrieve information from a TIM. Customizable metrics are then defined to compute aggregated values, which are evaluated against companyor project-specific thresholds using the rules part of the domain-specific language. the focus of this paper is to show how the combination of query, metric, and rule expressions is used to define and compute customizable analyses based on individual requirements.
Despite intensive work in academy and industry around it in the last two decades, the discipline of model-drivendevelopment with UML apparently has not become the industrial mainstream for building large-scale inform...
详细信息
ISBN:
(纸本)9789897582103
Despite intensive work in academy and industry around it in the last two decades, the discipline of model-drivendevelopment with UML apparently has not become the industrial mainstream for building large-scale information systems. In this paper, we present our attitude toward two probably mostly debated topics: 1) the lackluster adoption of MDD with UML in this field;we try to identify and explain what we believe are the main reasons for it, and 2) the controversial debate about general-purpose modeling languages, UML in particular, versus domain-specific modeling languages (DSLs). We present our approach to building large-scale business applications based on an executable profile of UML, named OOIS UML, and implemented as a framework named SOLoist. We also briefly report on our experiences and lessons learnt from successfully using the approach and the framework in industrial projects of different size and domains over the last fifteen years.
Hidden behind the Internet of things (IoT), many actors are activelly filling the market with devices and services. From this profusion of actors, a large amount of technologies and APIs, sometimes proprietary, are av...
详细信息
ISBN:
(纸本)9789897582103
Hidden behind the Internet of things (IoT), many actors are activelly filling the market with devices and services. From this profusion of actors, a large amount of technologies and APIs, sometimes proprietary, are available, making difficult the interoperability and configuration of systems for IoT technicians. In order to define and manipulate devices deployed in domestic environments, we propose IoTDSL, a Domain-Specific Language meant to specify, assemble and describe the behaviour of interconnected devices. Relying on a high-level rule-based language, users in charge of the deployment of IoT infrastructures are able to describe and combine in a declarative manner structural configurations as well as event-based semantics for devices. this way, language users are freed from technical aspects, playing with high-level representations of devices, while the complexity of the concrete implementation is handled in a dedicated layer where high-level rules are mapped to vendor's API.
In recent years, the use of convolutional neural networks has made great success in the analysis of digital pathological images. However, due to the slower running speed of the model and the large amount of data in th...
详细信息
ISBN:
(纸本)9781538660058
In recent years, the use of convolutional neural networks has made great success in the analysis of digital pathological images. However, due to the slower running speed of the model and the large amount of data in the single image, the model based on full sampling runs very slowly. It is of great significance to optimize the speed of the model. this paper proposes a method to complete the breast cancer detection by incomplete sampling of the features of the transfer learning output without network training. this method verified on Camelyon16 dataset. the experimental results show that while ensuring the accuracy of the model, it can greatly reduce the time for model construction and use.
Word embedding has been proven to play an important role in natural language processing. In this paper, we develop a mixed embedding for Chinese texts to perform joint segmentation and POS tagging task. We regard Chin...
详细信息
ISBN:
(纸本)9781538660058
Word embedding has been proven to play an important role in natural language processing. In this paper, we develop a mixed embedding for Chinese texts to perform joint segmentation and POS tagging task. We regard Chinese characters as pictures, and classify them by a special low-than character level feature called radical. We evaluate our model on different datasets, CTBS and CTB9, and achieve state-of-the-art performances, getting an F1-score of 98.21% on word segmentation task in CTB5.
model transformations are crucial in model-drivensoftwareengineering (MDSE). While combining MDSE and software product line engineering (SPLE) techniques, summarized as model-driven product line engineering (MDPLE),...
详细信息
ISBN:
(纸本)9789897582103
model transformations are crucial in model-drivensoftwareengineering (MDSE). While combining MDSE and software product line engineering (SPLE) techniques, summarized as model-driven product line engineering (MDPLE), promises increased productivity by relying on organized reuse, the benefits are impeded by transformation specifications designed exclusively for single-variant models. Applying single-variant model transformations to multi-variant input models results in output models lacking the variability information. Multi-variant model transformations (MVMT), which preserve variability information, have only recently been understood as an explicit research problem. In this paper, we propose an a posteriori approach towards MVMT. Following the paradigm of organized reuse, we propose to employ single-variant model transformations without modifications in a first step, and to transfer variability information afterwards based on the artifacts provided by the single-variant transformation specification. In particular, we implemented this approach for the well-known model-to-model transformation language ATL. To deduce variability information, the execution artifacts (trace and execution model) are analyzed. then, variability annotations are transfered to the target model automatically. the implementation is evaluated based on a practically example of a Graph product line. Results exhibit that our approach outperforms the conventional solution with respect to user effort, accuracy and performance.
the optimization of complex systems as well as other design methods require a description of the system parameters, or the design space. Explicit encoding of all possible variants is practically impossible, thus an im...
详细信息
ISBN:
(纸本)9789897582103
the optimization of complex systems as well as other design methods require a description of the system parameters, or the design space. Explicit encoding of all possible variants is practically impossible, thus an implicit method is needed. While this is easy for purely numerical parameters and a fixed number of them as usually assumed in direct or indirect optimization, it is quite hard for systems in which the architecture and thus the structure of the parameters themselves can be varied. this paper introduces an approach to specify system architecture variants in a concise way and proposes a UML profile for this task. Standard UML meta model elements are used for the description of variant-specific stereotypes. An example of a variant specification for a communication network model is presented.
暂无评论