Matches in SemOpenAlex for { <https://semopenalex.org/work/W2347258106> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2347258106 abstract "As the complexity and ubiquity of software grows, it becomes more and more important for software engineers to produce robust and verified designs. Two types of languages are available for building design models: Semi-formal languages, such as UML, and formal languages, such as Petri nets. Semi-formal notations tend to be easier to use and understand but do not support formal analysis; formal languages naturally support formal analysis but tend to be more difficult to understand and require special expertise to use. My research has focused on developing a transformation approach aimed at profiting from both types of languages. This approach is based on mapping UML statechart diagrams, which capture the behavior of an object over its life cycle, into colored Petri net (CPN) notation. This framework has the advantage of exploiting the mature theory and tools for Petri nets and essentially hiding these details from the end-user. A prototype toolkit has been developed to automate the transformation from UML statecharts to colored Petri nets, and to provide interfaces to help users reason about the model's behavior. In this talk, I will highlight some of the key issues that arise in the net model generation, including techniques for modeling the implied semantics associated with composite states. I will also present different techniques for analyzing simulation results." @default.
- W2347258106 created "2016-06-24" @default.
- W2347258106 creator A5015357136 @default.
- W2347258106 creator A5040503115 @default.
- W2347258106 date "2005-01-01" @default.
- W2347258106 modified "2023-09-23" @default.
- W2347258106 title "Generating net-based models from uml diagrams to support design simulation and analysis" @default.
- W2347258106 hasPublicationYear "2005" @default.
- W2347258106 type Work @default.
- W2347258106 sameAs 2347258106 @default.
- W2347258106 citedByCount "0" @default.
- W2347258106 crossrefType "dissertation" @default.
- W2347258106 hasAuthorship W2347258106A5015357136 @default.
- W2347258106 hasAuthorship W2347258106A5040503115 @default.
- W2347258106 hasConcept C115903868 @default.
- W2347258106 hasConcept C116253237 @default.
- W2347258106 hasConcept C145644426 @default.
- W2347258106 hasConcept C146072743 @default.
- W2347258106 hasConcept C146499914 @default.
- W2347258106 hasConcept C146939238 @default.
- W2347258106 hasConcept C154945302 @default.
- W2347258106 hasConcept C184337299 @default.
- W2347258106 hasConcept C199360897 @default.
- W2347258106 hasConcept C202446494 @default.
- W2347258106 hasConcept C2776436953 @default.
- W2347258106 hasConcept C2777904410 @default.
- W2347258106 hasConcept C2779791154 @default.
- W2347258106 hasConcept C33923547 @default.
- W2347258106 hasConcept C38677869 @default.
- W2347258106 hasConcept C41008148 @default.
- W2347258106 hasConcept C41298492 @default.
- W2347258106 hasConcept C45357846 @default.
- W2347258106 hasConcept C75606506 @default.
- W2347258106 hasConcept C94375191 @default.
- W2347258106 hasConceptScore W2347258106C115903868 @default.
- W2347258106 hasConceptScore W2347258106C116253237 @default.
- W2347258106 hasConceptScore W2347258106C145644426 @default.
- W2347258106 hasConceptScore W2347258106C146072743 @default.
- W2347258106 hasConceptScore W2347258106C146499914 @default.
- W2347258106 hasConceptScore W2347258106C146939238 @default.
- W2347258106 hasConceptScore W2347258106C154945302 @default.
- W2347258106 hasConceptScore W2347258106C184337299 @default.
- W2347258106 hasConceptScore W2347258106C199360897 @default.
- W2347258106 hasConceptScore W2347258106C202446494 @default.
- W2347258106 hasConceptScore W2347258106C2776436953 @default.
- W2347258106 hasConceptScore W2347258106C2777904410 @default.
- W2347258106 hasConceptScore W2347258106C2779791154 @default.
- W2347258106 hasConceptScore W2347258106C33923547 @default.
- W2347258106 hasConceptScore W2347258106C38677869 @default.
- W2347258106 hasConceptScore W2347258106C41008148 @default.
- W2347258106 hasConceptScore W2347258106C41298492 @default.
- W2347258106 hasConceptScore W2347258106C45357846 @default.
- W2347258106 hasConceptScore W2347258106C75606506 @default.
- W2347258106 hasConceptScore W2347258106C94375191 @default.
- W2347258106 hasLocation W23472581061 @default.
- W2347258106 hasOpenAccess W2347258106 @default.
- W2347258106 hasPrimaryLocation W23472581061 @default.
- W2347258106 hasRelatedWork W1491331258 @default.
- W2347258106 hasRelatedWork W1544324534 @default.
- W2347258106 hasRelatedWork W1703772308 @default.
- W2347258106 hasRelatedWork W1947925521 @default.
- W2347258106 hasRelatedWork W195068711 @default.
- W2347258106 hasRelatedWork W1967812359 @default.
- W2347258106 hasRelatedWork W2024047464 @default.
- W2347258106 hasRelatedWork W2047829222 @default.
- W2347258106 hasRelatedWork W2067573892 @default.
- W2347258106 hasRelatedWork W2102802596 @default.
- W2347258106 hasRelatedWork W2105850132 @default.
- W2347258106 hasRelatedWork W2338572 @default.
- W2347258106 hasRelatedWork W2406815977 @default.
- W2347258106 hasRelatedWork W2406985290 @default.
- W2347258106 hasRelatedWork W2491379280 @default.
- W2347258106 hasRelatedWork W2573992854 @default.
- W2347258106 hasRelatedWork W2602280107 @default.
- W2347258106 hasRelatedWork W2900350150 @default.
- W2347258106 hasRelatedWork W2907514388 @default.
- W2347258106 hasRelatedWork W3011880101 @default.
- W2347258106 isParatext "false" @default.
- W2347258106 isRetracted "false" @default.
- W2347258106 magId "2347258106" @default.
- W2347258106 workType "dissertation" @default.