%0 Conference Proceedings
%T P2AMF: Predictive, Probabilistic Architecture Modeling Framework
%+ KTH Royal Institute of Technology [Stockholm] (KTH )
%+ Swedish Defence Research Agency [Stockholm] (FOI)
%A Johnson, Pontus
%A Ullberg, Johan
%A Buschle, Markus
%A Franke, Ulrik
%A Shahzad, Khurram
%Z Part 5: Interoperability Methodology
%< avec comité de lecture
%( Lecture Notes in Business Information Processing
%B 5th International Working Conference on Enterprise Interoperability (IWEI)
%C Enschede, Netherlands
%Y Wil Aalst
%Y John Mylopoulos
%Y Michael Rosemann
%Y Michael J. Shaw
%Y Clemens Szyperski
%Y Marten Sinderen
%Y Paul Oude Luttighuis
%Y Erwin Folmer
%Y Steven Bosems
%I Springer
%3 Enterprise Interoperability
%V LNBIP-144
%P 104-117
%8 2013-03-27
%D 2013
%R 10.1007/978-3-642-36796-0_10
%K probabilistic inference
%K system properties
%K prediction
%K Object Constraint Language
%K UML
%K class diagram
%K object diagram
%Z Computer Science [cs]Conference papers
%X In the design phase of business and software system development, it is desirable to predict the properties of the system-to-be. Existing prediction systems do, however, not allow the modeler to express uncertainty with respect to the design of the considered system. In this paper, we propose a formalism, the Predictive, Probabilistic Architecture Modeling Framework (P2AMF), capable of advanced and probabilistically sound reasoning about architecture models given in the form of UML class and object diagrams. The proposed formalism is based on the Object Constraint Language (OCL). To OCL, P2AMF adds a probabilistic inference mechanism. The paper introduces P2AMF, describes its use for system property prediction and assessment, and proposes an algorithm for probabilistic inference.
%G English
%Z TC 5
%Z WG 5.8
%2 https://inria.hal.science/hal-01474204/document
%2 https://inria.hal.science/hal-01474204/file/978-3-642-36796-0_10_Chapter.pdf
%L hal-01474204
%U https://inria.hal.science/hal-01474204
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-LNBIP
%~ IFIP-WG5-8
%~ IFIP-IWEI
%~ IFIP-LNBIP-144