Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
xADL: Enabling Architecture-Centric Tool Integration with XML
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
An XML Based Framework for Cognitive Vision Architectures
ICPR '04 Proceedings of the Pattern Recognition, 17th International Conference on (ICPR'04) Volume 1 - Volume 01
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
RADIC: a generic component for the integration of existing reactive and deliberative layers
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
Robotics and Autonomous Systems
A Software Platform for Component Based RT-System Development: OpenRTM-Aist
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
Development of complex robotic systems using the behavior-based control architecture iB2C
Robotics and Autonomous Systems
Engineering intelligent information-processing systems with CAST
Advanced Engineering Informatics
Programming multirobot applications using the ThinkingCap-II Java framework
Advanced Engineering Informatics
ICVS '09 Proceedings of the 7th International Conference on Computer Vision Systems: Computer Vision Systems
Towards an Understanding of Hierarchical Architectures
IEEE Transactions on Autonomous Mental Development
IEEE Transactions on Evolutionary Computation
Hi-index | 0.00 |
The construction of complex artifacts of artificial intelligence requires large-scale system integration and collaboration. System architectures are a central issue to enable this process. To develop these, hypotheses must be formulated, validated and evolved. We therefore present Systematica 2d, a formalism suitable for both flexible description of hierarchical architecture concepts as well as functional design of the resulting system integration process. We motivate the approach and relate it to other formal descriptions by means of a new formalization measure. It consists of a set of criteria to evaluate how well a formalism supports the expression, construction and reuse of intelligent systems. Systematica 2d is compared with existing formalization languages under this measure and shown to have at least their level of expression. In addition, the system properties of incremental composition, partial testability and global deadlock-free operation are formally defined and proven in the formalism.