|
A Think Tank specializing in R&D for large scale systems architecture
and related technologies such as Computing Fabrics, MDA, Knowledge Representation,
Model Driven Semantic Grids, Active Models, Semantic and Temporal Database,
and Aspect Oriented Systems (Relational Synthesis)
http://www.infomaniacs.com
A web based and industry standard (MOF)
compliant Enterprise Knowledge Repository and related "Adaptations"
to support Enterprise Architecture, Business Process Management and IT
Portfolio Management for large organizations
and governments around the world
http://www.adaptive.com
Category Theory, MDA, MOF, UML, OWL, DAML
Author: "Formalizing MOF and UML"
Contributor: Software Radio standards
http://www.composablelogic.com
Tooling and consulting to provide reliable
and scalable infrastructure and applications for worldwide enterprise
computing based on open standards including MDA and EDOC
http://www.enterprise-component.com/
Consulting for Large Scale Enterprise System Architectures,
Model Driven Architecture, Architecture reviews, and Training
http://www.davidfrankelconsulting.com/
Research and application areas include Ontologies, Artificial Intelligence,
Knowledge Representation and standards development including OWL and DAML+OIL
http://www.geocities.com/mcguinnessassoc/techie.html
Tooling and consulting for multi-objective optimization problems. NeoLogical
SURVEYOR fundamentally changes the way we interact with large volumes
of information by characterizing an information resource to meet complex
requirements and making full use of available ontologies.
http://www.neological.com/
Tooling and consulting for Ontology Modeling and Brokering as well as
Metadata Architecture and Management
http://www.sandsoft.com/
Formal methods for semantics, reasoning, and interoperability
http://www.cs.ucsd.edu/users/goguen/
Composable Logic
(also at Northeastern University)
Category Theory; Formal Methods; Ontologies
http://www.ccs.neu.edu/groups/faculty/kenb.html
Data Access Technologies
MDA, EDOC, 2U, UML4MDA, Semantic Core
Contributor: MDA, UML, and EDOC standards
http://www.enterprise-component.com/
Kinetium
MDA, MOF, CWM
Author: "Objects, Components, and Frameworks with UML"; Catalysis
methodology
Contributor: 2U UML submission
http://www.kinetium.com/
http://catalysis.org/
http://catalysis.org/omg/index.htm
David Frankel Consulting
MDA, MOF, CWM, UML2
Author: "Model Driven Architecture"
Contributor: MDA and MOF standards
http://www.davidfrankelconsulting.com/
UCSD - University of California San Diego
Formal Methods, Institutions, Category Theory, Interactive Schema Matching,
Algebraic Specification
http://www.cs.ucsd.edu/users/goguen/
Sandpiper Software
OWL, DAML+OIL, KIF, Ontologies and Ontology alignment
Author: Submission for MOF metamodel for Ontologies (an OMG standard)
http://www.sandsoft.com/
Information Flow Framework (IFF)
Author: IEEE Standard Upper Ontology Meta-ontology
http://suo.ieee.org/IFF/
McGuiness Associates &
Stanford University Knowledge Systems Laboratory
OWL, DAML+OIL, description logics, knowledge representation
Co-author: DAML+OIL & OWL standards
http://www.ksl.stanford.edu/people/dlm/
Category Theory, MDA, MOF, UML, OWL, DAML
Author: "Formalizing MOF and UML"
Contributor: Software Radio standard;
http://www1.coe.neu.edu/~jsmith/
Model Integration LLC
Action Semantics; real-world modeling
Author: "Executable UML"
http://www.modelint.com/
Infomaniacs
Computing Fabrics, MDA, Knowledge Representation, Model Driven Semantic
Grids, Active Models, Semantic and Temporal Database, Aspect Oriented
Systems (Relational Synthesis)
http://www.infomaniacs.com
|
