26,759 Hits in 3.2 sec

Building VECM-based Systems with a Model Driven Approach: an Experience Report

Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano
2011 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
Recently, we took part in a project with two local companies about the creation of a UML-based Model Driven rigorous method to develop VECM-based systems.  ...  This report details the experience made using our method to develop V-Protocol: a system able to protocol, sign and archive public competition announcements received by a company.  ...  The method for developing a V-System consists of four phases: -Business Process Modelling -V-System Placement -V-System High Level Design -V-System Detailed Design We present our method using the Protocol  ... 
dblp:conf/models/LeottaRRA11 fatcat:iqhtwce6rjhtldzp4mtzq4svva

Consistency of UML Design

Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Tamara Butenko
2018 International Journal of Information Technology and Computer Science  
The paper presents a method and tools for consistency checking in UML design of an objectoriented software system.  ...  The proposed method uses graph representation of UML diagrams and first-order predicate logic to specify consistency rules mostly on the cross-diagram level.  ...  To avoid misunderstanding we use the term "UML design of the system" for the set of its UML models and the term "graph model" for the graph representation of the UML design of the system. II.  ... 
doi:10.5815/ijitcs.2018.09.06 fatcat:ymn5xaos55ex7phe77j6qd7aom

From Model-Driven Development to Model-Driven Engineering

Bran Selic
2007 19th Euromicro Conference on Real-Time Systems (ECRTS'07)  
Enter SysML… A graphical modeling language adopted by the OMG, in collaboration with INCOSE and AP233 -a UML profile that represents a subset of UML 2 with extensions for heterogeneous (SW/HW) modelling  ...  for Systems Development Systems of systems architecture, hardware/software co-design Collaborative Development Environment (Jazz) Links between system model and domain-specific models Different levels  ...  in combination with new MDD-based methods and tools, we have the opportunity to effectively design and implement complex systems that combine software and hardware However, much research is required to  ... 
doi:10.1109/ecrts.2007.16 dblp:conf/ecrts/Selic07 fatcat:qv5e6e5giff4zjawptp5tirvae

Generic Methodology for Formal Verification of UML Models

K.H. Kochaleema, G. Santhosh Kumar
2022 Defence Science Journal  
It reinforces these artifacts with formal model transition and property verification.  ...  The steep learning curve associated with formal methods is avoided through the automatic formal model generation and thus reduces the reluctance of using formal methods in software development projects  ...  This ensures reliable and fail-safe systems during operation. The methodology complies well with the V-model development process.  ... 
doi:10.14429/dsj.72.17228 fatcat:oiofljfysjcazcvqp6uwgjx3ni

A Versioning Scheme for Consistent Evolution of OO Applications

Umesh Bellur, Vallieswaran V
2006 2006 13th Asia Pacific Software Engineering Conference (APSEC'06)  
Our research presents solutions to all three issues starting from a relational meta-model of development and design entities.  ...  This adversely affects development since it is best to begin the process of evolution with the latest design representation that is consistent with the code since it provides a high level view of the system  ...  In agile software development practice, iterations of software development need to evolve the existing system in a manner consistent with its design rationale.  ... 
doi:10.1109/apsec.2006.16 dblp:conf/apsec/BellurV06 fatcat:cgavvbr7t5dzren56lt56homfu

Transformation of Transportation Data Models from Unified Modeling Language to Web Ontology Language

Chuanrong Zhang, Zhong-Ren Peng, Tian Zhao, Weidong Li
2008 Transportation Research Record  
However, data sharing and acquisition across different platforms and applications is a challenge, along with institutional issues due to the heterogeneity of existing systems in terms of data modeling  ...  Darter et al. report the development of an interoperable asset management system using ontology-based semantic models (11).  ...  In environments with multiple independent transportation systems, each system might have its own intended UML model and, therefore, its own ontology.  ... 
doi:10.3141/2064-11 fatcat:ga7ylwygpfedzd3vcdfkut6cpu

V3Studio: A Component-Based Architecture Modeling Language

Diego Alonso, Cristina Vicente-Chicote, Olivier Barais
2008 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)  
V 3 Studio has been designed to model the structure and behavior of a wide variety of reactive systems by means of three complementary views, namely: one for describing the components of the architecture  ...  Component-Based Software Development (CBSD) has proven to obtain highly reusable, extensible and evolvable designs.  ...  Conclusions and future research In this paper we have presented the V 3 Studio component-based meta-model, which allows designers to model the structure and behavior of their systems, providing them with  ... 
doi:10.1109/ecbs.2008.9 dblp:conf/ecbs/AlonsoVB08 fatcat:lpzyjx3przf4tme2wdh7eb22mu

An Approach for the Reusability by Component based Unified Modelling Language (CB-UML) in Power Distribution System

S. P. Angelin Claret
2019 International Journal for Research in Applied Science and Engineering Technology  
The CB-UML allows us to develop and integrate various components which facilitate reusability, high quality etc.  ...  The reusability principles are effectively carried out by the component based unified modelling language (CB-UML) method.  ...  The UML is the best choice and is used to signify and develop the architecture of software system by its different model diagrams [15] .  ... 
doi:10.22214/ijraset.2019.7209 fatcat:gezow5dq2bdqvgji7ruzswxqy4

Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML [chapter]

Sven Burmester, Holger Giese, Matthias Tichy
2005 Lecture Notes in Computer Science  
A number of requirements have to be satisfied in order to apply the model-driven development approach and the UML for mechatronic systems: The UML design models must support the specification of the required  ...  Due to the safety-critical character of mechatronic systems, the resulting UML models of complex, distributed systems and their real-time behavior must be verifiable in spite of the complex structure and  ...  Model-Driven Development with MECHATRONIC UML For the component-based development of mechatronic systems with UML, we extend the UML by notions for the specification of continuous and real-time behavior  ... 
doi:10.1007/11538097_4 fatcat:kicfevtr65dmpmpsqbpebhixs4

UML Profiles for Modeling Real-Time Communication Protocols

Barath Kumar, Juergen Jasperneite
2010 Journal of Object Technology  
The recently standarized OMG UML profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE) is discussed in section 7 and the paper ends with our conclusion in section 8.  ...  Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol anomalies, design errors  ...  Here in this figure, the Model developer designs the UML model using a UML modeling tool. Once the UML model is designed, the developer annotates the model with quantitative information.  ... 
doi:10.5381/jot.2010.9.2.a5 fatcat:6hwwgo7dwzdjvhrbnqsggl5xyi

UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs)

Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin
2009 Journal of Object Technology  
In order to cope with this problem, authors emphasize on using UML as a system level language, so higher level of abstraction is achieved.  ...  For instance Sw objects communicate with messages and Hw blocks communicate with signals. Sw systems reuse classes from libraries and Hw systems reuse IPs (intellectual properties).  ...  141 Figure 7 : 7 Example of user model with NFPs and VSL [16] J OURNAL OF OBJECT TECHNOLOGY V OL. 8, NO. 1 Figure 8 : 8 UML Figure 9 : 9 UML notation for SystemC concepts [15] 144 J OURNAL OF OBJECT  ... 
doi:10.5381/jot.2009.8.1.a1 fatcat:coirvylxd5amzmiwtz6ymxi6l4

Model-Driven Engineering of a Railway Interlocking System

Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo, András Zentai
2015 Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development  
Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality.  ...  We present the experience in the model-driven design and V&V of a safety-critical system in the railway domain, namely the Prolan Block, a railway interlocking system manufactured by the Hungarian company  ...  ACKNOWLEDGEMENTS This research has been supported by the People Programme (Marie Curie Actions) of the EU FP7 Programme 2007-2013 under REA grant agreement n.324334 CECRIS (CErtification of CRItical Systems  ... 
doi:10.5220/0005244805090519 dblp:conf/modelsward/ScippacercolaPR15 fatcat:qliiavkccfcnzdu3ncmoiehfuq

A Coalgebraic Semantic Framework for Component-based Development in UML

Sun Meng, Bernhard K. Aichernig, Luís S. Barbosa, Zhang Naixiao
2005 Electronical Notes in Theoretical Computer Science  
In this way, a formal basis for component-based development in UML is studied, which allows the construction of more complex and specific systems from independent components.  ...  This paper introduces a generic semantic framework for component-based development, expressed in the unified modelling language UML.  ...  is used for development with conceptual models, i.e., class diagrams and use cases. • and architectural refinement, which is used for decomposing a component with a specified behavior into a distributed  ... 
doi:10.1016/j.entcs.2004.06.051 fatcat:7jftzsakubgjbmeiwaabeef7u4

Integrating model checking and UML based model-driven development for embedded systems

Zamira Daw, Rance Cleaveland, Marcus Vetter
2014 Electronic Communications of the EASST  
This paper discusses issues associated with integrating model checkers into a model-based development environment for embedded systems.  ...  The environment, DMOSES, is based on a formalization of UML Activity Diagrams and is used to generate correct and efficient code from such models; a key application area is the medical-device domain.  ...  This research project is supported by European Regional Development Fund (ERDF) and the german state of Baden-Wuerttemberg. Bibliography  ... 
doi:10.14279/tuj.eceasst.66.888 dblp:journals/eceasst/DawCV13 fatcat:tqmvnyqmt5g2jcrl7p4qw3dol4

Tools for secure systems development with UML

Jan Jürjens, Pasha Shabalin
2007 International Journal on Software Tools for Technology Transfer (STTT)  
Our goal is to provide such added-value by developing tool-support for the analysis of UML models against difficult system requirements.  ...  For model-based development to be a success in practice, it needs to have a convincing addedvalue associated with its use.  ...  Acknowledgements Fruitful collaborations with the members of the UMLsec group at TU Munich are gratefully acknowledged, as well as constructive comments by the anonymous referees which lead to significant  ... 
doi:10.1007/s10009-007-0048-8 fatcat:xkh2hztgjbdn7jy6nvevkkm64i
« Previous Showing results 1 — 15 out of 26,759 results