FRINK Linked Data Fragments server

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

• W1993883407 endingPage "137" @default.
• W1993883407 startingPage "105" @default.
• W1993883407 abstract "The specification of distributed service-oriented applications spans several levels of abstraction, e.g., the protocol for exchanging messages, the set of interface functionalities, the types of the manipulated data, the workflow, the access policy, etc. Many (even executable) specification languages are available to describe each level in separation. However, these levels may interact in subtle ways (for example, the control flow may depend on the values of some data variables) so that a precise abstraction of the application amounts to more than the sum of its per level components. This problem is even more acute in the design phase when automated analysis techniques may greatly help the difficult task of building “correct” applications faced by designers. To alleviate this kind of problems, this paper introduces a framework for the formal specification and automated analysis of distributed service-oriented applications in two levels: one for the workflow and one for the authorization policies. The former allows one to precisely describe the control and data parts of an application with their mutual dependencies. The latter focuses on the specification of the criteria for granting or denying third-party applications the possibility to access shared resources or to execute certain interface functionalities. These levels can be seen as abstractions of one or of several levels of specification mentioned above. The novelty of our proposal is the possibility to unambiguously specify the—often subtle—interplay between the workflow and policy levels uniformly in the same framework. Additionally, our framework allows us to define and investigate verification problems for service-oriented applications (such as executability and invariant checking) and give sufficient conditions for their decidability. These results are non-trivial because their scope of applicability goes well beyond the case of finite state spaces allowing for applications manipulating variables ranging over infinite domains. As proof of concept, we show the suitability and flexibility of our approach on two quite different examples inspired by industrial case studies." @default.
• W1993883407 created "2016-06-24" @default.
• W1993883407 creator A5017237200 @default.
• W1993883407 creator A5038763902 @default.
• W1993883407 creator A5047487115 @default.
• W1993883407 date "2010-12-30" @default.
• W1993883407 modified "2023-10-16" @default.
• W1993883407 title "A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures" @default.
• W1993883407 cites W120333500 @default.
• W1993883407 cites W1511903507 @default.
• W1993883407 cites W1536511644 @default.
• W1993883407 cites W1549008998 @default.
• W1993883407 cites W1554326724 @default.
• W1993883407 cites W1572952339 @default.
• W1993883407 cites W1581651736 @default.
• W1993883407 cites W1585530051 @default.
• W1993883407 cites W1599739130 @default.
• W1993883407 cites W169672073 @default.
• W1993883407 cites W1850275321 @default.
• W1993883407 cites W1966496315 @default.
• W1993883407 cites W1972085995 @default.
• W1993883407 cites W1994582486 @default.
• W1993883407 cites W2001995757 @default.
• W1993883407 cites W2015653806 @default.
• W1993883407 cites W2033983519 @default.
• W1993883407 cites W2053912113 @default.
• W1993883407 cites W2056350513 @default.
• W1993883407 cites W2057345152 @default.
• W1993883407 cites W2082963442 @default.
• W1993883407 cites W2100361884 @default.
• W1993883407 cites W2101832655 @default.
• W1993883407 cites W2111630068 @default.
• W1993883407 cites W2112618447 @default.
• W1993883407 cites W2113443649 @default.
• W1993883407 cites W2129466958 @default.
• W1993883407 cites W2129624816 @default.
• W1993883407 cites W2135995831 @default.
• W1993883407 cites W2142340571 @default.
• W1993883407 cites W2143760481 @default.
• W1993883407 cites W2145793726 @default.
• W1993883407 cites W2151643528 @default.
• W1993883407 cites W2156915267 @default.
• W1993883407 cites W2169082081 @default.
• W1993883407 cites W2171622895 @default.
• W1993883407 cites W2267233918 @default.
• W1993883407 cites W3159832133 @default.
• W1993883407 cites W93625746 @default.
• W1993883407 doi "https://doi.org/10.1007/s11761-010-0073-4" @default.
• W1993883407 hasPublicationYear "2010" @default.
• W1993883407 type Work @default.
• W1993883407 sameAs 1993883407 @default.
• W1993883407 citedByCount "8" @default.
• W1993883407 countsByYear W19938834072012 @default.
• W1993883407 countsByYear W19938834072013 @default.
• W1993883407 crossrefType "journal-article" @default.
• W1993883407 hasAuthorship W1993883407A5017237200 @default.
• W1993883407 hasAuthorship W1993883407A5038763902 @default.
• W1993883407 hasAuthorship W1993883407A5047487115 @default.
• W1993883407 hasConcept C111472728 @default.
• W1993883407 hasConcept C111919701 @default.
• W1993883407 hasConcept C113843644 @default.
• W1993883407 hasConcept C115903868 @default.
• W1993883407 hasConcept C116253237 @default.
• W1993883407 hasConcept C120314980 @default.
• W1993883407 hasConcept C124304363 @default.
• W1993883407 hasConcept C129307140 @default.
• W1993883407 hasConcept C136264566 @default.
• W1993883407 hasConcept C138885662 @default.
• W1993883407 hasConcept C157915830 @default.
• W1993883407 hasConcept C160145156 @default.
• W1993883407 hasConcept C160191386 @default.
• W1993883407 hasConcept C162324750 @default.
• W1993883407 hasConcept C177212765 @default.
• W1993883407 hasConcept C199360897 @default.
• W1993883407 hasConcept C2780378061 @default.
• W1993883407 hasConcept C38652104 @default.
• W1993883407 hasConcept C41008148 @default.
• W1993883407 hasConcept C527821871 @default.
• W1993883407 hasConcept C77088390 @default.
• W1993883407 hasConceptScore W1993883407C111472728 @default.
• W1993883407 hasConceptScore W1993883407C111919701 @default.
• W1993883407 hasConceptScore W1993883407C113843644 @default.
• W1993883407 hasConceptScore W1993883407C115903868 @default.
• W1993883407 hasConceptScore W1993883407C116253237 @default.
• W1993883407 hasConceptScore W1993883407C120314980 @default.
• W1993883407 hasConceptScore W1993883407C124304363 @default.
• W1993883407 hasConceptScore W1993883407C129307140 @default.
• W1993883407 hasConceptScore W1993883407C136264566 @default.
• W1993883407 hasConceptScore W1993883407C138885662 @default.
• W1993883407 hasConceptScore W1993883407C157915830 @default.
• W1993883407 hasConceptScore W1993883407C160145156 @default.
• W1993883407 hasConceptScore W1993883407C160191386 @default.
• W1993883407 hasConceptScore W1993883407C162324750 @default.
• W1993883407 hasConceptScore W1993883407C177212765 @default.
• W1993883407 hasConceptScore W1993883407C199360897 @default.
• W1993883407 hasConceptScore W1993883407C2780378061 @default.
• W1993883407 hasConceptScore W1993883407C38652104 @default.
• W1993883407 hasConceptScore W1993883407C41008148 @default.

• next