The Unified Modeling language (UML) has become the de facto modelling language for business processes and software intensive systems. However, the UML1 lacks a rich-set of semantics specific to the Ada programming lan...
详细信息
ISBN:
(纸本)3540403760
The Unified Modeling language (UML) has become the de facto modelling language for business processes and software intensive systems. However, the UML1 lacks a rich-set of semantics specific to the Ada programminglanguage, which would enable a designer to both design an abstract solution based on the systems requirements, and an implementation solution based on the semantics of the Ada programminglanguage. So as to bridge this semantic gap between the modelling language and the programminglanguage the UML provides Profiles. A UML profile forms a part of the extensibility mechanism, inherent to the UML, enabling the standard UML to be extended to encompass the semantics of an individual programminglanguage. This paper explores the current definition of the ARTiSAN UML-Ada Profile(2), and its usage and flexibility in developing Ada source code from a UML model. The UML-Ada Profile at the design-level not only enables implementation issues to be resolved prior to constructing the code, it also has the advantage of facilitating the automatic generation of Ada Source code.
This paper proposes a methodology for embedded systems co-design, based on statechart models. The process starts with grabbing the system functionalities through use cases. A set of procedures addressing the implement...
详细信息
ISBN:
(纸本)0769519237
This paper proposes a methodology for embedded systems co-design, based on statechart models. The process starts with grabbing the system functionalities through use cases. A set of procedures addressing the implementation of Statechart models is presented. The main goal of this set of procedures is to lift the structuring mechanisms presented in statecharts to the top level. In this sense, the complexity of statechart implementation will be similar to the complexity of communicating concurrent state machines and the platforms selected to support implementation will not need to have specific capabilities to directly support the structuring mechanisms of Harel's statecharts. As a consequence, full direct implementation of statecharts is possible considering different types of implementation platforms, ranging from hardware-centric or software-centric to hardware-software partitioning through codesign techniques.
Biological systems exhibit remarkable adaptation and robustness in the face of widely changing environments. By adopting properties of biological systems, we hope to design systems that operate adequately even in the ...
详细信息
ISBN:
(纸本)1581137842
Biological systems exhibit remarkable adaptation and robustness in the face of widely changing environments. By adopting properties of biological systems, we hope to design systems that operate adequately even in the presence of catastrophic failures and large scale attacks. We describe a programming paradigm based on the actions of biological cells and demonstrate the ability of systems built using our model to survive massive failures. Traditional methods of system design require explicit programming for fault tolerance, which adds substantial costs and complexity to the design, implementation and testing phases. Our approach provides implicit fault tolerance by using simple programs constructed following guiding principles derived from observing nature. We illustrate our model with experiments producing simple structures and apply it to design a distributed wireless file service for ad hoc wireless networks.
Architecture description languages deal with the description, analysis and reuse of software architectures. This paper describes DAOP-ADL, a component- and aspect-based language to specify the architecture of an appli...
详细信息
The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification ...
详细信息
ISBN:
(纸本)0769520359
The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well.
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code generation, where the designer describes the ...
详细信息
ISBN:
(纸本)9781581136241
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code generation, where the designer describes the model in an abstract high-level specification language which is translated into highly optimized Fortran code. This is applied to a convection scheme as used in a numerical weather prediction model (NWP). We address problems like how to generate efficient code for conditional expressions by using polymorphic templates. Finally, we compare the generated code for the convection scheme with the hand-written reference code.
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simulation-coverage analyzer This approach c...
详细信息
ISBN:
(纸本)0769518702
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simulation-coverage analyzer This approach combines the conventional transaction level language such as C and the signal level language based on our previously developed Component Wrapper language (CWL). This approach is based on two concepts. The first one is a complete separation between transaction-level verification and signal-level verification for generating suitable verification suites in each design phase. The second one is the quick generation of signal-level verification suites from the original specification written in CWL. Experimental results show that our approach should yield much shorter verification periods versus conventional methods.
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. The approach supports verification against specification models and assigns semantics to the behav...
详细信息
ISBN:
(纸本)0769520359
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. The approach supports verification against specification models and assigns semantics to the behavior of implementation models so as to confirm expected results for both the designer and implementer. Specifications of the design are modeled in UML, in the form of Message Sequence Charts (MSCs), and mechanically compiled into the Finite State Process notation (FSP) to concisely describe and reason about the concurrent programs. implementations are mechanically translated to FSP to allow a trace equivalence verification process to be performed. By providing early design verification, the implementation, testing and deployment of web service compositions can be eased through the understanding of the differences, limitations and undesirable traces allowed by the composition. The approach is supported by a suite of cooperating tools for specification, formal modeling and trace animation of the composition workflow.
MedfoLink is a new software technology that applies novel design features to help solve issues regarding medical records processing that are part of the national agenda. This software overcomes the vocabulary and perf...
详细信息
ISBN:
(纸本)0769520006
MedfoLink is a new software technology that applies novel design features to help solve issues regarding medical records processing that are part of the national agenda. This software overcomes the vocabulary and performance limitations of existing medical language processing technologies by employing high speed databases, Java, and the UMLS (Unified Medical language Source). MedfoLink is a Java technology that enables a computer to accurately record and interpret data from patient records. MedfoLink's design incorporates two novel approaches: (a) intelligent algorithms that with practice improve comprehension of medical records and (b) the ALI (Adaptive Learning Interface) architecture that enhances performance by integrating existing technologies with an object-oriented approach. Future applications of MedfoLink range from individual patient care, to clinical drug trials, to public health monitoring.
We present a framework for code generation that allows programs to manipulate and generate code at the source level while the joining and splicing of executable code is carried out automatically at the intermediate co...
详细信息
We present a framework for code generation that allows programs to manipulate and generate code at the source level while the joining and splicing of executable code is carried out automatically at the intermediate code/VM level. The framework introduces a data type code to represent code fragments: methods/operators from this class are used to reify a method from a class, producing its representation as an object of type code. Code objects can be combined by partial application to other code objects. Code combinators, corresponding to higher-order methods, allow splicing the code of a functional actual parameter into the resulting Code object. CodeBricks is a library implementing the framework for the NET Common language Runtime. The framework can be exploited by languagedesigners to implement metaprogramming, multistage programming and other language features. We illustrate the use of the technique in the implementation of a fully featured regular expression compiler that generates code emulating a finite state automaton. We present benchmarks comparing the performance of the RE matcher built with CodeBricks with the hand written one present in NET.
暂无评论