Modeling and Processing for Next-Generation Big-Data Technologies: With Applications and Case Studies