About: Towards Formal Foundations for BORM ORD Validation and Simulation

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

About: Towards Formal Foundations for BORM ORD Validation and Simulation 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://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220/0004897603150322
Description	Business Object Relation Modelling (BORM) is a method for systems analysis and design that utilises an object oriented paradigm in combination with business process modelling. BORM’s Object Relation Diagram (ORD) is successfully used in practice for object behaviour analysis (OBA). We, however, identified several flaws in the diagram’s behaviour semantics. These occur mostly due to inconsistent and incomplete formal specification of the ORD behaviour. In this paper, we try to amend this gap by introducing so called input and output conditions, which we consider to be the most important first step towards a sound formal specification of the ORD. Business Object Relation Modelling (BORM) is a method for systems analysis and design that utilises an object oriented paradigm in combination with business process modelling. BORM’s Object Relation Diagram (ORD) is successfully used in practice for object behaviour analysis (OBA). We, however, identified several flaws in the diagram’s behaviour semantics. These occur mostly due to inconsistent and incomplete formal specification of the ORD behaviour. In this paper, we try to amend this gap by introducing so called input and output conditions, which we consider to be the most important first step towards a sound formal specification of the ORD. (en)
Title	Towards Formal Foundations for BORM ORD Validation and Simulation Towards Formal Foundations for BORM ORD Validation and Simulation (en)
skos:prefLabel	Towards Formal Foundations for BORM ORD Validation and Simulation Towards Formal Foundations for BORM ORD Validation and Simulation (en)
skos:notation	RIV/68407700:21240/14:00221078!RIV15-MSM-21240___
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	Podloucký, Martin Pergl, Robert
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	České vysoké učení technické v Praze / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	50824
http://linked.open...ai/riv/idVysledku	RIV/68407700:21240/14:00221078
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	BORM; ORD; Process Simulation; Process Analysis; Formal Foundations (en)
http://linked.open.../riv/klicoveSlovo	Process Analysis Process Simulation Formal Foundations ORD BORM
http://linked.open...ontrolniKodProRIV	[B0E5D7D3E259]
http://linked.open...v/mistoKonaniAkce	Lisbon
http://linked.open...i/riv/mistoVydani	Porto
http://linked.open...i/riv/nazevZdroje	Proceedings of the 16th International Conference on Enterprise Information Systems
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...UplatneniVysledku	2014
http://linked.open...iv/tvurceVysledku	Pergl, Robert Podloucký, Martin
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2014-04-27 (xsd:date)
number of pages	8 (xsd:int)
http://bibframe.org/vocab/doi	10.5220/0004897603150322
http://purl.org/ne...btex#hasPublisher	SciTePress - Science and Technology Publications
https://schema.org/isbn	978-989-758-028-4
http://localhost/t...ganizacniJednotka	21240

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