Matches in SemOpenAlex for { <https://semopenalex.org/work/W2180758079> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2180758079 abstract "Two methodologies and technologies are integrated in this paper: distributed object-oriented programming and visual programming with object-oriented Petri nets (OOPNs). Distributed object-oriented systems are represented by means of active objects, called actors. A formal specification of actors is achieved by means of OOPNs, which are based on colored Petri nets enriched by the object-oriented paradigm. We combine these methods into a single methodology for the formal specification of distributed systems with actors by means of OOPNs. OOPNs are based on viewing objects as active servers that offer re-entrant services to other objects. A class consists of an object net, describing the internal activity, and several method nets, describing the services the class provides to other classes." @default.
- W2180758079 created "2016-06-24" @default.
- W2180758079 creator A5061338054 @default.
- W2180758079 creator A5078944620 @default.
- W2180758079 date "2002-11-08" @default.
- W2180758079 modified "2023-10-18" @default.
- W2180758079 title "Specification of distributed systems with actors using object-oriented Petri nets" @default.
- W2180758079 doi "https://doi.org/10.1109/icsmc.2000.884480" @default.
- W2180758079 hasPublicationYear "2002" @default.
- W2180758079 type Work @default.
- W2180758079 sameAs 2180758079 @default.
- W2180758079 citedByCount "0" @default.
- W2180758079 crossrefType "proceedings-article" @default.
- W2180758079 hasAuthorship W2180758079A5061338054 @default.
- W2180758079 hasAuthorship W2180758079A5078944620 @default.
- W2180758079 hasConcept C115903868 @default.
- W2180758079 hasConcept C116253237 @default.
- W2180758079 hasConcept C120314980 @default.
- W2180758079 hasConcept C136155141 @default.
- W2180758079 hasConcept C154945302 @default.
- W2180758079 hasConcept C199360897 @default.
- W2180758079 hasConcept C2777212361 @default.
- W2180758079 hasConcept C2781238097 @default.
- W2180758079 hasConcept C38677869 @default.
- W2180758079 hasConcept C41008148 @default.
- W2180758079 hasConcept C49312422 @default.
- W2180758079 hasConcept C512554520 @default.
- W2180758079 hasConcept C73752529 @default.
- W2180758079 hasConcept C75606506 @default.
- W2180758079 hasConcept C81192388 @default.
- W2180758079 hasConceptScore W2180758079C115903868 @default.
- W2180758079 hasConceptScore W2180758079C116253237 @default.
- W2180758079 hasConceptScore W2180758079C120314980 @default.
- W2180758079 hasConceptScore W2180758079C136155141 @default.
- W2180758079 hasConceptScore W2180758079C154945302 @default.
- W2180758079 hasConceptScore W2180758079C199360897 @default.
- W2180758079 hasConceptScore W2180758079C2777212361 @default.
- W2180758079 hasConceptScore W2180758079C2781238097 @default.
- W2180758079 hasConceptScore W2180758079C38677869 @default.
- W2180758079 hasConceptScore W2180758079C41008148 @default.
- W2180758079 hasConceptScore W2180758079C49312422 @default.
- W2180758079 hasConceptScore W2180758079C512554520 @default.
- W2180758079 hasConceptScore W2180758079C73752529 @default.
- W2180758079 hasConceptScore W2180758079C75606506 @default.
- W2180758079 hasConceptScore W2180758079C81192388 @default.
- W2180758079 hasLocation W21807580791 @default.
- W2180758079 hasOpenAccess W2180758079 @default.
- W2180758079 hasPrimaryLocation W21807580791 @default.
- W2180758079 hasRelatedWork W1495102554 @default.
- W2180758079 hasRelatedWork W1497924817 @default.
- W2180758079 hasRelatedWork W16014793 @default.
- W2180758079 hasRelatedWork W1607402854 @default.
- W2180758079 hasRelatedWork W1608816011 @default.
- W2180758079 hasRelatedWork W2039293506 @default.
- W2180758079 hasRelatedWork W2089176624 @default.
- W2180758079 hasRelatedWork W2159246774 @default.
- W2180758079 hasRelatedWork W228814028 @default.
- W2180758079 hasRelatedWork W2573115399 @default.
- W2180758079 isParatext "false" @default.
- W2180758079 isRetracted "false" @default.
- W2180758079 magId "2180758079" @default.
- W2180758079 workType "article" @default.