Sciweavers

2813 search results - page 14 / 563
» Formalizing Architectural Connection
Sort
View
127
Voted
FASE
2008
Springer
15 years 3 months ago
Formal Approach to Integrating Feature and Architecture Models
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
Mikolás Janota, Goetz Botterweck
ECOWS
2007
Springer
15 years 8 months ago
A Formal Framework For Building, Checking And Evolving Service Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
Hervé Verjus, Frédéric Pourra...
AAAI
2008
15 years 4 months ago
An Architecture and Formalism for Handling Modular Ontologies
The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from a...
Faezeh Ensan
EMISA
2006
Springer
15 years 5 months ago
A Unified Formal Foundation for Service Oriented Architectures
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
Frank Puhlmann
114
Voted
GRAMMARS
2002
116views more  GRAMMARS 2002»
15 years 1 months ago
An Informal Sketch of a Formal Architecture for Construction Grammar
Abstract. A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka...
Paul Kay