PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  domain specific languages
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Type-driven development of concurrent communicating systems
100%
Brady E.
Computer Science
|
2017
|
tom Vol. 18 (3)
219--240
EN
Modern software systems rely on communication, for example mobile applcations communicating with a central server, distributed systems coordinaing a telecommunications network, or concurrent systems handling events and processes in a desktop application. However, reasoning about concurrent prgrams is hard, since we must reason about each process and the order in which communication might happen between processes. In this paper, I describe a type-driven approach to implementing communicating concurrent programs, using the dependently typed programming language Idris. I show how the type system can be used to describe resource access protocols (such as controlling access to a file handle) and verify that programs correctly follow those prtools. Finally, I show how to use the type system to reason about the order of communication between concurrent processes, ensuring that each end of a communication channel follows a defined protocol.
2
EARL - dziedzinowy język opisu systemów cyberfizycznych
75%
Winiarski T. , Seredyński D.
Prace Naukowe Politechniki Warszawskiej. Elektronika
|
2022
|
tom z. 197, t. 1
223-232
PL
Modelowanie jest jednym z podstawowych aspektów inżynierii. Dotyczy to w szczególności systemów cyberfizycznych, w tym robotycznych. W artykule zaprezentowano syntetyczny opis dziedzinowego języka opisu systemów cyberfizycznych – EARL (Embodied Agent-Based cybeR-physical Control Systems Modelling Language). Język ten opiera się na SysML (Systems Modelling Language) i służy przede wszystkim do modelowania systemów w sposób zgodny z teoria agentowa szkoły warszawskiej profesora Cezarego Zielińskiego. W artykule zamieszczono tak ̇ze wybrane praktyczne aspekty użycia EARL w modelowaniu konkretnych systemów.
EN
Modelling is one of the fundamental aspects of engineering. This is especially true for cyber-physical systems, including robotic systems. This paper presents a synthetic description of an EARL – Embodied Agent-Based cybeR-physical Control Systems Modelling Language. The language is based on SysML (Systems Modelling Language) and is used primarily to model systems in a manner consistent with the agent theory of the Warsaw school of Prof. Cezary Zieliński. The paper also includes selected practical aspects of using EARL in modelling specific systems.
3
Content available remote Języki specyfikacji w budowie oprogramowania dla metody elementów skończonych
75%
Grosser A.
Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie
|
2016
|
tom Nr 1(11)
1--11
PL
Tworzenie oprogramowania metodą elementów skończonych z wykorzystaniem tradycyjnych języków programowania wysokiego poziomu takich jak C++ czy Fortran wymaga często koncentracji na niskopoziomowych mechanizmach programistycznych takich jak na przykład ręczne zarządzanie pamięcią. Ponadto, oprócz bardzo dobrej znajomości użytego języka, konieczne jest też dostosowanie problemu do poziomu abstrakcji oferowanego przez ten język. Dlatego wygodniejszym podejściem jest użycie języków dostosowanych do rozpatrywanej dziedziny problemowej – języków specyfikacji. Artykuł prezentuje różne języki specyfikacji użyteczne do budowy oprogramowania dla metody elementów skończonych.
EN
Creating a finite element software using traditional, high-level programming languages, such as the C++ or Fortran, often requires concentration on low-level programming mechanisms such as, for example, manual memory management. In addition to very good knowledge of the used language, it is also necessary to adjust the problem to the level of abstraction offered by the language. Therefore, more convenient approach is to use language adapted to the present problem – domain specification language. The article presents different domain specific languages useful for building software for finite element method.
4
Content available remote Probabilistyczna analiza wykonań protokołów bezpieczeństwa
75%
Siedlecka-Lamch O.
Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie
|
2016
|
tom Nr 1(11)
43--51
PL
Artykuł porusza problem weryfikacji części protokołów komunikacyjnych dotyczącej zabezpieczenia uwierzytelniania i danych przesyłanych przez sieć. Przedstawiono probabilistyczną analizę wykonań protokołów bezpieczeństwa (przy wykorzystaniu automatów probabilistycznych) z uwzględnieniem pewnego, określonego, niewielkiego prawdopodobieństwa złamania/przejęcia kluczy szyfrujących. Poniższa analiza może umożliwić użytkownikom i administratorom sieci dobranie protokołów i poziomu bezpieczeństwa kluczy (siły ich szyfrowania) do realnych wymagań sieci i komunikacji.
EN
The article shows the communication protocol modelling problem (especially it's part connected with authentication and data security). The probabilistic executions analysis was shown (with use of the probabilistic automata model) taking into account certain, specific, small probability of breaking/interception of encryption keys. This type of analysis may provide users and network administrators protocols and level of security keys selection (strength of encryption) to the real requirements of network and communication.
5
Content available remote Budowa analizatorów języków specyfikacji z wykorzystaniem wyrażen parsujących
75%
Grosser A.
Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie
|
2014
|
tom Nr 1(7)
83--94
PL
Artykuł opisuje wykorzystanie gramatyk wyrażeń parsujących do budowy analizatorów języków specyfikacji. Przedstawiono charakterystykę gramatyk wyrażeń parsujących wraz z najważniejszymi zagadnieniami ich implementacji. Zaprezentowano także bibliotekę i język PegLi stosujący do opisu języków gramatyki parsujące. Pokazano także przykładowe języki specyfikacji stworzone z wykorzystaniem PegLi. Są to: prosty język opisu grafów i język dla zagadnień rozwiązywanych metodą elementów skończonych.
EN
This article presents the use of parsing expression grammars to construction analyzers domain specification languages. This paper presents the characteristics of parsing expression grammars, with the most important issues of their implementation. There is presented the library and language PegLi, which describes languages with parsing expression grammars. The article presents also examples of domain specific languages created using PegLi. These are: the simple graph description language and the language for the issues solved by finite element method.
6
Content available Środowisko projektowania systemów sterowania ruchem
63%
Dąbrowski W. , Stasiak A.
TTS Technika Transportu Szynowego
|
2013
|
tom R. 20, nr 10
1423--1435, CD
PL
Poprawne projektowanie systemów sterowania ruchem wymaga, przy obecnej ich złożoności, wsparcia konceptualnego i narzędziowego. Niniejsze praca przedstawia propozycję budowy środowiska projektowania systemów kontroli i sterowania ruchem TransCAD. Środowisko to bazuje na języku TransML, który jest specjalizowanym, dziedzinowym językiem dedykowanym do budowy systemów kontroli i nadzoru ruchu. Proponowane środowisko projektowe może stanowić wsparcie dla ekspertów dziedzinowych przy projektowaniu systemów nadzoru ruchu. Artykuł przedstawia koncepcję języka dziedzinowego TransML, wprowadza definicję reguł dziedzinowych zapisanych w sposób formalny w języku OCL i przedstawia środowisko projektowania TransCAD. Autorzy ilustrują koncepcję zastosowań środowiska na prostym przykładzie. Definiowanie reguł dziedzinowych (w postaci formuł OCL) daje możliwość weryfikacji poprawności budowanego modelu oraz automatyzacji procesów projektowania i budowy tego typu systemów. W artykule autorzy proponują też dalsze kierunki rozwoju i badań języka TransML i środowiska TransCAD.
EN
Proper design of complex control systems needs conceptual tools. This paper presents a proposal for the construction of design environment for control of traffic systems TransCAD . This environment is based on the language TransML, which is a specialized , domain centric language for experts in the field of traffic control systems. This paper presents the concept of TransML language , provides a definition of domain rules written in a formal language OCL and presents design environment TransCAD. The authors illustrate the concept uses a simple example. Defining the rules of domain (in the form of formulas OCL) provides the opportunity to verify the correctness of the model under construction and automation of the design and construction of such systems. In this paper the authors discuss future development of the language TransML and the environment TransCAD.
7
Content available remote Towards data quality runtime verification
63%
Bicevskis J. , Bicevska Z. , Nikiforova A. , Oditis I.
Annals of Computer Science and Information Systems
|
2019
|
tom Vol. 18
639--643
EN
This paper discusses data quality checking during business process execution by using runtime verification. While runtime verification verifies the correctness of business process execution, data quality checks assure that particular process did not negatively impact the stored data. Both, runtime verification and data quality checks run in parallel with the base processes affecting them insignificantly. The proposed idea allows verifying (a) if the process was ended correctly as well as (b) whether the results of the correct process did not negatively impact the stored data in result of its modification caused by the specific process. The desired result will be achieved by use of domain specific languages that would describe runtime verification and data quality checks at every stage of business process execution.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.