About: Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://link.springer.com/chapter/10.1007%2F978-3-319-08156-4_36
Description	In the last decades we have got used to software applications and services being everywhere and working for us, improving our lives. Even though sometimes they fail to work as desired. The situation may be caused by many root causes including mainly web network overload, data outages, etc. Even though the computer science world offers many specification methods, standards, generic software processes, best practices and languages, the problem is still here. Formal based models and tools are not widely used because they are not intuitive. Instead of that semiformal models are used. Main problem is then its lack of truly formal definition. This paper presents conversion process of UML activity diagram to the CPN that is formally defined modeling language. Goal of this paper is to introduce modeling and conversion method and the software tool that is based on intuitive mapping rules. Springer International Publishing Switzerland 2014. In the last decades we have got used to software applications and services being everywhere and working for us, improving our lives. Even though sometimes they fail to work as desired. The situation may be caused by many root causes including mainly web network overload, data outages, etc. Even though the computer science world offers many specification methods, standards, generic software processes, best practices and languages, the problem is still here. Formal based models and tools are not widely used because they are not intuitive. Instead of that semiformal models are used. Main problem is then its lack of truly formal definition. This paper presents conversion process of UML activity diagram to the CPN that is formally defined modeling language. Goal of this paper is to introduce modeling and conversion method and the software tool that is based on intuitive mapping rules. Springer International Publishing Switzerland 2014. (en)
Title	Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN (en)
skos:prefLabel	Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN (en)
skos:notation	RIV/61989100:27240/14:86090974!RIV15-MSM-27240___
http://linked.open...avai/riv/aktivita	S
http://linked.open...avai/riv/aktivity	S
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Czopik, Jan Štolfa, Svatopluk Košinár, Michal Štolfa, Jakub
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
http://linked.open...dnocenehoVysledku	17248
http://linked.open...ai/riv/idVysledku	RIV/61989100:27240/14:86090974
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	UML; software process; formalization; formal methods; CPN; Activity Diagram (en)
http://linked.open.../riv/klicoveSlovo	CPN formal methods UML formalization software process Activity Diagram
http://linked.open...ontrolniKodProRIV	[E0B3E471D4A8]
http://linked.open...v/mistoKonaniAkce	Ostrava
http://linked.open...i/riv/mistoVydani	Berlin Heidelberg
http://linked.open...i/riv/nazevZdroje	Advances in Intelligent Systems and Computing. Volume 303
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/tvurceVysledku	Štolfa, Svatopluk Štolfa, Jakub Czopik, Jan Košinár, Michael Alexander
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000342841800036
http://linked.open.../riv/zahajeniAkce	2014-06-23 (xsd:date)
issn	2194-5357
number of pages	10 (xsd:int)
http://bibframe.org/vocab/doi	10.1007/978-3-319-08156-4_36
http://purl.org/ne...btex#hasPublisher	Springer-Verlag. (Berlin; Heidelberg)
https://schema.org/isbn	978-3-319-08155-7
http://localhost/t...ganizacniJednotka	27240

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software