37 research outputs found
A characteristics framework for Semantic Information Systems Standards
Semantic Information Systems (IS) Standards play a critical role in the development of the networked economy. While their importance is undoubted by all stakeholdersâsuch as businesses, policy makers, researchers, developersâthe current state of research leaves a number of questions unaddressed. Terminological confusion exists around the notions of âbusiness semanticsâ, âbusiness-to-business interoperabilityâ, and âinteroperability standardsâ amongst others. And, moreover, a comprehensive understanding about the characteristics of Semantic IS Standards is missing. The paper addresses this gap in literature by developing a characteristics framework for Semantic IS Standards. Two case studies are used to check the applicability of the framework in a âreal-lifeâ context. The framework lays the foundation for future research in an important field of the IS discipline and supports practitioners in their efforts to analyze, compare, and evaluate Semantic IS Standard
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
peer reviewedVeriSoft is a tool for systematically exploring the state
spaces of systems composed of several concurrent processes executing
arbitrary C (or C++) code. VeriSoft can automatically detect
coordination problems between the concurrent processes of a system. In
this paper, we present a method to synthesize a finite-state machine
that simulates all the sequences of visible operations of a given
process that were observed during a state-space exploration performed
by VeriSoft. The examination of this machine makes it possible to
discover the dynamic behavior of the process in its environment and to
understand how it contributes to the global behavior of the system
An application of computer aided requirements analysis to a real time deep space system
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/76805/1/AIAA-1981-2184-970.pd
Recovering repetitive sub-functions from observations
This paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive sub-functions, constructs a Message Sequence Charts (MSC) graph where repetitive sub-functions of the concurrent system are identified. This algorithm makes fewer assumptions than previously published work, and thus requires fewer and easier to generate observations to construct the MSC-graph. The constructed MSC-graph may then be used as input to existing synthesis algorithms to recover the design of the existing concurrent system