RealSpec: An Executable Specification Language for Prototyping Concurrent Systems

Big data explosion has already happened and the situation is only going to exacerbate with such a high number of data sources and high-end technology prevalent everywhere, generating data at a frantic pace. One of the most important aspects of big data is being able to capture, process, and analyze data as it is happening in real-time to allow real-time business decisions. Alternate approaches must be investigated especially consisting of highly parallel and real-time computations for big data processing. The chapter presents RealSpec real-time specification language that may be used for the modeling of big data analytics due to the inherent language features needed for real-time big data processing such as concurrent processes, multi-threading, resource modeling, timing constraints, and exception handling. The chapter provides an overview of RealSpec and applies the language to a detailed big data event recognition case study to demonstrate language applicability to big data framework and analytics modeling.

show abstract

RealSpec: An Executable Specification Language for Prototyping Concurrent Systems

Cited by 4 publications

References 9 publications

Preciseness for predictability with the RealSpec real-time executable specification language

Preciseness for predictability with the RealSpec real-time executable specification language

RealSpec: An Executable Specification Language for Modeling Control Systems

Modeling Big Data Analytics with a Real-Time Executable Specification Language

Contact Info

Product

Resources

About