Titlebook: System Analysis and Modeling: About Models; 6th International Wo Frank Alexander Kraemer,Peter Herrmann Conference proceedings 2011 Springe

Glaci冰

A簡潔的

UML-Based Specification and Generation of Executable Web Servicesw Web service profile for the Unified Modeling Language (UML), which allows an efficient definition of Web service models. Such Web service models allow the generation of the source code and the corresponding platform-specific configuration files necessary in order to run the modelled Web services.

丑惡

The SDL-UML Profile Revisitedied Modelling Language (UML) in the year 2007. This SDL-UML profile encompases the specification of structural and behavioral aspects of a SDL system in terms of a UML model. In this paper, limitations of the models for data type and value specification of the current SDL-UML profile are analyzed. O

疲勞

nepotism

SDL Code Generation for Network Simulatorsth existing system design tools leads to a difficult and error-prone development of these systems for simulation purposes. Even if the system is correctly implemented, its maintenance becomes a tedious task especially with the increasing complexity. This paper introduces a new approach for addressin

DAMN

A Case Study on API Generationechniques like code generation from models and model transformations. Convincing the skeptics can be done by showing how and when to apply MDSD in the right way. This paper is a case study on applied MDSD, with a focus on code generation. We describe in detail how to generate code for a large model

Colonoscopy

UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Modelsexity due to its popularity in model design and development. Consequently, the efficiency of the verification process is being affected. The verification of these models is each time more laborious because of their complex design and size thus prolonging the verification process. In this paper, we p

Anticonvulsants

Extensible and Automated Model-Evaluations with INProVEmodels is model quality. This does not imply functional correctness, but non-functional properties, such as maintainability, scalability, extensibility. Lots of effort was put into development of metrics for control flow models. In the embedded systems domain however, domain specific- and data flow

共棲

極大痛苦

Analysing the Cognitive Effectiveness of the UCM Visual Notation, specification, and validation of requirements. Like many visual modelling languages, the concrete graphical syntax of the UCM notation has not been designed taking cognitive effectiveness formally into consideration. This paper conducts a systematic analysis of the UCM notation through an evaluati