Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091502104> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2091502104 endingPage "923" @default.
- W2091502104 startingPage "913" @default.
- W2091502104 abstract "Abstract A conceptual model is a model of real world concepts and application domains as perceived by users and developers. It helps developers investigate and represent the semantics of the problem domain, as well as communicate among themselves and with users. In this paper, we propose the use of task-based specifications in conceptual graphs (TBCG) to construct and verify a conceptual model. Task-based specification methodology is used to serve as the mechanism to structure the knowledge captured in the conceptual model; whereas conceptual graphs are adopted as the formalism to express task-based specifications and to provide a reasoning capability for the purpose of verification. Verifying a conceptual model is performed on model specifications of a task through constraints satisfaction and relaxation techniques, and on process specifications of the task based on operators and rules of inference inherited in conceptual graphs." @default.
- W2091502104 created "2016-06-24" @default.
- W2091502104 creator A5016782745 @default.
- W2091502104 creator A5019245142 @default.
- W2091502104 date "1998-01-01" @default.
- W2091502104 modified "2023-09-26" @default.
- W2091502104 title "Verifying task-based specifications in conceptual graphs" @default.
- W2091502104 cites W133833791 @default.
- W2091502104 cites W1493596129 @default.
- W2091502104 cites W1501026003 @default.
- W2091502104 cites W1888608175 @default.
- W2091502104 cites W1964992116 @default.
- W2091502104 cites W1969258302 @default.
- W2091502104 cites W1970658603 @default.
- W2091502104 cites W1973839959 @default.
- W2091502104 cites W1975337094 @default.
- W2091502104 cites W1977163303 @default.
- W2091502104 cites W1994816478 @default.
- W2091502104 cites W2000214199 @default.
- W2091502104 cites W2001560732 @default.
- W2091502104 cites W2006849174 @default.
- W2091502104 cites W2024490882 @default.
- W2091502104 cites W2053131008 @default.
- W2091502104 cites W2053637323 @default.
- W2091502104 cites W2061988466 @default.
- W2091502104 cites W2075886324 @default.
- W2091502104 cites W2088873887 @default.
- W2091502104 cites W2093859700 @default.
- W2091502104 cites W2096141928 @default.
- W2091502104 cites W2135432705 @default.
- W2091502104 cites W2146054836 @default.
- W2091502104 cites W2148546044 @default.
- W2091502104 cites W2148571423 @default.
- W2091502104 cites W96620858 @default.
- W2091502104 doi "https://doi.org/10.1016/s0950-5849(97)00054-2" @default.
- W2091502104 hasPublicationYear "1998" @default.
- W2091502104 type Work @default.
- W2091502104 sameAs 2091502104 @default.
- W2091502104 citedByCount "9" @default.
- W2091502104 crossrefType "journal-article" @default.
- W2091502104 hasAuthorship W2091502104A5016782745 @default.
- W2091502104 hasAuthorship W2091502104A5019245142 @default.
- W2091502104 hasConcept C115903868 @default.
- W2091502104 hasConcept C127413603 @default.
- W2091502104 hasConcept C154945302 @default.
- W2091502104 hasConcept C161301231 @default.
- W2091502104 hasConcept C199360897 @default.
- W2091502104 hasConcept C201995342 @default.
- W2091502104 hasConcept C234837 @default.
- W2091502104 hasConcept C2780451532 @default.
- W2091502104 hasConcept C41008148 @default.
- W2091502104 hasConceptScore W2091502104C115903868 @default.
- W2091502104 hasConceptScore W2091502104C127413603 @default.
- W2091502104 hasConceptScore W2091502104C154945302 @default.
- W2091502104 hasConceptScore W2091502104C161301231 @default.
- W2091502104 hasConceptScore W2091502104C199360897 @default.
- W2091502104 hasConceptScore W2091502104C201995342 @default.
- W2091502104 hasConceptScore W2091502104C234837 @default.
- W2091502104 hasConceptScore W2091502104C2780451532 @default.
- W2091502104 hasConceptScore W2091502104C41008148 @default.
- W2091502104 hasIssue "14-15" @default.
- W2091502104 hasLocation W20915021041 @default.
- W2091502104 hasOpenAccess W2091502104 @default.
- W2091502104 hasPrimaryLocation W20915021041 @default.
- W2091502104 hasRelatedWork W1491366424 @default.
- W2091502104 hasRelatedWork W1527862632 @default.
- W2091502104 hasRelatedWork W2109507516 @default.
- W2091502104 hasRelatedWork W2112962394 @default.
- W2091502104 hasRelatedWork W2118300983 @default.
- W2091502104 hasRelatedWork W2135396778 @default.
- W2091502104 hasRelatedWork W2740990710 @default.
- W2091502104 hasRelatedWork W3137189469 @default.
- W2091502104 hasRelatedWork W4235530921 @default.
- W2091502104 hasRelatedWork W4243252198 @default.
- W2091502104 hasVolume "39" @default.
- W2091502104 isParatext "false" @default.
- W2091502104 isRetracted "false" @default.
- W2091502104 magId "2091502104" @default.
- W2091502104 workType "article" @default.