Wyniki wyszukiwania - BazTech

1

Nowoczesne trendy w oprogramowaniu dla górnictwa

Choma Z., Kral P.

Wiadomości Górnicze

|

2012

|

R. 63, nr 7-8

418-421

PL

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.

EN

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.

2

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

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

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2010

|

T. 14, z. 3/2

893-903

PL

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.

EN

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.

3

Service oriented modeling and implementing of business processes on the Sybase platform

Gruber J., Brzozowski T.

Prace Naukowe Instytutu Informatyki Stosowanej Politechniki Wrocławskiej

|

2007

|

Nr 8

105-120

EN

For the last few years Sybase Company [SYB] proved its commitment to improving business modeling by creating integrated infrastructure for modeling enterprise businesses. Thanks to the in corporation of Service Oriented Architecture (SOA), Web services and business process execution languages, Sybase has significantly extended business modeling in almost every direction. This article is intended to provide a short survey of Sybase approach, examining its usage and related key aspects - among them: defining static and dynamic view of business organization, implementing business processes by specifying external services and deploying processes to a target execution platform, which allows orchestration and execution simulation.

PL

Korporacja Sybase ma od pewnego czasu znaczący udział w rozwoju metodyk i narzędzi do modelowania procesów biznesowych w systemach IT. Zbudowano zintegrowaną infrastrukturę do modelowania procesów biznesowych w skali przedsiębiorstwa lub organizacji. Dzięki wbudowaniu w tę infrastrukturę architektury zorientowanej na usługi SOA, Web serwisów oraz języków przetwarzania procesów biznesowych, Sybase znacząco rozszerzył modelowanie biznesowe w prawie wszystkich kierunkach i aspektach. Celem niniejszej pracy jest dokonanie zwięzłego przedstawienia podejścia firmy Sybase do zagadnień modelowania biznesowego oraz ocena użyteczności podejścia i takich kluczowych aspektów jak: definiowanie statycznego i dynamicznego spojrzenia na organizację biznesu, implementację procesów poprzez specyfikowanie usług zewnętrznych i rozmieszczania procesów na docelowych platformach i systemach przetwarzających, co w wyniku umożliwia orkiestrację i symulowanie procesu przetwarzania. Przedstawiono studium przypadku do objaśnienia aspektów, na które położono nacisk w natywnych rozwiązaniach proponowanych przez firmę Sybase.