Now showing items 1-10 of 3146
Comparativo entre modelagem conceitual UML e modelagem OntoUML baseada em ontologias
(Universidade Tecnológica Federal do ParanáFrancisco BeltraoBrasilLicenciatura em InformáticaEspecialização em Desenvolvimento de Sistemas para Internet e Dispositivos MóveisUTFPR, 2015-02-24)
In order to aid in the interpretation, disambiguation and maintenance of models composed by UML were foundational ontologies proposals. And propose alternatives of syntactic modeling incorporated into ontologies, making ...
UML Profile for Mining Process: Supporting Modeling and Simulation Based on Metamodels of Activity Diagram
(Hindawi Publishing Corporation, 2014-02-04)
An UML profile describes lightweight extension mechanism to the UML by defining custom stereotypes, tagged values, and constraints. They are used to adapt UML metamodel to different platforms and domains. In this paper we ...
Using ALF within the CoSTest process for validation of UML-based conceptual schema
The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical ...
Extended UML stratecharts and product lines
(Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
"The study of variability in software development has become increasingly important in recent years. The research areas in which this is involved range from software specialization to product lines. A common mechanism to ...
Aspect-oriented modeling: Applying aspecs-oriented UML use cases and extending aspects-z
(SLOVAK ACAD SCIENCES INST INFORMATICS, DUBRAVSKA CESTA 9, 84237 BRATISLAVA, SLOVAKIA, 2013)
A Spin / Promela Application for Model checking UML Sequence Diagrams
UML sequence diagrams usually represent the behavior of systems execution. Automated verification of UML sequence diagrams’ correctness is necessary because they can model critical algorithmic behaviors of information ...
Desenvolvimento de sistemas com model driven architecture
(Universidade Tecnológica Federal do ParanáMedianeira, 2012-03-23)
This paper describes and performs a study on Model Driven Architecture (MDA). An approach to software development driven models featuring different levels of abstraction in order to separate the conceptual architecture of ...