Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105638069> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2105638069 abstract "Over the last ten years, as the use of programming languages increased with a corresponding increase in the effort spent for building parallel machines, the importance of Petri nets grow. During this period Petri nets have been widely used for the specification, design and verification of nonsequential systems, and lots of effort has been spent for the development of software tools supporting Petri nets. Examples include the GRASPIN software engineering environment which supports Petri nets for graphical representation and formal specification of nonsequential systems [5], different net editors, etc.Since about one year we have started to use Petri nets in order to describe the semantics of object oriented languages (O-O for short), and in particular as a semantic model of the most representative O-O language, namely Smalltalk-80 [1]. Recent attempts towards possible extensions of Smalltalk-80 with concurrency have shown that semantic models of Smalltalk-80 like the above presented here, are not only useful for compiler writers, but their aid also towards identification and control of concurrency in the existing Smalltalk-80 systems; to specify possible computational models for a concurrent Smalltalk-80; and to indicate a possible semantic model for O-O distributed databases. Finally, since Petri nets provide the necessary theory for verification purposes, such a semantic model can be utilised for the verification of Smalltalk-80 programs as well.Main objective of this paper is to give an outline of the semantic function, described in next section. Subsequentialy, we discuss very short how the semantic function can be used for concurrency identiffication and control, and program verification.For the ongoing discussion we suppose that the reader is familiar with basic notions from Petri net theory [2, 3, 4]." @default.
- W2105638069 created "2016-06-24" @default.
- W2105638069 creator A5041953506 @default.
- W2105638069 date "1988-01-01" @default.
- W2105638069 modified "2023-09-27" @default.
- W2105638069 title "Modeling the semantics of smalltalk-80 with Petri nets" @default.
- W2105638069 cites W1770006921 @default.
- W2105638069 cites W192053091 @default.
- W2105638069 cites W1997422892 @default.
- W2105638069 doi "https://doi.org/10.1145/67386.67430" @default.
- W2105638069 hasPublicationYear "1988" @default.
- W2105638069 type Work @default.
- W2105638069 sameAs 2105638069 @default.
- W2105638069 citedByCount "0" @default.
- W2105638069 crossrefType "proceedings-article" @default.
- W2105638069 hasAuthorship W2105638069A5041953506 @default.
- W2105638069 hasConcept C115903868 @default.
- W2105638069 hasConcept C169590947 @default.
- W2105638069 hasConcept C184337299 @default.
- W2105638069 hasConcept C193702766 @default.
- W2105638069 hasConcept C199360897 @default.
- W2105638069 hasConcept C2777293101 @default.
- W2105638069 hasConcept C38677869 @default.
- W2105638069 hasConcept C41008148 @default.
- W2105638069 hasConcept C73752529 @default.
- W2105638069 hasConceptScore W2105638069C115903868 @default.
- W2105638069 hasConceptScore W2105638069C169590947 @default.
- W2105638069 hasConceptScore W2105638069C184337299 @default.
- W2105638069 hasConceptScore W2105638069C193702766 @default.
- W2105638069 hasConceptScore W2105638069C199360897 @default.
- W2105638069 hasConceptScore W2105638069C2777293101 @default.
- W2105638069 hasConceptScore W2105638069C38677869 @default.
- W2105638069 hasConceptScore W2105638069C41008148 @default.
- W2105638069 hasConceptScore W2105638069C73752529 @default.
- W2105638069 hasLocation W21056380691 @default.
- W2105638069 hasOpenAccess W2105638069 @default.
- W2105638069 hasPrimaryLocation W21056380691 @default.
- W2105638069 hasRelatedWork W1550457882 @default.
- W2105638069 hasRelatedWork W1703772308 @default.
- W2105638069 hasRelatedWork W1962435249 @default.
- W2105638069 hasRelatedWork W1963992551 @default.
- W2105638069 hasRelatedWork W2023385229 @default.
- W2105638069 hasRelatedWork W2076749639 @default.
- W2105638069 hasRelatedWork W2086320433 @default.
- W2105638069 hasRelatedWork W2094669270 @default.
- W2105638069 hasRelatedWork W2104355381 @default.
- W2105638069 hasRelatedWork W2114539492 @default.
- W2105638069 hasRelatedWork W2122696369 @default.
- W2105638069 hasRelatedWork W2127339343 @default.
- W2105638069 hasRelatedWork W2127587986 @default.
- W2105638069 hasRelatedWork W2145391336 @default.
- W2105638069 hasRelatedWork W2155584071 @default.
- W2105638069 hasRelatedWork W2158099024 @default.
- W2105638069 hasRelatedWork W2160541786 @default.
- W2105638069 hasRelatedWork W2347258106 @default.
- W2105638069 hasRelatedWork W2539724316 @default.
- W2105638069 hasRelatedWork W2785325333 @default.
- W2105638069 isParatext "false" @default.
- W2105638069 isRetracted "false" @default.
- W2105638069 magId "2105638069" @default.
- W2105638069 workType "article" @default.