Temat: UML modelling - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: UML Modelling in Rigorous Design Methodology for Discrete Controllers
Autorzy:: Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A.
Powiązania:: https://bibliotekanauki.pl/articles/227244.pdf
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification
Opis:: The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.
Źródło:: International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
2300-1933
Pojawia się w:: International Journal of Electronics and Telecommunications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Metodyka wykorzystania UML w projektowaniu mechatronicznym
Using UML in Design of Mechatronic Systems
Autorzy:: Mrozek, Z.
Powiązania:: https://bibliotekanauki.pl/articles/152454.pdf
Data publikacji:: 2002
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie mechatroniczne
język UML
mechatronika
mechatronic systems
Unified Modelling Language (UML)
Opis:: Przekazywanie informacji odgrywa istotną rolę w działaniu urządzeń mechatronicznych i może być łatwo przedstawione na diagramie UML. Zdaniem autora, terminologia i notacja używana w UML może być zaadoptowana do projektowania interdyscyplinarnych systemów mechatronicznych oraz jako narzędzie do sporządzania dokumentacji na wszystkich etapach projektowania.
Information transfer plays an important role in operation of mechatronic system. This can be easily presented on UML (Unified Modelling Language) diagrams. Author believes that terminology and notation of visual modelling with UML can be adopted as common language for design of the mechatronic systems and as documentation total on every design phase.
Źródło:: Pomiary Automatyka Kontrola; 2002, R. 48, nr 1, 1; 25-28
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Computer Aided Design of Mechatronic Systems
Autorzy:: Mrozek, Z.
Powiązania:: https://bibliotekanauki.pl/articles/908187.pdf
Data publikacji:: 2003
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: mechatronika
mechatronics
UML
physical modelling
Modelica
Dymola
Simulink
Stateflow
Opis:: Any successful company must react quickly to changing trends in the market. New products should be designed and manufactured quicker and cheaper than counter partners do. A shorter design time provides a distinct competitive advantage. The paper describes two approaches towards designing interdisciplinary mechatronic systems: the first is visual modelling with the UML, the second is physical modelling with Modelica.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2003, 13, 2; 255-267
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Konstrukcja diagramu klas UML z zastosowaniem Model-Driven Development
Construction of UML class diagram with Model-Driven Development
Autorzy:: Górski, T.
Sowa, M.
Powiązania:: https://bibliotekanauki.pl/articles/209524.pdf
Data publikacji:: 2016
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: Model-Driven Development
transformacje
Unified Modeling Language
Model analityczny/projektowy
diagram klas UML
diagram komunikacji UML
transformations
Unified Modelling Language
analysis/design model
UML class diagram
UML communication diagram
Opis:: Transformacje modeli odgrywają istotną rolę w projektach projektowania systemów informatycznych wykorzystujących Model-Driven Development (MDD). Pozwalają automatyzować powtarzalne i dobrze określone czynności, przez co skracają czas projektowania oraz umożliwiają zmniejszenie liczby błędów. Wpodejściu obiektowym kluczowymi elementami są przypadki użycia. Są one opisywane, modelowane, a później projektowane, aż uzyskiwany jest działający kod aplikacji. W artykule przedstawiono transformację Communication-2-Class umożliwiającą automatyzację konstrukcji diagramu klas języka Unified Modeling Language (UML) tworzonego w realizacji przypadku użycia w ramach modelu analitycznego/projektowego. Diagram klas UML tworzony jest na podstawie diagramu komunikacji UML dla realizacji przypadku użycia. Dzięki temu diagram klas przedstawia wszystkie klasy zaangażowane w realizację przypadku użycia i związki między nimi. Wtyczka realizująca transformację Communication-2-Class została zrealizowana w środowisku IBMRational Software Architect. W artykule przedstawiono także wyniki testów opracowanej wtyczki realizującej transformację Communication-2-Class pokazujące możliwości skrócenia czasu projektowania realizacji przypadku użycia.
Model transformations play a key role in software development projects based on Model-Driven Development (MDD) principles. Transformations allow for automation of repetitive and well-defined steps, thus shortening design time and reducing a number of errors. In the object-oriented approach, the key elements are use cases. They are described, modelled and later designed until executable application code is obtained. The aim of the paper is to present transformation of a model-to-model type, Communication-2-Class, which automates construction of Unified Modelling Language (UML) class diagram in the context of the analysis/design model. An UML class diagram is created based on UML communication diagram within use case realization. As a result, a class diagram shows all of the classes involved in the use case realization and the relationships among them. The plug-in which implements Communication-2-Class transformation was implemented in the IBMRational Software Architect. The article presents the tests results of developed plug-in, which realizes Communication-2-Class transformation, showing capabilities of shortening use case realization’s design time.
Źródło:: Biuletyn Wojskowej Akademii Technicznej; 2016, 65, 1; 111-129
1234-5865
Pojawia się w:: Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Transformacja diagramu aktywności UML w przepływ integracyjny BPEL
UML activity diagram transformation into BPEL integration flow
Autorzy:: Górski, T.
Ziemski, G.
Powiązania:: https://bibliotekanauki.pl/articles/211126.pdf
Data publikacji:: 2018
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: Web Services Business Process Execution Language
BPEL
Enterprise Service Bus
ESB
Unified Modelling Language
UML
diagram aktywności UML
Model-Driven Development
MDD
transformacje
UML activity diagram
transformation
Opis:: Rosnące zainteresowanie firm integracją oraz interoperacyjnością systemów informatycznych spowodowało wzrost znaczenia architektury usługowej (ang. Service-Oriented Architecture), która zapewnia narzędzia umożliwiające integrację aplikacji korporacyjnych (ang. Enterprise Application Integration). W tym sensie magistrala usług (ang. Enterprise Service Bus) zapewnia techniczne możliwości komunikacji między systemami informatycznymi. Kluczowym elementem w tej komunikacji są przepływy integracyjne. Cel: Celem artykułu jest przedstawienie nowej transformacji Integration2BPEL, która automatyzuje konstrukcję wykonywalnego przepływu integracyjnego wyrażonego w języku Web Services Business Process Execution Language (BPEL) na podstawie modelu tego przepływu przedstawionego na diagramie aktywności języka Unified Modeling Language (UML). Metoda: Autorzy proponują transformację typu model-to-code generującą przepływ integracyjny wyrażony w BPEL, który może być uruchamiany w dowolnym silniku procesów BPEL. Przepływ integracyjny modelowany jest za pomocą diagramu aktywności języka UML z użyciem stereotypów z profilu „UML Profile for Integration Flows” w środowisku IBM Rational Software Architect (RSA). Przy zastosowaniu transformacji Integration2BPEL generowany jest kompletny, wykonywalny przepływ integracyjny złożony z wielu mechanizmów mediacyjnych. Wygenerowany przepływ integracyjny uruchamiany był na magistrali usług OpenESB. Wyniki: Możliwość generacji kompletnego przepływu integracyjnego w BPEL, który bez żadnych uzupełnień może być uruchamiany na magistrali usług. Zautomatyzowana została faza implementacji przepływu integracyjnego. Każdy z przepływów integracyjnych implementowany jest według takich samych zasad. Ponadto, unika się dzięki temu błędów popełnianych przez projektantów i programistów. Wnioski: Wytwarzanie oprogramowania sterowane modelami (ang. Model-Driven Development) jest podejściem, które może prowadzić do automatyzacji fazy projektowania i programowania. Uzyskuje się wprowadzenie jednolitego mechanizmu konstrukcji przepływu integracyjnego.
The growing interest of companies in integration and interoperability between information systems has caused increase in significance of Service-Oriented Architecture which provides tools for Enterprise Application Integration. In that architecture, Enterprise Service Bus provides technical possibilities of communication between IT systems. A key element in the communication are integration flows. Objective: The aim of this article is to present a new transformation Integration2BPEL, which automates the development of executable integration flow expressed in the Web Services Business Process Execution Language (WS-BPEL) based on the model of the integration flow presented in the Unified Modelling Language (UML) activity diagram. Method: The author proposes a transformation of the type of model-to-code type which generates integration flow expressed in WS-BPEL, which can be executed in any BPEL-compliant process engine. The integration flow is modelled using UML activity diagram with stereotypes from ‘UML Profile for Integration Flows’ profile in an IBM Rational Software Architect (RSA). Using Integration2BPEL transformation a complete, executable integration flow is generated, which is composed of many mediation mechanisms. Generated integration flows have been executed on OpenESB. Results: The ability to generate a complete integration flow in BPEL, which without any additions can be run on enterprise service bus. Implementation phase of an integration flow construction was automated. Each of integration flows is implemented according to the same rules. In addition, it allows to avoid mistakes made by designers and programmers. Conclusions: Model-Driven Development is an approach that leads to the automation of the design and programming phases. Integration2BPEL transformation is a uniform mechanism to design integration flow. Potentially, it also allows to avoid implementation errors.
Źródło:: Biuletyn Wojskowej Akademii Technicznej; 2018, 67, 3; 15-45
1234-5865
Pojawia się w:: Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Risk Assessment for an Unmanned Merchant Ship
Autorzy:: Rødseth, Ø.J.
Burmeister, H.-C.
Powiązania:: https://bibliotekanauki.pl/articles/117079.pdf
Data publikacji:: 2015
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: risk assessment
Unmanned Merchant Ship
Formal Safety Analysis
Formal Safety Assessment (FSA)
Autonomous Underwater Vehicle (AUV)
Autonomous Ship Controller (ASC)
Risk Control
Unified Modelling Language (UML)
Opis:: The MUNIN project is doing a feasibility study on an unmanned bulk carrier on an intercontinental voyage. To develop the technical and operational concepts, MUNIN has used a risk-based design method, based on the Formal Safety Analysis method which is also recommended by the International Mari-time Organization. Scenario analysis has been used to identify risks and to simplify operational scope. Systematic hazard identification has been used to find critical safety and security risks and how to address these. Technology and operational concept testing is using a hypothesis-based test method, where the hypotheses have been created as a result of the risk assessment. Finally, the cost-benefit assessment will also use results from the risk assessment. This paper describes the risk assessment method, some of the most important results and also describes how the results have been or will be used in the different parts of the project.
Źródło:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2015, 9, 3; 357-364
2083-6473
2083-6481
Pojawia się w:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu
Autorzy:: Grobelny, M.
Powiązania:: https://bibliotekanauki.pl/articles/159311.pdf
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:: sieci Petriego
diagramy aktywności UML
transformacja
sterowanie
specyfikacja behawioralna sprzętu
Petri nets
UML activity diagrams
transformation
control process
hardware behavioural modelling
Opis:: Behavioural specification is one of the most important steps in embedded systems design. This phase play a key role cause in this step the shape and behaviour of the final product is established. The process can be realized with use of various technologies and tools supporting the phase. Two of the technologies supporting behavioural modelling are UML activity diagrams and Petri nets. The paper presents transformation of UML activity diagrams into control interpreted Petri nets. Transformation is targeted for project in which both technologies are used in parallel. The system described in the paper is realized as a bridge between mentioned modelling technologies fully supporting automation of the transformation process. Moreover, the system enables use of additional techniques such as formal verification or hardware description language code generation.
Specyfikacja zachowania systemu jest jednym z kluczowych elementów procesu projektowania sterowników logicznych. Etap ten odrywa ważną rolę ze względu na fakt definiowania kształtu i sposobu zachowania docelowego produktu. Może ona zostać wykonana na wiele sposobów z wykorzystaniem różnych narzędzi wspomagających ten proces. Jednymi z technologii, w których istnieje możliwość opisu zachowania docelowego urządzenia, są diagramy aktywności języka UML i sieci Petriego. Artykuł przedstawia koncepcję transformacji pomiędzy diagramami aktywności języka UML a interpretowanymi sieciami Petriego sterowania. Transformacja dedykowana jest dla projektów, w których inżynierowie wykorzystuję obie wspomniane technologie. Dodatkowo omówiony w artykule system do transformacji ma na celu stworzenie mostu pomiędzy obiema technologiami w pełni automatyzując proces przemieszczania się pomiędzy nimi. Umożliwia on także wykorzystanie dodatkowych narzędzi wspomagających proces projektowania, takich jak formalna weryfikacji czy generowanie kodu w językach opisu sprzętu.
Źródło:: Prace Instytutu Elektrotechniki; 2011, 251; 87-95
0032-6216
Pojawia się w:: Prace Instytutu Elektrotechniki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: UML – punkt widzenia studenta uczelni technicznej w Lublinie
Autorzy:: Ulidowski, Adam
Wrzos, Jan
Włodarczyk, Bartłomiej
Krocz, Krzysztof
Drozd, Patryk
Żyła, Kamil
Powiązania:: https://bibliotekanauki.pl/articles/98232.pdf
Data publikacji:: 2019
Wydawca:: Politechnika Lubelska. Instytut Informatyki
Tematy:: UML
software engineering
information system modelling
survey
inżynieria oprogramowania
modelowanie systemów informatycznych
ankieta
Opis:: Unified Modeling Language (UML) is a commonly known OMG (Object Management Group) standard for designing software systems. However, practice shows that the usage of UML varies depending on the specificity of a software system and company. The authors decided to explore the perspective of students with experience in using UML by conducting an exploratory survey with them. Analysis of the data gathered revealed that they use UML diagrams as an additional help when developing software. The main risk turned out to be different diagram interpretations. At last, the main motivation to learn UML was obtaining a credit at university.
Unified Modeling Language (UML) jest powszechnie nauczanym i stosowanym standardem Object Management Group (OMG) służącym do opisu systemów informatycznych. Jednakże praktyka pokazuje, że użyteczność UML waha się w zależności od specyfiki projektu i systemu informatycznego. Autorzy zdecydowali się przeprowadzić ankietę badającą opinie studentów, mających styczność z językiem UML, na temat wykorzystania wykonanych w nim diagramów. Analiza zebranych ankiet wykazała, że diagramy UML pełnią zazwyczaj rolę pomocniczą, głównym ryzykiem ich użycia są różnice w ich interpretacji, a główną motywacją do nauki jest uzyskanie zaliczenia na uczelni.
Źródło:: Journal of Computer Sciences Institute; 2019, 13; 279-282
2544-0764
Pojawia się w:: Journal of Computer Sciences Institute
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach
Autorzy:: Kerkouche, E.
Bourennane, E. B.
Chaoui, A.
Powiązania:: https://bibliotekanauki.pl/articles/953066.pdf
Data publikacji:: 2018
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: embedded systems
hardware-software codesign
STARSoC tool
UML
model driven engineering
Eclipse modelling project
Opis:: Background : Due to the increasing complexity of embedded systems, system designers use higher levels of abstraction in order to model and analyse system performances. STARSoC (Synthesis Tool for Adaptive and Reconfigurable System-on-Chip) is a tool for hardware/software co-design and the synthesis of System-on-Chip (SoC) starting from a high level model using the StreamsC textual language. The process behaviour is described in the C syntax language, whereas the architecture is defined with a small set of annotation directives. Therefore, these specifications bring together a large number of details which increase their complexity. However, graphical modelling is better suited for visualizing system architecture. Objectives : In this paper, the authors propose a graphical modelling editor for STARSoC design tool which allows models to be constructed quickly and legibly. Its intent is to assist designers in building their models in terms of the UML Component-like Diagram, and in the automatic translation of the drawn model into StreamsC specification. Methods : To achieve this goal, the Model-Driven Engineering (MDE) approach and well-known frameworks and tools on the Eclipse platform were employed. Conclusion : Our results indicate that the use of the Model-Driven Engineering (MDE) approach reduces the complexity of embedded system design, and it is sufficiently flexible to incorporate new design needs.
Źródło:: e-Informatica Software Engineering Journal; 2018, 12, 1; 9-26
1897-7979
Pojawia się w:: e-Informatica Software Engineering Journal
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
Autorzy:: Grobelny, M.
Grobelna, I.
Powiązania:: https://bibliotekanauki.pl/articles/156952.pdf
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: diagramy aktywności UML
sieci Petriego sterowania
modelowanie behawioralne
metody formalnej weryfikacji
UML activity diagrams
control Petri nets
behavioral modelling
formal verification methods
Opis:: Proces specyfikacji zachowania odgrywa istotną rolę z powodu określania na tym etapie cech i sposobu funkcjonowania sterownika logicznego. W artykule omówione zostały dwie metody graficznego specyfikowania zachowania sterowników logicznych - diagramy aktywności języka UML 2.x oraz sieci Petriego sterowania. Zaproponowana została metoda transformacji hierarchicznych diagramów aktywności do hierarchicznych sieci Petriego. Dzięki przedstawionej metodzie możliwe jest połączenie zalet obu typów graficznego opisu specyfikacji urządzeń. Dodatkowo, zaproponowana została metoda formalnej weryfikacji hierarchicznej formy specyfikacji umożliwiająca wykrycie potencjalnych błędów na tym wczesnym etapie projektu.
Behavior specification is one of the most important steps in embedded systems design. It plays a significant role because system properties and functionality are specified in this phase. There exist some techniques which can be helpful for a designer. In the paper two methods for graphical specification of logic controller behavioral specification [1, 2, 6], namely UML 2.x activity diagrams [10] and control Petri nets [11], are considered. A novel transformation method for transformation of hierarchical activity diagrams into hierarchical Petri nets is proposed. The presented method allows combining the advantages of both types of graphical system specification. Additionally, a formal verification method for hierarchical specification form is proposed. It enables detecting potential errors at early stage of system development. Hierarchical form of specification is commonly used in design process. Activity diagrams can include complex actions (Fig. 1) which describe some subprocesses. Petri nets also support hierarchy, but it can be realized in two different forms [9] - as macroplaces or macrotransitions (Fig. 2). According to the transformation method from [3, 8], actions in activity diagrams are interpreted as transitions in Petri net. In hierarchical processes by means of Petri nets two elements, macrotransitions (Fig. 3) and macroplaces (Fig. 4), have to be considered. The macroplace (Fig. 5a) can be surrounded by two transitions (Fig. 5b), decomposed (Fig. 5c), and finally compressed to macrotransition (Fig. 5d), then transformed into complex activity in an UML 2.x activity diagram (Fig. 5e). Verification of both considered specification forms [3] allows comparing two versions of the same behavior description. The model checking technique [4] can be used to verify the whole system or a part of it. Partial verification can be used for hierarchical specifications, as the verification process can be performed step by step (Fig. 6).
Źródło:: Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 729-732
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "UML modelling" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język