Sciweavers

4919 search results - page 599 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
WORDS
2005
IEEE
15 years 10 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
RISE
2004
Springer
15 years 10 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
AGENTS
2001
Springer
15 years 9 months ago
Improving the agent-oriented modeling process by roles
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
WICSA
2008
15 years 6 months ago
Supporting the Evolution of Product Line Architectures with Variability Model Fragments
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...
Deepak Dhungana, Thomas Neumayer, Paul Grünba...
WSC
1998
15 years 6 months ago
Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
Fernando J. Barros, Bernard P. Zeigler, Paul A. Fi...