Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 8

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
In this paper we describe SOAROAD (SOA Related Ontology of Architectural Decisions), which was developed to support evaluation of architectures of information systems using SOA technologies. The main goal of the ontology is to provide constructs for documenting service-oriented architectures, however, it is designed to support future reasoning. Building the ontology we focused on the reąuirements of Architecture Tradeoff Analysis Method (ATAM) which was chosen as reference methodology for architecture evaluation.
PL
W pracy opisano ontologię SOAROAD opracowaną, jako wsparcie dla oceny architektur oprogramowania wykorzystującego technologie związane z SOA. Głównym jej celem jest zdefiniowanie pojęć pozwalających na udokumentowanie decyzji projektowych w architekturach zorientowanych na usługi, jednakże jest ona skonstruowana w ten sposób, by umożliwić przyszłe wnioskowanie. Tworząc ontologię skupiono się na wymaganiach metody ATAM, ponieważ została ona wybrana jako referencyjna metoda oceny architektur.
PL
W opracowaniu przedstawiono zagadnienie rozwoju, wytwarzania i wdrożenia oprogramowania korporacyjnego. W takim procesie ważne jest, aby współpraca pomiędzy przedsiębiorstwem rozwijającym oprogramowanie a przedsiębiorstwem, w którym to oprogramowanie było wdrażane, była bardzo efektywna. Na podstawie modeli korporacyjnych obu przedsiębiorstw można odwzorowywać model współpracy pomiędzy przedsiębiorstwami. W pracy przedstawiono w skrócie metodykę, która ma za zadanie rozwój oprogramowania korporacyjnego na bazie powiązań synergetycznych pomiędzy przedsiębiorstwami. Metodyka w zamierzeniu ma integrować najlepsze rozwiązania z dziedziny modelowania korporacyjnego, architektur zorientowanych na usługi oraz modeli wdrażania oprogramowania.
EN
The paper presents the problem of the development, production and deployment of enterprise software. The success of this process relies on effective cooperation between a company developing software and enterprise in which software is to be deployed. A model of cooperation between enterprises can be developed on the basis of corporate models of both companies. The paper outlines the methodology for corporate software development based on the synergetic relationships between the companies. The methodology is intended to integrate the best solutions in the field of corporate modeling, service-oriented architectures and software deployment models.
PL
W ostatnich latach obserwuje się wzrost zainteresowania przedsiębiorstw informatycznych zwinnymi metodykami zarządzania projektami. Najbardziej popularną pod względem liczby wdrożeń jest obecnie metodyka Scrum. Celem pracy jest budowa ontologicznego modelu tej metodyki, który może zostać zastosowany, jako model referencyjny przy ocenie jej wdrożeń oraz do porównań z innymi metodykami, np.: klasycznymi. W architekturze ontologii Scrum wyróżniono cztery najważniejsze kategorie klas: artefakty, role, zdarzenia oraz procesy. Identyfikacja procesów Scrum jest próbą odniesienia do modelu procesowego metodyk klasycznych reprezentowanych przez PMBOK.
EN
The paper presents an ontological model of Scrum, the most popular agile methodology of project management. The Scrum ontology can be used as a reference model helping to assess its implementation in enterprises or as the subject of comparison with other methodologies, e.g. classic ones. The Scrum ontology contains four main class categories: Artifacts, Roles, Events and Processes. Identification of processes is an attempt to find common base for future comparison with process model of the classical methodology PMBOK.
PL
W artykule zaprezentowano ontologiczny model klasycznej metodyki zarządzania projektami PMBOK. Stworzona ontologia pozwala sformalizować i usystematyzować wiedzę na temat standardu PMBOK. Zidentyfikowano najważniejsze kategorie klas występujących w PMBOK: Artifact, Role, Process oraz ProjectFramework. Zaprezentowano oraz omówiono główne klasy tworzące szkielet generowanej ontologii.
EN
The paper presents an ontological model of the PMBOK, classical methodology of project management. The PMBOK ontology contains four main class categories: Artifacts, Roles, Processes and Project Framework. Presented and discussed major classes forms the skeleton of constructed ontology.
EN
For IT enterprises running projects in different heterogeneous environments building hybrid models integrating classical and agile project management methodologies is considered as the very important issue. The paper discusses the problem of alignment of two project management methodologies: classical represented by PMBOK and agile represented by Scrum. The presented approach consists in building ontological models of both methodologies and performing ontology matching to find or justify mappings between concepts. We focus on modeling and matching of time related behavior in project for both methodologies.
PL
Współczesne przedsiębiorstwa branży IT poszukują rozwiązań z dziedziny zarządzania projektami polegających na integracji metodyk klasycznych i zwinnych. W artykule analizowany jest problem integracji dwóch metodyk: klasycznej reprezentowanej przez PMBOK ora zwinnej reprezentowanej przez Scrum. Zaproponowane podejście polega na budowie ontologicznych modeli obu metodyk oraz przeprowadzeniu uzgadniania ontologii, aby znaleźć lub potwierdzić zaproponowane odwzorowania pojęć. W artykule skupiono się na zagadnieniach modelowania i uzgadniania pojęć definiujących relacje czasowe w obu metodykach.
PL
W artykule opisano zastosowanie języka formalnej specyfikacji LOTOS do wspomagania systematycznej analizy poprawności. Scharakteryzowano możliwości tego języka (tzw. style projektowe), jak również opisano koncepcję analizy poprawności. Przedstawiono również ramowe algorytmy analizy poprawności z wykorzystaniem pakietu CADP.
EN
An application of LOTOS formal specification language for systematic correctness verification support is described in the paper. Basic possibilities (the so-called design frameworks) of this language are described, as well as the correctness concept is discussed. General algorithms for the correctness analysis using CADP package are also described.
8
Content available remote Tworzenie aplikacji czasu rzeczywistego z zastosowaniem pakietu ControlShell
PL
W artykule przedstawiono elementy pakietu ControlShell oraz sposób jego wykorzystania przy tworzeniu programów czasu rzeczywistego. Aplikacja jest opisywana przez dwa typy modeli: diagram przepływu danych i maszynę skończenie stanową. Specyfikacja tego typu jest implementowana w technologii obiektowej. Pokazano hierarchie klas wykorzystywanych w implementacji oraz opisano etapy tworzenia oprogramowania z wykorzystaniem pakietu.
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ć.