Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003048392> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2003048392 endingPage "1016" @default.
- W2003048392 startingPage "999" @default.
- W2003048392 abstract "Nowadays, UML is the de-facto standard for object-oriented analysis and design. Unfortunately, the deficiency of its dynamic semantics limits the possibility of early specification analysis. UML 2.0 comes to precise and complete this semantics but it remains informal and still lacks tools for automatic validation. The main purpose of this study is to automate the formal validation, according a value-oriented approach, of the behavior of systems expressed in UML. The marriage of Petri nets with temporal logics seems a suitable formalism for translating and then validating UML state-based models. The contributions of the paper are threefold. We first, consider how UML 2.0 activity partitions can be transformed into Object Petri Nets to formalize the object dynamics, in an object-oriented context. Second, we develop an approach based on the object and sequence diagram information to initialize the derived Petri nets in terms of objects and events. Finally, to thoroughly verify if the UML model meets the system required properties, we suggest to use the OCL invariants exploiting their association end constructs. The verification is performed on a predicate/transition net explored by model checking. A case study is given to illustrate this methodology throughout the paper." @default.
- W2003048392 created "2016-06-24" @default.
- W2003048392 creator A5004730691 @default.
- W2003048392 creator A5030453923 @default.
- W2003048392 date "2007-09-01" @default.
- W2003048392 modified "2023-09-25" @default.
- W2003048392 title "An object-oriented approach to formally analyze the UML 2.0 activity partitions" @default.
- W2003048392 cites W1526808427 @default.
- W2003048392 cites W1546854094 @default.
- W2003048392 cites W1573909737 @default.
- W2003048392 cites W1596101456 @default.
- W2003048392 cites W2022759223 @default.
- W2003048392 cites W2069450150 @default.
- W2003048392 cites W2118968163 @default.
- W2003048392 cites W2120312005 @default.
- W2003048392 cites W2129466958 @default.
- W2003048392 cites W2148893609 @default.
- W2003048392 cites W2164440547 @default.
- W2003048392 cites W4236561393 @default.
- W2003048392 doi "https://doi.org/10.1016/j.infsof.2006.10.007" @default.
- W2003048392 hasPublicationYear "2007" @default.
- W2003048392 type Work @default.
- W2003048392 sameAs 2003048392 @default.
- W2003048392 citedByCount "22" @default.
- W2003048392 countsByYear W20030483922013 @default.
- W2003048392 countsByYear W20030483922014 @default.
- W2003048392 countsByYear W20030483922015 @default.
- W2003048392 countsByYear W20030483922016 @default.
- W2003048392 countsByYear W20030483922019 @default.
- W2003048392 crossrefType "journal-article" @default.
- W2003048392 hasAuthorship W2003048392A5004730691 @default.
- W2003048392 hasAuthorship W2003048392A5030453923 @default.
- W2003048392 hasConcept C115903868 @default.
- W2003048392 hasConcept C133264317 @default.
- W2003048392 hasConcept C145644426 @default.
- W2003048392 hasConcept C146939238 @default.
- W2003048392 hasConcept C199360897 @default.
- W2003048392 hasConcept C2777904410 @default.
- W2003048392 hasConcept C41008148 @default.
- W2003048392 hasConcept C41298492 @default.
- W2003048392 hasConcept C73752529 @default.
- W2003048392 hasConceptScore W2003048392C115903868 @default.
- W2003048392 hasConceptScore W2003048392C133264317 @default.
- W2003048392 hasConceptScore W2003048392C145644426 @default.
- W2003048392 hasConceptScore W2003048392C146939238 @default.
- W2003048392 hasConceptScore W2003048392C199360897 @default.
- W2003048392 hasConceptScore W2003048392C2777904410 @default.
- W2003048392 hasConceptScore W2003048392C41008148 @default.
- W2003048392 hasConceptScore W2003048392C41298492 @default.
- W2003048392 hasConceptScore W2003048392C73752529 @default.
- W2003048392 hasIssue "9-10" @default.
- W2003048392 hasLocation W20030483921 @default.
- W2003048392 hasOpenAccess W2003048392 @default.
- W2003048392 hasPrimaryLocation W20030483921 @default.
- W2003048392 hasRelatedWork W120302824 @default.
- W2003048392 hasRelatedWork W1510078815 @default.
- W2003048392 hasRelatedWork W1547407117 @default.
- W2003048392 hasRelatedWork W1775132212 @default.
- W2003048392 hasRelatedWork W2354529937 @default.
- W2003048392 hasRelatedWork W2381137142 @default.
- W2003048392 hasRelatedWork W2384466694 @default.
- W2003048392 hasRelatedWork W2957410561 @default.
- W2003048392 hasRelatedWork W4244561441 @default.
- W2003048392 hasRelatedWork W1731380002 @default.
- W2003048392 hasVolume "49" @default.
- W2003048392 isParatext "false" @default.
- W2003048392 isRetracted "false" @default.
- W2003048392 magId "2003048392" @default.
- W2003048392 workType "article" @default.