Posts with keyword: analysis


Cadena: Analyzing Component-Based Software Architectures

John Hatcliff spoke at this morning's BYU Computer Science colloquium. John is a professor of Computer Science at Kansas State University. He's speaking on Model-driven development, analysis, and optimization in a system called Cadena. The project is based on using middleware to form abstractions of distriburted computing components. The talk is focused on a real-time CORBA event service. The "model-driven" portion of the talk discusses formalisms for building high-assurance distributed systems. The framework supports plugging in various light-weight specification, analysis, and verification systems. The work was done in the context of an avionics mission control system project sponsored by
Continue reading {Cadena: Analyzing Component-Based Software Architectures}


InfoWorld Articles

I've recently had a couple of articles in InfoWorld. The first was an analysis piece a few weeks ago regarding IBM's acquisition of Datapower. The second is a review of Systinet Registry 6.0. I found Registry to be a full-featured and mature registry offering. The review is in the same issue that contains Eric Knorr and Oliiver Rist's 10 Steps to SOA. Registries are step five. I agree with the assessment that registries of some kind are essential to production-level SOA deployments, even if I'm not sold on UDDI.
Continue reading {InfoWorld Articles}