529 search results - page 13 / 106 » Developing a UML Profile for Modelling Knowledge-Based Syste... |
67
Voted
FIDJI
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
UML
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
JUCS
2002
14 years 9 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
58
Voted
FMOODS
2006
14 years 11 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
90
Voted
ICDE
2007
IEEE
15 years 1 months ago
2007
IEEE
In business-to-business e-commerce, traditional electronic data interchange (EDI) approaches such as UN/EDIFACT have been superseded by approaches like web services and ebXML. Nev...