Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: SOA architecture

Sortuj według:

Ogranicz wyniki do:

Nowoczesne trendy w oprogramowaniu dla górnictwa

100%

Choma Z. , Kral P.

Wiadomości Górnicze

2012

tom R. 63, nr 7-8

418-421

W artykule opisano najnowsze trendy wytwarzania oprogramowania będące przedmiotem badań w Pionie Innowacji i Rozwoju w COIG SA. Opisano ewolucję podejścia do integracji aplikacji - od monolitycznych i zamkniętych „czarnych skrzynek" do modułowego środowiska integracyjnego opartego o architekturę SOA i korporacyjną szynę danych. Przedstawione zostały zalety takiego podejścia oraz przykłady praktycznego zastosowania z wykorzystaniem oprogramowania IBM WebSphere Process Server. Opisano lekką linię technologiczną opracowaną przez zespół pracowników Pionu Innowacji i Rozwoju COIG SA.

The article describes the latest trends in software development which are the subject of research in the Division of Innovation and Development in COIG SA. It describes the evolution of approaches to application integration - from monolithic and closed, „black boxes" to a modular integration environment based on SOA architecture and corporate data bus. The article presented the advantages of this approach and the examples of practical application with the use of IBM WebSphere Process Server software. It also described light technological line developed by a team of employees from the Innovation and Development Division of COIG SA.

Weryfikacja aktywności systemów modelowanych na bazie architektury SOA - prowadzona w oparciu o wymagania zadane diagramami przypadków użycia

58%

Klimek R. , Skrzyński P. , Turek M.

2010

tom T. 14, z. 3/2

893-903

Artykuł porusza zagadnienia formalnej weryfikacji wymagań dla tzw. systemów biznesowych, wyrażonych przez model przypadków użycia oraz scenariuszy przypadków użycia UML. Zaproponowana została metodologia opisująca przejście od diagramów przypadków użycia do diagramów aktywności. Do specyfikacji żądanych własności systemu została wykorzystana logika temporalna. Własności tak zakodowane mogą być następnie poddawane procesom weryfikacji z wykorzystaniem wnioskowania dedukcyjnego metodą tablic semantycznych. Zaproponowane zostały metody pozyskiwania formuł logiki temporalnej bezpośrednio ze scenariuszy przypadków użycia zapisanych w diagramach czynności UML.

The article discusses the issue of f formal requirements verification for so-called "business systems" - expressed through an UML Use-Case model and Use-Case scenarios. A methodology for transformation of UML Use-Case diagrams to Activity diagrams has been described. To specify advanced system requirements a temporal logic notation was used. These requirements (encoded in such way) could be verified with a deductive inference based on semantic tables. The methods for obtaining temporal logic formulas directly from Use-Case scenarios stored in the UML Activity diagrams have also been introduced.