- citati u SCIndeksu: 0
- citati u CrossRef-u:0
- citati u Google Scholaru:[
]
- posete u poslednjih 30 dana:0
- preuzimanja u poslednjih 30 dana:0
|
|
2004, vol. 3, br. 9, str. 25-31
|
Polazne pretpostavke ontologije Petri mreža zasnovane na formatu Petri mreža
Petri net ontology starting points based on Petri net formats
aVojna akademija, Beograd bUniverzitet u Beogradu, Fakultet organizacionih nauka, Srbija
Sažetak
U radu su izložene osnovne smernice za pravljenje ontologije Petri mreža koja treba da omogući njihovo korišćenje na Sematičkom Web-u. Postojeća rešenja koja tretiraju opisivanja modela Petri mreža se bave definicijama formata, a osnovni cilj toga je da se dobije sintaksa kojom će razmenjivati modeli između različitih softverskih rešenja Petri mreža. Prva vrsta rešenja su definicije tekstualnih formata (DaNAMiCS) ili formata zasnovanih na XML-u (Renew) koji su specifični za određeni softver. Druga vrsta rešenja predlaže definiciju univerzalne sintakse za razmenu modela, a primeri su: Apstraktana notacija Petri mreža (definicija u BNF notaciji) i Petri Net Markup Language (XML definisan). Osnovni nedostatak ovih rešenja je što se u prvi plan ističe sintaksa, a zanemaruje se da ona služi za razmenu konceptualnog modela Petri mreža. Polazeći od pretpostavke da je sintaksa samo medijum za prenos semantike, u radu su analizirani osnovni koncepti i njihove veze, koji su opisani u postojećim formatima Petri mreža. Smernice dobijene za ontologiju na osnovu sprovedene analize su predstavljene pomoću UML modela.
Abstract
This paper presents basic guidelines for building Petri net ontology, which should enable using Petri nets on the Semantic Web. Available Petri net model descriptions give format definitions. Their main objective is to provide the syntax for sharing Petri net models between different applications. Some of these applications are software-specific and provide either text-based format definitions (e.g., DaNAMiCS) or XML-based format definitions (e.g., Renew). Another kind of such applications proposes a universal syntax definition for model sharing, for example Abstract Petri net notation (BNF definition) and Petri Net Markup Language (XML definition). The main drawback of these solutions is their emphasis on syntax per se, ignoring the fact that syntax represents means for sharing semantics of Petri net models. Assuming that syntax is just a medium for model transportation, this paper considers the basic concepts and their relationships in existing Petri net formats. The ontology guidelines we present are based on an analysis of such formats and are represented using UML.
|
|
|
Reference
|
|
*** (2002) Petri Nets Tools Database. http://www.daimi.au.dk/PetriNets/tools/db.html
|
|
Baclawski, K., i dr. (2002) Extending the unified modeling language for ontology development. Software and Systems Modeling, vol. 1, br. 2, pp 142-156
|
|
Bause, F., i dr. (1995) Abstract petri net notation. Petri Net Newsletter, br. 49, pp 9-27
|
|
Berthelot, G., i dr. (1988) A syntax for the description of Petri Nets. Petri Net Newsletter, br. 29, pp 4-15
|
2
|
Carlson, D. (2001) Modeling XML applications whit UML: Practical e-business applications. Reading, MA, itd: Addison-Wesley
|
|
Cranefield, S. (2001) Networked knowledge representation and exchange using UML and RDF. Journal of Digital information, vol. 1, br. 8, http://jodi.ecs.soton.ac.Uk
|
|
Fallside, D. (2001) XML Schema Part 0: Primer. W3C Recommendation. http://www.w3.org/TR/2001/REC-xmlschema-0-20010502
|
1
|
Gašević, D., Devedžić, V. (2003) Software support for teaching Petri nets: P3. u: Proceedings of the 3rd IEEE International Conference on Advanced Learning Technologies, Athens, July, 9-11, str. 300-301
|
2
|
Gruber, T.R. (1993) A translation approach to portable ontology specifications. Knowledge Acquisition, vol. 5, br. 2, str. 199-220
|
1
|
Jungel, M., Kindler, E., Weber, M. (2000) The Petri Net Markup Language. u: Philippi Stephan [ur.] 7. Workshop Algorithmen und Werkzeuge für Petrinetze, Universität Koblenz-Landau, Germany, June 2000, str. 47-52, http://www.informatik.hu-berlin.de/top/pnml/download/JKW_PNML.ps
|
|
Jungel, M., i dr. (2000) Towards a generic interchange format for petri nets. u: 21st International Conference on application and theory of petri nets, Denmark, meeting report, pp 1-5, Position paper
|
|
Kindler, E., Weber, M. (2001) The petri net kernel: An infrastructure for building petri net tools. u: Software tools for technology transfer, Berlin, itd: Springer Verlag, vol. 3, br. 4, pp 486-497
|
|
Kummer, O., i dr. 2001. Renew - XML format guide. http://www.renew.de
|
|
Kummer, O., Wienberg, F. (2000) The XML File Format of Renew. u: 21st International Conference on application and theory of petri nets, Denmark, meeting report, http://www.daimi.au.dk/pn2000/lnterchange/papers/det_04.ps.gz
|
1
|
Lassila, O., Swick, R. (1999) Resource description framework (RDF) model and syntax specification: W3C Recommendation. http://www.w3c.org/TR/REC-rdf-syntax
|
|
Noy, N.F., i dr. (2001) Creating semantic web contents with protégé 2000. IEEE Intelligent Systems, vol. 16, br. 2, str. 60-71
|
1
|
Peterson, J.L. (1981) Petri net theory and the modeling of systems. Englewood Cliffs, NJ, itd: Prentice Hall
|
|
Remi, B., i dr. (2000) Meeting on XML/SGML based interchange formats for petri nets. u: 21st International Conference on application and theory of petri nets, Denmark, meeting report
|
|
Robie, J. (2001) The syntactic Web syntax and semantics on the Web. u: Markup languages: Theory and practice, Cambridge, MA, itd: Massachusetts Institute of Technology Press / MIT Press, vol. 3, br. 4, str. 411-440
|
1
|
Weber, M., Kindler, E. (2003) The Petri Net Markup Language. u: Petri Net Technology for Communication Based Systems, Berlin, itd: Springer Verlag, LNCS br. 2472
|
|
|
|