Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401954651> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2401954651 endingPage "116" @default.
- W2401954651 startingPage "97" @default.
- W2401954651 abstract "The context of this paper is given through a software engineering approach that uses Petri nets as executable code. We apply the particular understanding that Petri nets are not only used to model systems for design purposes but also to implement system components. Following this approach, we develop complex Petri net-based software applications according to the multi-agent paradigm. Agent-internal as well as agent-spanning processes are implemented directly as (high-level) Petri nets. These nets are essential parts of the resulting software application – alongside other parts (operational and declarative ones), which are implemented using traditional ways of programming. One of our goals is to open our Petri net-based agent framework Mulan/ Capa so that multi-agent applications can communicate and interoperate with other systems – especially with Web-based applications. For this cause, we present a gateway solution to enable Petri net-based applications to access Web services as well as to offer Web services to other applications: the WebGateway. Besides describing the WebGateway extension itself, we use its presentation to demonstrate the practicability of the Petri net-based software engineering approach in general. We emphasize two benefits: (1) Petri net models serve as conceptual models that progressively refine the constructed system from simple models to welldefined specifications of the systems. This improves the understanding of the systems. (2) Having essential parts of the software system being implemented with Petri nets allows to carry out (partial) verification of our application code by means of standard formal methods from the field of Petri net theory." @default.
- W2401954651 created "2016-06-24" @default.
- W2401954651 creator A5048139650 @default.
- W2401954651 creator A5063597550 @default.
- W2401954651 creator A5070523267 @default.
- W2401954651 creator A5081532494 @default.
- W2401954651 creator A5086037284 @default.
- W2401954651 date "2013-01-01" @default.
- W2401954651 modified "2023-09-23" @default.
- W2401954651 title "Integrating Web Services in Petri Net-based Agent Applications." @default.
- W2401954651 cites W113490037 @default.
- W2401954651 cites W1488034598 @default.
- W2401954651 cites W1503103776 @default.
- W2401954651 cites W1513710424 @default.
- W2401954651 cites W1519205521 @default.
- W2401954651 cites W1528826891 @default.
- W2401954651 cites W1540458757 @default.
- W2401954651 cites W1540501166 @default.
- W2401954651 cites W1578389145 @default.
- W2401954651 cites W1584457353 @default.
- W2401954651 cites W1592865568 @default.
- W2401954651 cites W1634168340 @default.
- W2401954651 cites W1697788292 @default.
- W2401954651 cites W1966147944 @default.
- W2401954651 cites W2001291669 @default.
- W2401954651 cites W2074536014 @default.
- W2401954651 cites W2119896671 @default.
- W2401954651 cites W2140385654 @default.
- W2401954651 cites W2170198522 @default.
- W2401954651 cites W2400271691 @default.
- W2401954651 cites W2495199414 @default.
- W2401954651 cites W3021856877 @default.
- W2401954651 cites W3021908873 @default.
- W2401954651 cites W69905209 @default.
- W2401954651 hasPublicationYear "2013" @default.
- W2401954651 type Work @default.
- W2401954651 sameAs 2401954651 @default.
- W2401954651 citedByCount "2" @default.
- W2401954651 countsByYear W24019546512015 @default.
- W2401954651 countsByYear W24019546512016 @default.
- W2401954651 crossrefType "journal-article" @default.
- W2401954651 hasAuthorship W2401954651A5048139650 @default.
- W2401954651 hasAuthorship W2401954651A5063597550 @default.
- W2401954651 hasAuthorship W2401954651A5070523267 @default.
- W2401954651 hasAuthorship W2401954651A5081532494 @default.
- W2401954651 hasAuthorship W2401954651A5086037284 @default.
- W2401954651 hasConcept C111919701 @default.
- W2401954651 hasConcept C115903868 @default.
- W2401954651 hasConcept C120314980 @default.
- W2401954651 hasConcept C136155141 @default.
- W2401954651 hasConcept C160145156 @default.
- W2401954651 hasConcept C199360897 @default.
- W2401954651 hasConcept C20136886 @default.
- W2401954651 hasConcept C35578498 @default.
- W2401954651 hasConcept C38677869 @default.
- W2401954651 hasConcept C41008148 @default.
- W2401954651 hasConceptScore W2401954651C111919701 @default.
- W2401954651 hasConceptScore W2401954651C115903868 @default.
- W2401954651 hasConceptScore W2401954651C120314980 @default.
- W2401954651 hasConceptScore W2401954651C136155141 @default.
- W2401954651 hasConceptScore W2401954651C160145156 @default.
- W2401954651 hasConceptScore W2401954651C199360897 @default.
- W2401954651 hasConceptScore W2401954651C20136886 @default.
- W2401954651 hasConceptScore W2401954651C35578498 @default.
- W2401954651 hasConceptScore W2401954651C38677869 @default.
- W2401954651 hasConceptScore W2401954651C41008148 @default.
- W2401954651 hasLocation W24019546511 @default.
- W2401954651 hasOpenAccess W2401954651 @default.
- W2401954651 hasPrimaryLocation W24019546511 @default.
- W2401954651 hasRelatedWork W1531114667 @default.
- W2401954651 hasRelatedWork W1578873080 @default.
- W2401954651 hasRelatedWork W1597145011 @default.
- W2401954651 hasRelatedWork W1766072656 @default.
- W2401954651 hasRelatedWork W1937893295 @default.
- W2401954651 hasRelatedWork W1971964530 @default.
- W2401954651 hasRelatedWork W2013929895 @default.
- W2401954651 hasRelatedWork W2069127450 @default.
- W2401954651 hasRelatedWork W2125358346 @default.
- W2401954651 hasRelatedWork W2158058161 @default.
- W2401954651 hasRelatedWork W2393765026 @default.
- W2401954651 hasRelatedWork W2403450807 @default.
- W2401954651 hasRelatedWork W2418949714 @default.
- W2401954651 hasRelatedWork W2580047807 @default.
- W2401954651 hasRelatedWork W2760549558 @default.
- W2401954651 hasRelatedWork W2787399919 @default.
- W2401954651 hasRelatedWork W2800679192 @default.
- W2401954651 hasRelatedWork W3203317580 @default.
- W2401954651 hasRelatedWork W72181015 @default.
- W2401954651 hasRelatedWork W76065736 @default.
- W2401954651 isParatext "false" @default.
- W2401954651 isRetracted "false" @default.
- W2401954651 magId "2401954651" @default.
- W2401954651 workType "article" @default.