Sciweavers

1330 search results - page 56 / 266
» Modeling components and frameworks with UML
Sort
View
GIS
2000
ACM
15 years 3 months ago
Modeling part-whole relationships for spatial data
Spatialapplications must managepartwhole (PW) relationships between spatial objects, for example, the division of an administrative region into zones based on land use. Support fo...
Rosanne Price, Nectaria Tryfona, Christian S. Jens...
FLAIRS
1998
15 years 5 months ago
A Framework for Knowledge Reuse
Knowledge "objects' are proposed as a modelling framework which facilitates the reuse of knowledge. Knowledgeobjects are operators which maybe used to construct the ...
John K. Debenham
ISORC
2008
IEEE
15 years 10 months ago
A Real-Time Java Component Model
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
Ales Plsek, Philippe Merle, Lionel Seinturier
CBSE
2007
Springer
15 years 10 months ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton
135
Voted
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 5 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab