Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023385229> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2023385229 endingPage "737" @default.
- W2023385229 startingPage "695" @default.
- W2023385229 abstract "A use case is a specification of interactions involving a system and external actors of that system. The intuitive, user centered nature of textual use cases is one of the reasons for the success of the use case approach. A certain level of formalization is however needed to automate use case based system development, including tasks such as design synthesis, verification and validation. In this paper, a mapping from textual use cases to a formal model (Petri nets) is proposed. Use cases are described in a restricted-form of natural language. The abstract syntax of the language is formally defined using a tuple structure. The mapping from use cases to Petri nets considers use cases sequencing constraints defined at the syntactic-level, and provides a definition of execution semantics to use cases." @default.
- W2023385229 created "2016-06-24" @default.
- W2023385229 creator A5065953876 @default.
- W2023385229 date "2010-08-01" @default.
- W2023385229 modified "2023-09-23" @default.
- W2023385229 title "FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS" @default.
- W2023385229 cites W1592055490 @default.
- W2023385229 cites W199503676 @default.
- W2023385229 cites W2083153963 @default.
- W2023385229 cites W2139144961 @default.
- W2023385229 cites W2164408688 @default.
- W2023385229 cites W2911625174 @default.
- W2023385229 cites W4212996665 @default.
- W2023385229 cites W4241212268 @default.
- W2023385229 doi "https://doi.org/10.1142/s0218194010004931" @default.
- W2023385229 hasPublicationYear "2010" @default.
- W2023385229 type Work @default.
- W2023385229 sameAs 2023385229 @default.
- W2023385229 citedByCount "13" @default.
- W2023385229 countsByYear W20233852292012 @default.
- W2023385229 countsByYear W20233852292013 @default.
- W2023385229 countsByYear W20233852292014 @default.
- W2023385229 countsByYear W20233852292015 @default.
- W2023385229 countsByYear W20233852292016 @default.
- W2023385229 countsByYear W20233852292020 @default.
- W2023385229 crossrefType "journal-article" @default.
- W2023385229 hasAuthorship W2023385229A5065953876 @default.
- W2023385229 hasConcept C115903868 @default.
- W2023385229 hasConcept C116253237 @default.
- W2023385229 hasConcept C118615104 @default.
- W2023385229 hasConcept C118930307 @default.
- W2023385229 hasConcept C136155141 @default.
- W2023385229 hasConcept C154945302 @default.
- W2023385229 hasConcept C184337299 @default.
- W2023385229 hasConcept C199360897 @default.
- W2023385229 hasConcept C201677973 @default.
- W2023385229 hasConcept C204321447 @default.
- W2023385229 hasConcept C33923547 @default.
- W2023385229 hasConcept C38677869 @default.
- W2023385229 hasConcept C41008148 @default.
- W2023385229 hasConcept C60048249 @default.
- W2023385229 hasConceptScore W2023385229C115903868 @default.
- W2023385229 hasConceptScore W2023385229C116253237 @default.
- W2023385229 hasConceptScore W2023385229C118615104 @default.
- W2023385229 hasConceptScore W2023385229C118930307 @default.
- W2023385229 hasConceptScore W2023385229C136155141 @default.
- W2023385229 hasConceptScore W2023385229C154945302 @default.
- W2023385229 hasConceptScore W2023385229C184337299 @default.
- W2023385229 hasConceptScore W2023385229C199360897 @default.
- W2023385229 hasConceptScore W2023385229C201677973 @default.
- W2023385229 hasConceptScore W2023385229C204321447 @default.
- W2023385229 hasConceptScore W2023385229C33923547 @default.
- W2023385229 hasConceptScore W2023385229C38677869 @default.
- W2023385229 hasConceptScore W2023385229C41008148 @default.
- W2023385229 hasConceptScore W2023385229C60048249 @default.
- W2023385229 hasIssue "05" @default.
- W2023385229 hasLocation W20233852291 @default.
- W2023385229 hasOpenAccess W2023385229 @default.
- W2023385229 hasPrimaryLocation W20233852291 @default.
- W2023385229 hasRelatedWork W1506247301 @default.
- W2023385229 hasRelatedWork W1513140821 @default.
- W2023385229 hasRelatedWork W1583364777 @default.
- W2023385229 hasRelatedWork W1607402854 @default.
- W2023385229 hasRelatedWork W2023385229 @default.
- W2023385229 hasRelatedWork W2095807838 @default.
- W2023385229 hasRelatedWork W2156223462 @default.
- W2023385229 hasRelatedWork W2162263188 @default.
- W2023385229 hasRelatedWork W27605384 @default.
- W2023385229 hasRelatedWork W2898425611 @default.
- W2023385229 hasVolume "20" @default.
- W2023385229 isParatext "false" @default.
- W2023385229 isRetracted "false" @default.
- W2023385229 magId "2023385229" @default.
- W2023385229 workType "article" @default.