FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W137311235> ?p ?o ?g. }

• W137311235 abstract "As software systems become larger and more complex, developers require the ability to model abstract concepts while ensuring consistency across the entire project. The internet has changed the nature of software by increasing the desire for software deployment across multiple distributed platforms. Finally, increased dependence on technology requires assurance that designed software will perform its intended function. This thesis introduces the Formal Object Interaction Language (FOIL). FOIL is a new object-oriented modeling language specifically designed to address the cumulative shortcomings of existing modeling techniques. FOIL graphically displays software structure, sequential and concurrent behavior, process, and interaction in a simple unified notation, and has an algebraic representation based on a derivative of the -calculus. The thesis documents the technique in which FOIL software models can be mathematically verified to anticipate deadlocks, ensure consistency, and determine object state reachability. Scalability is offered through the concept of behavioral inheritance; and, FOIL s inherent support for modeling concurrent behavior and all known workflow patterns is demonstrated. The concepts of process achievability, process complete achievability, and process determinism are introduced with an algorithm for simulating the execution of a FOIL object model using a FOIL process model. Finally, a technique for using a FOIL process model as a constraint on FOIL object system execution is offered as a method to ensure that object-oriented systems modeled in FOIL will complete their processes based activities. FOIL s capabilities are compared and contrasted with an extensive array of current software modeling techniques. FOIL is ideally suited for data-aware, behavior based systems such as interactive or process management software. INDEX WORDS: object-orientation, Formal Object Interaction Language (FOIL), concurrency, -calculus, process verification, behavioral inheritance, formal methods FORMAL OBJECT INTERACTION LANGUAGE: MODELING AND VERIFICATION OF SEQUENTIAL AND CONCURRENT OBJECT-ORIENTED SOFTWARE" @default.
• W137311235 created "2016-06-24" @default.
• W137311235 creator A5057883155 @default.
• W137311235 date "2007-01-01" @default.
• W137311235 modified "2023-09-27" @default.
• W137311235 title "Formal Object Interaction Language: Modeling and Verification of Sequential and Concurrent Object-Oriented Software" @default.
• W137311235 cites W112030299 @default.
• W137311235 cites W135319825 @default.
• W137311235 cites W1484369417 @default.
• W137311235 cites W1493953653 @default.
• W137311235 cites W1495380017 @default.
• W137311235 cites W1496843343 @default.
• W137311235 cites W1502195842 @default.
• W137311235 cites W1507757528 @default.
• W137311235 cites W1536131231 @default.
• W137311235 cites W1537280715 @default.
• W137311235 cites W1546854094 @default.
• W137311235 cites W1550443277 @default.
• W137311235 cites W1557315237 @default.
• W137311235 cites W1560793393 @default.
• W137311235 cites W1561267729 @default.
• W137311235 cites W1570372094 @default.
• W137311235 cites W1586642858 @default.
• W137311235 cites W1607402854 @default.
• W137311235 cites W1754883368 @default.
• W137311235 cites W1759712729 @default.
• W137311235 cites W1857934442 @default.
• W137311235 cites W1863405838 @default.
• W137311235 cites W1903679624 @default.
• W137311235 cites W1923262203 @default.
• W137311235 cites W1927417729 @default.
• W137311235 cites W1975874958 @default.
• W137311235 cites W1977856111 @default.
• W137311235 cites W1985141981 @default.
• W137311235 cites W1995736448 @default.
• W137311235 cites W1996109622 @default.
• W137311235 cites W2000069466 @default.
• W137311235 cites W2027322963 @default.
• W137311235 cites W2033442072 @default.
• W137311235 cites W2034076926 @default.
• W137311235 cites W2043210732 @default.
• W137311235 cites W2046802670 @default.
• W137311235 cites W2052476220 @default.
• W137311235 cites W2057196182 @default.
• W137311235 cites W2058401325 @default.
• W137311235 cites W2083091245 @default.
• W137311235 cites W2098886869 @default.
• W137311235 cites W2099122649 @default.
• W137311235 cites W2102553285 @default.
• W137311235 cites W2105589950 @default.
• W137311235 cites W2111572781 @default.
• W137311235 cites W2111946621 @default.
• W137311235 cites W2114539492 @default.
• W137311235 cites W2114971213 @default.
• W137311235 cites W2120141461 @default.
• W137311235 cites W2121163444 @default.
• W137311235 cites W2124323785 @default.
• W137311235 cites W2130851407 @default.
• W137311235 cites W2134937538 @default.
• W137311235 cites W2135490787 @default.
• W137311235 cites W2137865376 @default.
• W137311235 cites W2144192824 @default.
• W137311235 cites W2152680856 @default.
• W137311235 cites W2154273644 @default.
• W137311235 cites W2156060655 @default.
• W137311235 cites W2161345141 @default.
• W137311235 cites W2163646799 @default.
• W137311235 cites W2165467455 @default.
• W137311235 cites W2166756941 @default.
• W137311235 cites W2170639684 @default.
• W137311235 cites W2171445933 @default.
• W137311235 cites W2323777246 @default.
• W137311235 cites W2394903686 @default.
• W137311235 cites W2811473436 @default.
• W137311235 cites W2911625174 @default.
• W137311235 cites W3144368627 @default.
• W137311235 cites W3145890645 @default.
• W137311235 cites W49088921 @default.
• W137311235 cites W77261111 @default.
• W137311235 cites W1731380002 @default.
• W137311235 hasPublicationYear "2007" @default.
• W137311235 type Work @default.
• W137311235 sameAs 137311235 @default.
• W137311235 citedByCount "0" @default.
• W137311235 crossrefType "journal-article" @default.
• W137311235 hasAuthorship W137311235A5057883155 @default.
• W137311235 hasConcept C115903868 @default.
• W137311235 hasConcept C149091818 @default.
• W137311235 hasConcept C154945302 @default.
• W137311235 hasConcept C199360897 @default.
• W137311235 hasConcept C2776436953 @default.
• W137311235 hasConcept C2777904410 @default.
• W137311235 hasConcept C2781238097 @default.
• W137311235 hasConcept C41008148 @default.
• W137311235 hasConcept C80444323 @default.
• W137311235 hasConceptScore W137311235C115903868 @default.
• W137311235 hasConceptScore W137311235C149091818 @default.
• W137311235 hasConceptScore W137311235C154945302 @default.
• W137311235 hasConceptScore W137311235C199360897 @default.
• W137311235 hasConceptScore W137311235C2776436953 @default.

• next